CalculateTruthUnaryModelTest.testTautology40CalculateTruthUnaryModelTest.testTautology40 |
136939751887724 May 12:11:58 |
1
PASS
|
0.0630.063 |
|
CalculateTruthUnaryModelTest.testTautology05CalculateTruthUnaryModelTest.testTautology05 |
136939751848024 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology19CalculateTruthUnaryModelTest.testTautology19 |
136939751831724 May 12:11:58 |
1
PASS
|
0.060.06 |
|
CalculateTruthUnaryModelTest.testTautology31CalculateTruthUnaryModelTest.testTautology31 |
136939751842224 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology33CalculateTruthUnaryModelTest.testTautology33 |
136939751882024 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology12CalculateTruthUnaryModelTest.testTautology12 |
136939751852424 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology20CalculateTruthUnaryModelTest.testTautology20 |
136939751839424 May 12:11:58 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology41CalculateTruthUnaryModelTest.testTautology41 |
136939751844324 May 12:11:58 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology44CalculateTruthUnaryModelTest.testTautology44 |
136939751895624 May 12:11:58 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology04CalculateTruthUnaryModelTest.testTautology04 |
136939751847324 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology11CalculateTruthUnaryModelTest.testTautology11 |
136939751851824 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology06CalculateTruthUnaryModelTest.testTautology06 |
136939751848524 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology34CalculateTruthUnaryModelTest.testTautology34 |
136939751842824 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology47CalculateTruthUnaryModelTest.testTautology47 |
136939751898224 May 12:11:58 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology26CalculateTruthUnaryModelTest.testTautology26 |
136939751877424 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology38CalculateTruthUnaryModelTest.testTautology38 |
136939751884224 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology14CalculateTruthUnaryModelTest.testTautology14 |
136939751868724 May 12:11:58 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology37CalculateTruthUnaryModelTest.testTautology37 |
136939751843624 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology15CalculateTruthUnaryModelTest.testTautology15 |
136939751870024 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology10CalculateTruthUnaryModelTest.testTautology10 |
136939751851124 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology16CalculateTruthUnaryModelTest.testTautology16 |
136939751870824 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology39CalculateTruthUnaryModelTest.testTautology39 |
136939751884924 May 12:11:58 |
1
PASS
|
0.0220.022 |
|
CalculateTruthUnaryModelTest.testTautology30CalculateTruthUnaryModelTest.testTautology30 |
136939751880424 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology32CalculateTruthUnaryModelTest.testTautology32 |
136939751881224 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology23CalculateTruthUnaryModelTest.testTautology23 |
136939751874524 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology18CalculateTruthUnaryModelTest.testTautology18 |
136939751872624 May 12:11:58 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology13CalculateTruthUnaryModelTest.testTautology13 |
136939751852924 May 12:11:58 |
1
PASS
|
0.1520.152 |
|
CalculateTruthUnaryModelTest.testTautology35CalculateTruthUnaryModelTest.testTautology35 |
136939751883024 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology03CalculateTruthUnaryModelTest.testTautology03 |
136939751846824 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology24CalculateTruthUnaryModelTest.testTautology24 |
136939751875724 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology28CalculateTruthUnaryModelTest.testTautology28 |
136939751841424 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology46CalculateTruthUnaryModelTest.testTautology46 |
136939751897524 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology01CalculateTruthUnaryModelTest.testTautology01 |
136939751845424 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology36CalculateTruthUnaryModelTest.testTautology36 |
136939751883624 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology21CalculateTruthUnaryModelTest.testTautology21 |
136939751840524 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology43CalculateTruthUnaryModelTest.testTautology43 |
136939751894924 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology02CalculateTruthUnaryModelTest.testTautology02 |
136939751846124 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology17CalculateTruthUnaryModelTest.testTautology17 |
136939751871624 May 12:11:58 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology45CalculateTruthUnaryModelTest.testTautology45 |
136939751896724 May 12:11:58 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology09CalculateTruthUnaryModelTest.testTautology09 |
136939751850624 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology27CalculateTruthUnaryModelTest.testTautology27 |
136939751878324 May 12:11:58 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology22CalculateTruthUnaryModelTest.testTautology22 |
136939751873824 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology08CalculateTruthUnaryModelTest.testTautology08 |
136939751849824 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology07CalculateTruthUnaryModelTest.testTautology07 |
136939751849224 May 12:11:58 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology25CalculateTruthUnaryModelTest.testTautology25 |
136939751876524 May 12:11:58 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology29CalculateTruthUnaryModelTest.testTautology29 |
136939751879524 May 12:11:58 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology42CalculateTruthUnaryModelTest.testTautology42 |
136939751894424 May 12:11:58 |
1
PASS
|
0.00100.001 |
|