CalculateTruthThreeModelTest.testTautology44CalculateTruthThreeModelTest.testTautology44 |
136939751548124 May 12:11:55 |
1
PASS
|
0.110.11 |
|
CalculateTruthThreeModelTest.testTautology21CalculateTruthThreeModelTest.testTautology21 |
136939751628424 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology24CalculateTruthThreeModelTest.testTautology24 |
136939751633124 May 12:11:56 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology06CalculateTruthThreeModelTest.testTautology06 |
136939751581124 May 12:11:55 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology02CalculateTruthThreeModelTest.testTautology02 |
136939751574924 May 12:11:55 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology09CalculateTruthThreeModelTest.testTautology09 |
136939751584624 May 12:11:55 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology22CalculateTruthThreeModelTest.testTautology22 |
136939751630024 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology12CalculateTruthThreeModelTest.testTautology12 |
136939751590724 May 12:11:55 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology15CalculateTruthThreeModelTest.testTautology15 |
136939751613524 May 12:11:56 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology08CalculateTruthThreeModelTest.testTautology08 |
136939751583324 May 12:11:55 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology10CalculateTruthThreeModelTest.testTautology10 |
136939751587124 May 12:11:55 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology16CalculateTruthThreeModelTest.testTautology16 |
136939751615024 May 12:11:56 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology14CalculateTruthThreeModelTest.testTautology14 |
136939751610724 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology30CalculateTruthThreeModelTest.testTautology30 |
136939751643024 May 12:11:56 |
1
PASS
|
0.020.02 |
|
CalculateTruthThreeModelTest.testTautology19CalculateTruthThreeModelTest.testTautology19 |
136939751621624 May 12:11:56 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology36CalculateTruthThreeModelTest.testTautology36 |
136939751650524 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology07CalculateTruthThreeModelTest.testTautology07 |
136939751582224 May 12:11:55 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology28CalculateTruthThreeModelTest.testTautology28 |
136939751639524 May 12:11:56 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology01CalculateTruthThreeModelTest.testTautology01 |
136939751570324 May 12:11:55 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology20CalculateTruthThreeModelTest.testTautology20 |
136939751624724 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology38CalculateTruthThreeModelTest.testTautology38 |
136939751652424 May 12:11:56 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology23CalculateTruthThreeModelTest.testTautology23 |
136939751631324 May 12:11:56 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology42CalculateTruthThreeModelTest.testTautology42 |
136939751733324 May 12:11:57 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology37CalculateTruthThreeModelTest.testTautology37 |
136939751651524 May 12:11:56 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology11CalculateTruthThreeModelTest.testTautology11 |
136939751588224 May 12:11:55 |
1
PASS
|
0.00800.008 |
|
CalculateTruthThreeModelTest.testTautology32CalculateTruthThreeModelTest.testTautology32 |
136939751647124 May 12:11:56 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology17CalculateTruthThreeModelTest.testTautology17 |
136939751616924 May 12:11:56 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology41CalculateTruthThreeModelTest.testTautology41 |
136939751732624 May 12:11:57 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology45CalculateTruthThreeModelTest.testTautology45 |
136939751734524 May 12:11:57 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology34CalculateTruthThreeModelTest.testTautology34 |
136939751648424 May 12:11:56 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology03CalculateTruthThreeModelTest.testTautology03 |
136939751577124 May 12:11:55 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology04CalculateTruthThreeModelTest.testTautology04 |
136939751578324 May 12:11:55 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology29CalculateTruthThreeModelTest.testTautology29 |
136939751640824 May 12:11:56 |
1
PASS
|
0.0130.013 |
|
CalculateTruthThreeModelTest.testTautology13CalculateTruthThreeModelTest.testTautology13 |
136939751592624 May 12:11:55 |
1
PASS
|
0.1720.172 |
|
CalculateTruthThreeModelTest.testTautology31CalculateTruthThreeModelTest.testTautology31 |
136939751645924 May 12:11:56 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology46CalculateTruthThreeModelTest.testTautology46 |
136939751563424 May 12:11:55 |
1
PASS
|
0.0130.013 |
|
CalculateTruthThreeModelTest.testTautology27CalculateTruthThreeModelTest.testTautology27 |
136939751637524 May 12:11:56 |
1
PASS
|
0.00600.006 |
|
CalculateTruthThreeModelTest.testTautology40CalculateTruthThreeModelTest.testTautology40 |
136939751656124 May 12:11:56 |
1
PASS
|
0.760.76 |
|
CalculateTruthThreeModelTest.testTautology35CalculateTruthThreeModelTest.testTautology35 |
136939751649224 May 12:11:56 |
1
PASS
|
0.00900.009 |
|
CalculateTruthThreeModelTest.testTautology05CalculateTruthThreeModelTest.testTautology05 |
136939751579424 May 12:11:55 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology39CalculateTruthThreeModelTest.testTautology39 |
136939751653224 May 12:11:56 |
1
PASS
|
0.0230.023 |
|
CalculateTruthThreeModelTest.testTautology18CalculateTruthThreeModelTest.testTautology18 |
136939751619124 May 12:11:56 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology25CalculateTruthThreeModelTest.testTautology25 |
136939751634824 May 12:11:56 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology33CalculateTruthThreeModelTest.testTautology33 |
136939751647924 May 12:11:56 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology47CalculateTruthThreeModelTest.testTautology47 |
136939751566224 May 12:11:55 |
1
PASS
|
0.0250.025 |
|
CalculateTruthThreeModelTest.testTautology26CalculateTruthThreeModelTest.testTautology26 |
136939751635924 May 12:11:56 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology43CalculateTruthThreeModelTest.testTautology43 |
136939751734024 May 12:11:57 |
1
PASS
|
0.00200.002 |
|