CalculateTruthDynamicThreeModelTest.testTautology25CalculateTruthDynamicThreeModelTest.testTautology25 |
139234261748514 Feb 01:50:17 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology29CalculateTruthDynamicThreeModelTest.testTautology29 |
139234261796214 Feb 01:50:17 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicThreeModelTest.testTautology43CalculateTruthDynamicThreeModelTest.testTautology43 |
139234262051814 Feb 01:50:20 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology39CalculateTruthDynamicThreeModelTest.testTautology39 |
139234261936814 Feb 01:50:19 |
1
PASS
|
0.0210.021 |
|
CalculateTruthDynamicThreeModelTest.testTautology19CalculateTruthDynamicThreeModelTest.testTautology19 |
139234261656414 Feb 01:50:16 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicThreeModelTest.testTautology47CalculateTruthDynamicThreeModelTest.testTautology47 |
139234261303614 Feb 01:50:13 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology08CalculateTruthDynamicThreeModelTest.testTautology08 |
139234261431014 Feb 01:50:14 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology23CalculateTruthDynamicThreeModelTest.testTautology23 |
139234261723514 Feb 01:50:17 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology31CalculateTruthDynamicThreeModelTest.testTautology31 |
139234261830914 Feb 01:50:18 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology36CalculateTruthDynamicThreeModelTest.testTautology36 |
139234261884514 Feb 01:50:18 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology46CalculateTruthDynamicThreeModelTest.testTautology46 |
139234261284214 Feb 01:50:12 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology02CalculateTruthDynamicThreeModelTest.testTautology02 |
139234261331914 Feb 01:50:13 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology44CalculateTruthDynamicThreeModelTest.testTautology44 |
139234261220814 Feb 01:50:12 |
1
PASS
|
0.0130.013 |
|
CalculateTruthDynamicThreeModelTest.testTautology32CalculateTruthDynamicThreeModelTest.testTautology32 |
139234261840314 Feb 01:50:18 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology38CalculateTruthDynamicThreeModelTest.testTautology38 |
139234261920714 Feb 01:50:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology03CalculateTruthDynamicThreeModelTest.testTautology03 |
139234261342514 Feb 01:50:13 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology16CalculateTruthDynamicThreeModelTest.testTautology16 |
139234261620714 Feb 01:50:16 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology01CalculateTruthDynamicThreeModelTest.testTautology01 |
139234261316614 Feb 01:50:13 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology12CalculateTruthDynamicThreeModelTest.testTautology12 |
139234261493214 Feb 01:50:14 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology28CalculateTruthDynamicThreeModelTest.testTautology28 |
139234261784514 Feb 01:50:17 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology34CalculateTruthDynamicThreeModelTest.testTautology34 |
139234261860014 Feb 01:50:18 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology09CalculateTruthDynamicThreeModelTest.testTautology09 |
139234261442814 Feb 01:50:14 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology17CalculateTruthDynamicThreeModelTest.testTautology17 |
139234261631014 Feb 01:50:16 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology13CalculateTruthDynamicThreeModelTest.testTautology13 |
139234261533614 Feb 01:50:15 |
1
PASS
|
0.0950.095 |
|
CalculateTruthDynamicThreeModelTest.testTautology18CalculateTruthDynamicThreeModelTest.testTautology18 |
139234261642214 Feb 01:50:16 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicThreeModelTest.testTautology37CalculateTruthDynamicThreeModelTest.testTautology37 |
139234261908414 Feb 01:50:19 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology30CalculateTruthDynamicThreeModelTest.testTautology30 |
139234261809214 Feb 01:50:18 |
1
PASS
|
0.0380.038 |
|
CalculateTruthDynamicThreeModelTest.testTautology06CalculateTruthDynamicThreeModelTest.testTautology06 |
139234261394914 Feb 01:50:13 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology21CalculateTruthDynamicThreeModelTest.testTautology21 |
139234261703214 Feb 01:50:17 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology15CalculateTruthDynamicThreeModelTest.testTautology15 |
139234261575414 Feb 01:50:15 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology07CalculateTruthDynamicThreeModelTest.testTautology07 |
139234261412614 Feb 01:50:14 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology24CalculateTruthDynamicThreeModelTest.testTautology24 |
139234261740314 Feb 01:50:17 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology42CalculateTruthDynamicThreeModelTest.testTautology42 |
139234262041114 Feb 01:50:20 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology20CalculateTruthDynamicThreeModelTest.testTautology20 |
139234261670014 Feb 01:50:16 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicThreeModelTest.testTautology05CalculateTruthDynamicThreeModelTest.testTautology05 |
139234261373814 Feb 01:50:13 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology44bCalculateTruthDynamicThreeModelTest.testTautology44b |
139234261194314 Feb 01:50:11 |
1
PASS
|
0.0240.024 |
|
CalculateTruthDynamicThreeModelTest.testTautology33CalculateTruthDynamicThreeModelTest.testTautology33 |
139234261850314 Feb 01:50:18 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology45CalculateTruthDynamicThreeModelTest.testTautology45 |
139234261236214 Feb 01:50:12 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology14CalculateTruthDynamicThreeModelTest.testTautology14 |
139234261559714 Feb 01:50:15 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology10CalculateTruthDynamicThreeModelTest.testTautology10 |
139234261458314 Feb 01:50:14 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology26CalculateTruthDynamicThreeModelTest.testTautology26 |
139234261757114 Feb 01:50:17 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology27CalculateTruthDynamicThreeModelTest.testTautology27 |
139234261767014 Feb 01:50:17 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology40CalculateTruthDynamicThreeModelTest.testTautology40 |
139234261950214 Feb 01:50:19 |
1
PASS
|
0.6910.691 |
|
CalculateTruthDynamicThreeModelTest.testTautology04CalculateTruthDynamicThreeModelTest.testTautology04 |
139234261356614 Feb 01:50:13 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology35CalculateTruthDynamicThreeModelTest.testTautology35 |
139234261873914 Feb 01:50:18 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology41CalculateTruthDynamicThreeModelTest.testTautology41 |
139234262031214 Feb 01:50:20 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology22CalculateTruthDynamicThreeModelTest.testTautology22 |
139234261714014 Feb 01:50:17 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology11CalculateTruthDynamicThreeModelTest.testTautology11 |
139234261478114 Feb 01:50:14 |
1
PASS
|
0.00200.002 |
|