CalculateTruthDynamicThreeModelTest.testTautology28CalculateTruthDynamicThreeModelTest.testTautology28 |
136939750910524 May 12:11:49 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology23CalculateTruthDynamicThreeModelTest.testTautology23 |
136939750837924 May 12:11:48 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology40CalculateTruthDynamicThreeModelTest.testTautology40 |
136939751102724 May 12:11:51 |
1
PASS
|
1.1041.104 |
|
CalculateTruthDynamicThreeModelTest.testTautology05CalculateTruthDynamicThreeModelTest.testTautology05 |
136939750571724 May 12:11:45 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology13CalculateTruthDynamicThreeModelTest.testTautology13 |
136939750674324 May 12:11:46 |
1
PASS
|
0.1090.109 |
|
CalculateTruthDynamicThreeModelTest.testTautology47CalculateTruthDynamicThreeModelTest.testTautology47 |
136939750473324 May 12:11:44 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology02CalculateTruthDynamicThreeModelTest.testTautology02 |
136939750512924 May 12:11:45 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology42CalculateTruthDynamicThreeModelTest.testTautology42 |
136939751246424 May 12:11:52 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology11CalculateTruthDynamicThreeModelTest.testTautology11 |
136939750650724 May 12:11:46 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology18CalculateTruthDynamicThreeModelTest.testTautology18 |
136939750763124 May 12:11:47 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicThreeModelTest.testTautology25CalculateTruthDynamicThreeModelTest.testTautology25 |
136939750865224 May 12:11:48 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology16CalculateTruthDynamicThreeModelTest.testTautology16 |
136939750728624 May 12:11:47 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology39CalculateTruthDynamicThreeModelTest.testTautology39 |
136939751086324 May 12:11:50 |
1
PASS
|
0.0240.024 |
|
CalculateTruthDynamicThreeModelTest.testTautology31CalculateTruthDynamicThreeModelTest.testTautology31 |
136939750966624 May 12:11:49 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicThreeModelTest.testTautology12CalculateTruthDynamicThreeModelTest.testTautology12 |
136939750664124 May 12:11:46 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology27CalculateTruthDynamicThreeModelTest.testTautology27 |
136939750901324 May 12:11:49 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology30CalculateTruthDynamicThreeModelTest.testTautology30 |
136939750944424 May 12:11:49 |
1
PASS
|
0.0350.035 |
|
CalculateTruthDynamicThreeModelTest.testTautology08CalculateTruthDynamicThreeModelTest.testTautology08 |
136939750609224 May 12:11:46 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology38CalculateTruthDynamicThreeModelTest.testTautology38 |
136939751072024 May 12:11:50 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology03CalculateTruthDynamicThreeModelTest.testTautology03 |
136939750525124 May 12:11:45 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology33CalculateTruthDynamicThreeModelTest.testTautology33 |
136939750992124 May 12:11:49 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology36CalculateTruthDynamicThreeModelTest.testTautology36 |
136939751050124 May 12:11:50 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicThreeModelTest.testTautology45CalculateTruthDynamicThreeModelTest.testTautology45 |
136939750437824 May 12:11:44 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology34CalculateTruthDynamicThreeModelTest.testTautology34 |
136939751010624 May 12:11:50 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology01CalculateTruthDynamicThreeModelTest.testTautology01 |
136939750492024 May 12:11:44 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology44bCalculateTruthDynamicThreeModelTest.testTautology44b |
136939750366724 May 12:11:43 |
1
PASS
|
0.0540.054 |
|
CalculateTruthDynamicThreeModelTest.testTautology09CalculateTruthDynamicThreeModelTest.testTautology09 |
136939750623824 May 12:11:46 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology20CalculateTruthDynamicThreeModelTest.testTautology20 |
136939750794824 May 12:11:47 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology44CalculateTruthDynamicThreeModelTest.testTautology44 |
136939750418324 May 12:11:44 |
1
PASS
|
0.0130.013 |
|
CalculateTruthDynamicThreeModelTest.testTautology35CalculateTruthDynamicThreeModelTest.testTautology35 |
136939751024724 May 12:11:50 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology04CalculateTruthDynamicThreeModelTest.testTautology04 |
136939750549724 May 12:11:45 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology21CalculateTruthDynamicThreeModelTest.testTautology21 |
136939750804924 May 12:11:48 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology41CalculateTruthDynamicThreeModelTest.testTautology41 |
136939751228124 May 12:11:52 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicThreeModelTest.testTautology24CalculateTruthDynamicThreeModelTest.testTautology24 |
136939750854324 May 12:11:48 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology19CalculateTruthDynamicThreeModelTest.testTautology19 |
136939750775924 May 12:11:47 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology10CalculateTruthDynamicThreeModelTest.testTautology10 |
136939750635624 May 12:11:46 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology43CalculateTruthDynamicThreeModelTest.testTautology43 |
136939751261224 May 12:11:52 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology37CalculateTruthDynamicThreeModelTest.testTautology37 |
136939751063324 May 12:11:50 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology46CalculateTruthDynamicThreeModelTest.testTautology46 |
136939750455024 May 12:11:44 |
1
PASS
|
0.00 |
|
CalculateTruthDynamicThreeModelTest.testTautology06CalculateTruthDynamicThreeModelTest.testTautology06 |
136939750582424 May 12:11:45 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicThreeModelTest.testTautology07CalculateTruthDynamicThreeModelTest.testTautology07 |
136939750598924 May 12:11:45 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology15CalculateTruthDynamicThreeModelTest.testTautology15 |
136939750717824 May 12:11:47 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology22CalculateTruthDynamicThreeModelTest.testTautology22 |
136939750822424 May 12:11:48 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology29CalculateTruthDynamicThreeModelTest.testTautology29 |
136939750924824 May 12:11:49 |
1
PASS
|
0.0110.011 |
|
CalculateTruthDynamicThreeModelTest.testTautology32CalculateTruthDynamicThreeModelTest.testTautology32 |
136939750981924 May 12:11:49 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology17CalculateTruthDynamicThreeModelTest.testTautology17 |
136939750746324 May 12:11:47 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicThreeModelTest.testTautology26CalculateTruthDynamicThreeModelTest.testTautology26 |
136939750880024 May 12:11:48 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicThreeModelTest.testTautology14CalculateTruthDynamicThreeModelTest.testTautology14 |
136939750698324 May 12:11:46 |
1
PASS
|
0.00200.002 |
|