CalculateTruthUnaryModelTest.testTautology36CalculateTruthUnaryModelTest.testTautology36 |
139234262750614 Feb 01:50:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology19CalculateTruthUnaryModelTest.testTautology19 |
139234262656814 Feb 01:50:26 |
1
PASS
|
0.0980.098 |
|
CalculateTruthUnaryModelTest.testTautology21CalculateTruthUnaryModelTest.testTautology21 |
139234262673314 Feb 01:50:26 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology30CalculateTruthUnaryModelTest.testTautology30 |
139234262747314 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology16CalculateTruthUnaryModelTest.testTautology16 |
139234262733714 Feb 01:50:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology02CalculateTruthUnaryModelTest.testTautology02 |
139234262694514 Feb 01:50:26 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology08CalculateTruthUnaryModelTest.testTautology08 |
139234262704814 Feb 01:50:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology24CalculateTruthUnaryModelTest.testTautology24 |
139234262739814 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology45CalculateTruthUnaryModelTest.testTautology45 |
139234262770614 Feb 01:50:27 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology26CalculateTruthUnaryModelTest.testTautology26 |
139234262743014 Feb 01:50:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology27CalculateTruthUnaryModelTest.testTautology27 |
139234262744614 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology38CalculateTruthUnaryModelTest.testTautology38 |
139234262751214 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology23CalculateTruthUnaryModelTest.testTautology23 |
139234262738914 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology34CalculateTruthUnaryModelTest.testTautology34 |
139234262681214 Feb 01:50:26 |
1
PASS
|
0.00700.007 |
|
CalculateTruthUnaryModelTest.testTautology44CalculateTruthUnaryModelTest.testTautology44 |
139234262769814 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology15CalculateTruthUnaryModelTest.testTautology15 |
139234262732714 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology05CalculateTruthUnaryModelTest.testTautology05 |
139234262698814 Feb 01:50:26 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology25CalculateTruthUnaryModelTest.testTautology25 |
139234262741214 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology12CalculateTruthUnaryModelTest.testTautology12 |
139234262711214 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology35CalculateTruthUnaryModelTest.testTautology35 |
139234262749814 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology33CalculateTruthUnaryModelTest.testTautology33 |
139234262749214 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology03CalculateTruthUnaryModelTest.testTautology03 |
139234262696014 Feb 01:50:26 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology14CalculateTruthUnaryModelTest.testTautology14 |
139234262732014 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology32CalculateTruthUnaryModelTest.testTautology32 |
139234262748214 Feb 01:50:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology29CalculateTruthUnaryModelTest.testTautology29 |
139234262745914 Feb 01:50:27 |
1
PASS
|
0.00700.007 |
|
CalculateTruthUnaryModelTest.testTautology11CalculateTruthUnaryModelTest.testTautology11 |
139234262709814 Feb 01:50:27 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology09CalculateTruthUnaryModelTest.testTautology09 |
139234262706314 Feb 01:50:27 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology47CalculateTruthUnaryModelTest.testTautology47 |
139234262773214 Feb 01:50:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology43CalculateTruthUnaryModelTest.testTautology43 |
139234262768014 Feb 01:50:27 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology07CalculateTruthUnaryModelTest.testTautology07 |
139234262702114 Feb 01:50:27 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology01CalculateTruthUnaryModelTest.testTautology01 |
139234262691914 Feb 01:50:26 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology04CalculateTruthUnaryModelTest.testTautology04 |
139234262697714 Feb 01:50:26 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology40CalculateTruthUnaryModelTest.testTautology40 |
139234262755114 Feb 01:50:27 |
1
PASS
|
0.0760.076 |
|
CalculateTruthUnaryModelTest.testTautology22CalculateTruthUnaryModelTest.testTautology22 |
139234262737514 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology46CalculateTruthUnaryModelTest.testTautology46 |
139234262771814 Feb 01:50:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology28CalculateTruthUnaryModelTest.testTautology28 |
139234262675814 Feb 01:50:26 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology41CalculateTruthUnaryModelTest.testTautology41 |
139234262687314 Feb 01:50:26 |
1
PASS
|
0.0110.011 |
|
CalculateTruthUnaryModelTest.testTautology18CalculateTruthUnaryModelTest.testTautology18 |
139234262735814 Feb 01:50:27 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology13CalculateTruthUnaryModelTest.testTautology13 |
139234262713614 Feb 01:50:27 |
1
PASS
|
0.1760.176 |
|
CalculateTruthUnaryModelTest.testTautology20CalculateTruthUnaryModelTest.testTautology20 |
139234262670314 Feb 01:50:26 |
1
PASS
|
0.0140.014 |
|
CalculateTruthUnaryModelTest.testTautology37CalculateTruthUnaryModelTest.testTautology37 |
139234262684014 Feb 01:50:26 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology31CalculateTruthUnaryModelTest.testTautology31 |
139234262678414 Feb 01:50:26 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology10CalculateTruthUnaryModelTest.testTautology10 |
139234262707714 Feb 01:50:27 |
1
PASS
|
0.00700.007 |
|
CalculateTruthUnaryModelTest.testTautology06CalculateTruthUnaryModelTest.testTautology06 |
139234262700414 Feb 01:50:27 |
1
PASS
|
0.00700.007 |
|
CalculateTruthUnaryModelTest.testTautology42CalculateTruthUnaryModelTest.testTautology42 |
139234262765614 Feb 01:50:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology17CalculateTruthUnaryModelTest.testTautology17 |
139234262734814 Feb 01:50:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology39CalculateTruthUnaryModelTest.testTautology39 |
139234262752114 Feb 01:50:27 |
1
PASS
|
0.0230.023 |
|