CalculateTruthDynamicUnaryModelTest.testTautology39CalculateTruthDynamicUnaryModelTest.testTautology39 |
139233206045313 Feb 22:54:20 |
1
PASS
|
0.0340.034 |
|
CalculateTruthDynamicUnaryModelTest.testTautology21CalculateTruthDynamicUnaryModelTest.testTautology21 |
139233205918013 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology01CalculateTruthDynamicUnaryModelTest.testTautology01 |
139233205930513 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology28CalculateTruthDynamicUnaryModelTest.testTautology28 |
139233205919013 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology47CalculateTruthDynamicUnaryModelTest.testTautology47 |
139233205929013 Feb 22:54:19 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology45CalculateTruthDynamicUnaryModelTest.testTautology45 |
139233205926813 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology15CalculateTruthDynamicUnaryModelTest.testTautology15 |
139233205962413 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology10CalculateTruthDynamicUnaryModelTest.testTautology10 |
139233205946713 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology23CalculateTruthDynamicUnaryModelTest.testTautology23 |
139233205965713 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology41CalculateTruthDynamicUnaryModelTest.testTautology41 |
139233205924113 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology03CalculateTruthDynamicUnaryModelTest.testTautology03 |
139233205933213 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology46CalculateTruthDynamicUnaryModelTest.testTautology46 |
139233205927613 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology04CalculateTruthDynamicUnaryModelTest.testTautology04 |
139233205935313 Feb 22:54:19 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicUnaryModelTest.testTautology32CalculateTruthDynamicUnaryModelTest.testTautology32 |
139233206038013 Feb 22:54:20 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology26CalculateTruthDynamicUnaryModelTest.testTautology26 |
139233206000013 Feb 22:54:20 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology17CalculateTruthDynamicUnaryModelTest.testTautology17 |
139233205963513 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology09CalculateTruthDynamicUnaryModelTest.testTautology09 |
139233205944913 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology19CalculateTruthDynamicUnaryModelTest.testTautology19 |
139233205897713 Feb 22:54:18 |
1
PASS
|
0.1370.137 |
|
CalculateTruthDynamicUnaryModelTest.testTautology44CalculateTruthDynamicUnaryModelTest.testTautology44 |
139233205924813 Feb 22:54:19 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology36CalculateTruthDynamicUnaryModelTest.testTautology36 |
139233206041913 Feb 22:54:20 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology08CalculateTruthDynamicUnaryModelTest.testTautology08 |
139233205943913 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology25CalculateTruthDynamicUnaryModelTest.testTautology25 |
139233205969613 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology14CalculateTruthDynamicUnaryModelTest.testTautology14 |
139233205961913 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology22CalculateTruthDynamicUnaryModelTest.testTautology22 |
139233205965313 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology12CalculateTruthDynamicUnaryModelTest.testTautology12 |
139233205948813 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology11CalculateTruthDynamicUnaryModelTest.testTautology11 |
139233205947313 Feb 22:54:19 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology43CalculateTruthDynamicUnaryModelTest.testTautology43 |
139233206055613 Feb 22:54:20 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology33CalculateTruthDynamicUnaryModelTest.testTautology33 |
139233206039913 Feb 22:54:20 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology38CalculateTruthDynamicUnaryModelTest.testTautology38 |
139233206043513 Feb 22:54:20 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology05CalculateTruthDynamicUnaryModelTest.testTautology05 |
139233205938413 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology18CalculateTruthDynamicUnaryModelTest.testTautology18 |
139233205964013 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology24CalculateTruthDynamicUnaryModelTest.testTautology24 |
139233205967213 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology27CalculateTruthDynamicUnaryModelTest.testTautology27 |
139233206012413 Feb 22:54:20 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology07CalculateTruthDynamicUnaryModelTest.testTautology07 |
139233205942013 Feb 22:54:19 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicUnaryModelTest.testTautology06CalculateTruthDynamicUnaryModelTest.testTautology06 |
139233205939613 Feb 22:54:19 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology29CalculateTruthDynamicUnaryModelTest.testTautology29 |
139233206035813 Feb 22:54:20 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology42CalculateTruthDynamicUnaryModelTest.testTautology42 |
139233206053513 Feb 22:54:20 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology30CalculateTruthDynamicUnaryModelTest.testTautology30 |
139233206037013 Feb 22:54:20 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology40CalculateTruthDynamicUnaryModelTest.testTautology40 |
139233206049313 Feb 22:54:20 |
1
PASS
|
0.0320.032 |
|
CalculateTruthDynamicUnaryModelTest.testTautology31CalculateTruthDynamicUnaryModelTest.testTautology31 |
139233205919913 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology20CalculateTruthDynamicUnaryModelTest.testTautology20 |
139233205916413 Feb 22:54:19 |
1
PASS
|
0.00800.008 |
|
CalculateTruthDynamicUnaryModelTest.testTautology37CalculateTruthDynamicUnaryModelTest.testTautology37 |
139233205922313 Feb 22:54:19 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology34CalculateTruthDynamicUnaryModelTest.testTautology34 |
139233205920513 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology35CalculateTruthDynamicUnaryModelTest.testTautology35 |
139233206041013 Feb 22:54:20 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicUnaryModelTest.testTautology16CalculateTruthDynamicUnaryModelTest.testTautology16 |
139233205962913 Feb 22:54:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology02CalculateTruthDynamicUnaryModelTest.testTautology02 |
139233205931113 Feb 22:54:19 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology13CalculateTruthDynamicUnaryModelTest.testTautology13 |
139233205949313 Feb 22:54:19 |
1
PASS
|
0.1220.122 |
|