CalculateTruthDynamicThreeModelTest.testTautology32CalculateTruthDynamicThreeModelTest.testTautology32 |
139233205346613 Feb 22:54:13 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology21CalculateTruthDynamicThreeModelTest.testTautology21 |
139233205079413 Feb 22:54:10 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology01CalculateTruthDynamicThreeModelTest.testTautology01 |
139233204596413 Feb 22:54:05 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology35CalculateTruthDynamicThreeModelTest.testTautology35 |
139233205446213 Feb 22:54:14 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology37CalculateTruthDynamicThreeModelTest.testTautology37 |
139233205485113 Feb 22:54:14 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology10CalculateTruthDynamicThreeModelTest.testTautology10 |
139233204829613 Feb 22:54:08 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology43CalculateTruthDynamicThreeModelTest.testTautology43 |
139233205688013 Feb 22:54:16 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology47CalculateTruthDynamicThreeModelTest.testTautology47 |
139233204570813 Feb 22:54:05 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology22CalculateTruthDynamicThreeModelTest.testTautology22 |
139233205096313 Feb 22:54:10 |
1
PASS
|
0.0170.017 |
|
CalculateTruthDynamicThreeModelTest.testTautology30CalculateTruthDynamicThreeModelTest.testTautology30 |
139233205297413 Feb 22:54:12 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology38CalculateTruthDynamicThreeModelTest.testTautology38 |
139233205509613 Feb 22:54:15 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicThreeModelTest.testTautology25CalculateTruthDynamicThreeModelTest.testTautology25 |
139233205179213 Feb 22:54:11 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology23CalculateTruthDynamicThreeModelTest.testTautology23 |
139233205123713 Feb 22:54:11 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology17CalculateTruthDynamicThreeModelTest.testTautology17 |
139233204995113 Feb 22:54:09 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology20CalculateTruthDynamicThreeModelTest.testTautology20 |
139233205067713 Feb 22:54:10 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology28CalculateTruthDynamicThreeModelTest.testTautology28 |
139233205258113 Feb 22:54:12 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology15CalculateTruthDynamicThreeModelTest.testTautology15 |
139233204968113 Feb 22:54:09 |
1
PASS
|
0.0220.022 |
|
CalculateTruthDynamicThreeModelTest.testTautology19CalculateTruthDynamicThreeModelTest.testTautology19 |
139233205038013 Feb 22:54:10 |
1
PASS
|
0.0150.015 |
|
CalculateTruthDynamicThreeModelTest.testTautology16CalculateTruthDynamicThreeModelTest.testTautology16 |
139233204983113 Feb 22:54:09 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology34CalculateTruthDynamicThreeModelTest.testTautology34 |
139233205397813 Feb 22:54:13 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology31CalculateTruthDynamicThreeModelTest.testTautology31 |
139233205318713 Feb 22:54:13 |
1
PASS
|
0.0290.029 |
|
CalculateTruthDynamicThreeModelTest.testTautology11CalculateTruthDynamicThreeModelTest.testTautology11 |
139233204862113 Feb 22:54:08 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology46CalculateTruthDynamicThreeModelTest.testTautology46 |
139233204534613 Feb 22:54:05 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology03CalculateTruthDynamicThreeModelTest.testTautology03 |
139233204661813 Feb 22:54:06 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology05CalculateTruthDynamicThreeModelTest.testTautology05 |
139233204708313 Feb 22:54:07 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology45CalculateTruthDynamicThreeModelTest.testTautology45 |
139233204500513 Feb 22:54:05 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology42CalculateTruthDynamicThreeModelTest.testTautology42 |
139233205675713 Feb 22:54:16 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology18CalculateTruthDynamicThreeModelTest.testTautology18 |
139233205015013 Feb 22:54:10 |
1
PASS
|
0.0260.026 |
|
CalculateTruthDynamicThreeModelTest.testTautology12CalculateTruthDynamicThreeModelTest.testTautology12 |
139233204887913 Feb 22:54:08 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology27CalculateTruthDynamicThreeModelTest.testTautology27 |
139233205244313 Feb 22:54:12 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology26CalculateTruthDynamicThreeModelTest.testTautology26 |
139233205222213 Feb 22:54:12 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology04CalculateTruthDynamicThreeModelTest.testTautology04 |
139233204688413 Feb 22:54:06 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology07CalculateTruthDynamicThreeModelTest.testTautology07 |
139233204783513 Feb 22:54:07 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology14CalculateTruthDynamicThreeModelTest.testTautology14 |
139233204927913 Feb 22:54:09 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology09CalculateTruthDynamicThreeModelTest.testTautology09 |
139233204812613 Feb 22:54:08 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology06CalculateTruthDynamicThreeModelTest.testTautology06 |
139233204750613 Feb 22:54:07 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology44bCalculateTruthDynamicThreeModelTest.testTautology44b |
139233204438413 Feb 22:54:04 |
1
PASS
|
0.040.04 |
|
CalculateTruthDynamicThreeModelTest.testTautology33CalculateTruthDynamicThreeModelTest.testTautology33 |
139233205372213 Feb 22:54:13 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology44CalculateTruthDynamicThreeModelTest.testTautology44 |
139233204471713 Feb 22:54:04 |
1
PASS
|
0.0170.017 |
|
CalculateTruthDynamicThreeModelTest.testTautology02CalculateTruthDynamicThreeModelTest.testTautology02 |
139233204629413 Feb 22:54:06 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology13CalculateTruthDynamicThreeModelTest.testTautology13 |
139233204901513 Feb 22:54:09 |
1
PASS
|
0.1450.145 |
|
CalculateTruthDynamicThreeModelTest.testTautology39CalculateTruthDynamicThreeModelTest.testTautology39 |
139233205524913 Feb 22:54:15 |
1
PASS
|
0.0280.028 |
|
CalculateTruthDynamicThreeModelTest.testTautology24CalculateTruthDynamicThreeModelTest.testTautology24 |
139233205147813 Feb 22:54:11 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology29CalculateTruthDynamicThreeModelTest.testTautology29 |
139233205281613 Feb 22:54:12 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology36CalculateTruthDynamicThreeModelTest.testTautology36 |
139233205467213 Feb 22:54:14 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology41CalculateTruthDynamicThreeModelTest.testTautology41 |
139233205661513 Feb 22:54:16 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology40CalculateTruthDynamicThreeModelTest.testTautology40 |
139233205539013 Feb 22:54:15 |
1
PASS
|
1.0811.081 |
|
CalculateTruthDynamicThreeModelTest.testTautology08CalculateTruthDynamicThreeModelTest.testTautology08 |
139233204797713 Feb 22:54:07 |
1
PASS
|
0.00100.001 |
|