CalculateTruthUnaryModelTest.testTautology33CalculateTruthUnaryModelTest.testTautology33 |
139233206808613 Feb 22:54:28 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology06CalculateTruthUnaryModelTest.testTautology06 |
139233206740913 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology11CalculateTruthUnaryModelTest.testTautology11 |
139233206747313 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology23CalculateTruthUnaryModelTest.testTautology23 |
139233206794613 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology21CalculateTruthUnaryModelTest.testTautology21 |
139233206727513 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology18CalculateTruthUnaryModelTest.testTautology18 |
139233206791513 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology47CalculateTruthUnaryModelTest.testTautology47 |
139233206836013 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology17CalculateTruthUnaryModelTest.testTautology17 |
139233206788613 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology41CalculateTruthUnaryModelTest.testTautology41 |
139233206735513 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology38CalculateTruthUnaryModelTest.testTautology38 |
139233206812313 Feb 22:54:28 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology36CalculateTruthUnaryModelTest.testTautology36 |
139233206811313 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology39CalculateTruthUnaryModelTest.testTautology39 |
139233206814713 Feb 22:54:28 |
1
PASS
|
0.0530.053 |
|
CalculateTruthUnaryModelTest.testTautology31CalculateTruthUnaryModelTest.testTautology31 |
139233206732313 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology25CalculateTruthUnaryModelTest.testTautology25 |
139233206797513 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology05CalculateTruthUnaryModelTest.testTautology05 |
139233206740413 Feb 22:54:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology45CalculateTruthUnaryModelTest.testTautology45 |
139233206833713 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology37CalculateTruthUnaryModelTest.testTautology37 |
139233206733513 Feb 22:54:27 |
1
PASS
|
0.0110.011 |
|
CalculateTruthUnaryModelTest.testTautology16CalculateTruthUnaryModelTest.testTautology16 |
139233206787713 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology30CalculateTruthUnaryModelTest.testTautology30 |
139233206804113 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology26CalculateTruthUnaryModelTest.testTautology26 |
139233206799213 Feb 22:54:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology35CalculateTruthUnaryModelTest.testTautology35 |
139233206810513 Feb 22:54:28 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology20CalculateTruthUnaryModelTest.testTautology20 |
139233206724013 Feb 22:54:27 |
1
PASS
|
0.0140.014 |
|
CalculateTruthUnaryModelTest.testTautology13CalculateTruthUnaryModelTest.testTautology13 |
139233206750613 Feb 22:54:27 |
1
PASS
|
0.320.32 |
|
CalculateTruthUnaryModelTest.testTautology40CalculateTruthUnaryModelTest.testTautology40 |
139233206821513 Feb 22:54:28 |
1
PASS
|
0.0850.085 |
|
CalculateTruthUnaryModelTest.testTautology07CalculateTruthUnaryModelTest.testTautology07 |
139233206742013 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology32CalculateTruthUnaryModelTest.testTautology32 |
139233206806713 Feb 22:54:28 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology43CalculateTruthUnaryModelTest.testTautology43 |
139233206831613 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology10CalculateTruthUnaryModelTest.testTautology10 |
139233206746213 Feb 22:54:27 |
1
PASS
|
0.00500.005 |
|
CalculateTruthUnaryModelTest.testTautology01CalculateTruthUnaryModelTest.testTautology01 |
139233206737413 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology09CalculateTruthUnaryModelTest.testTautology09 |
139233206745613 Feb 22:54:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology12CalculateTruthUnaryModelTest.testTautology12 |
139233206749513 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology27CalculateTruthUnaryModelTest.testTautology27 |
139233206800113 Feb 22:54:28 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology19CalculateTruthUnaryModelTest.testTautology19 |
139233206707313 Feb 22:54:27 |
1
PASS
|
0.1420.142 |
|
CalculateTruthUnaryModelTest.testTautology08CalculateTruthUnaryModelTest.testTautology08 |
139233206743113 Feb 22:54:27 |
1
PASS
|
0.00300.003 |
|
CalculateTruthUnaryModelTest.testTautology42CalculateTruthUnaryModelTest.testTautology42 |
139233206830313 Feb 22:54:28 |
1
PASS
|
0.00900.009 |
|
CalculateTruthUnaryModelTest.testTautology15CalculateTruthUnaryModelTest.testTautology15 |
139233206786413 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology46CalculateTruthUnaryModelTest.testTautology46 |
139233206835513 Feb 22:54:28 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology22CalculateTruthUnaryModelTest.testTautology22 |
139233206793513 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology03CalculateTruthUnaryModelTest.testTautology03 |
139233206738513 Feb 22:54:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology24CalculateTruthUnaryModelTest.testTautology24 |
139233206795613 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology28CalculateTruthUnaryModelTest.testTautology28 |
139233206730913 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|
CalculateTruthUnaryModelTest.testTautology04CalculateTruthUnaryModelTest.testTautology04 |
139233206739813 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology34CalculateTruthUnaryModelTest.testTautology34 |
139233206732913 Feb 22:54:27 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology44CalculateTruthUnaryModelTest.testTautology44 |
139233206832213 Feb 22:54:28 |
1
PASS
|
0.00200.002 |
|
CalculateTruthUnaryModelTest.testTautology29CalculateTruthUnaryModelTest.testTautology29 |
139233206802713 Feb 22:54:28 |
1
PASS
|
0.00600.006 |
|
CalculateTruthUnaryModelTest.testTautology02CalculateTruthUnaryModelTest.testTautology02 |
139233206738113 Feb 22:54:27 |
1
PASS
|
0.00100.001 |
|
CalculateTruthUnaryModelTest.testTautology14CalculateTruthUnaryModelTest.testTautology14 |
139233206785113 Feb 22:54:27 |
1
PASS
|
0.00400.004 |
|