CalculateTruthThreeModelTest.testTautology39CalculateTruthThreeModelTest.testTautology39 |
139233206325913 Feb 22:54:23 |
1
PASS
|
0.0350.035 |
|
CalculateTruthThreeModelTest.testTautology44CalculateTruthThreeModelTest.testTautology44 |
139233206225013 Feb 22:54:22 |
1
PASS
|
0.1080.108 |
|
CalculateTruthThreeModelTest.testTautology10CalculateTruthThreeModelTest.testTautology10 |
139233206279313 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology33CalculateTruthThreeModelTest.testTautology33 |
139233206319613 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology18CalculateTruthThreeModelTest.testTautology18 |
139233206300413 Feb 22:54:23 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology34CalculateTruthThreeModelTest.testTautology34 |
139233206321013 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology20CalculateTruthThreeModelTest.testTautology20 |
139233206302013 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology07CalculateTruthThreeModelTest.testTautology07 |
139233206275513 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology30CalculateTruthThreeModelTest.testTautology30 |
139233206314213 Feb 22:54:23 |
1
PASS
|
0.0180.018 |
|
CalculateTruthThreeModelTest.testTautology42CalculateTruthThreeModelTest.testTautology42 |
139233206462613 Feb 22:54:24 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology41CalculateTruthThreeModelTest.testTautology41 |
139233206461613 Feb 22:54:24 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology13CalculateTruthThreeModelTest.testTautology13 |
139233206281713 Feb 22:54:22 |
1
PASS
|
0.1130.113 |
|
CalculateTruthThreeModelTest.testTautology24CalculateTruthThreeModelTest.testTautology24 |
139233206306513 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology02CalculateTruthThreeModelTest.testTautology02 |
139233206271813 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology03CalculateTruthThreeModelTest.testTautology03 |
139233206272313 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology38CalculateTruthThreeModelTest.testTautology38 |
139233206325213 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology36CalculateTruthThreeModelTest.testTautology36 |
139233206322413 Feb 22:54:23 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology29CalculateTruthThreeModelTest.testTautology29 |
139233206312213 Feb 22:54:23 |
1
PASS
|
0.00700.007 |
|
CalculateTruthThreeModelTest.testTautology46CalculateTruthThreeModelTest.testTautology46 |
139233206256613 Feb 22:54:22 |
1
PASS
|
0.00800.008 |
|
CalculateTruthThreeModelTest.testTautology16CalculateTruthThreeModelTest.testTautology16 |
139233206295313 Feb 22:54:22 |
1
PASS
|
0.0180.018 |
|
CalculateTruthThreeModelTest.testTautology17CalculateTruthThreeModelTest.testTautology17 |
139233206299613 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology14CalculateTruthThreeModelTest.testTautology14 |
139233206293613 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology47CalculateTruthThreeModelTest.testTautology47 |
139233206269213 Feb 22:54:22 |
1
PASS
|
0.00800.008 |
|
CalculateTruthThreeModelTest.testTautology37CalculateTruthThreeModelTest.testTautology37 |
139233206324613 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology08CalculateTruthThreeModelTest.testTautology08 |
139233206276413 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology26CalculateTruthThreeModelTest.testTautology26 |
139233206308913 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology21CalculateTruthThreeModelTest.testTautology21 |
139233206303513 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology31CalculateTruthThreeModelTest.testTautology31 |
139233206316513 Feb 22:54:23 |
1
PASS
|
0.0150.015 |
|
CalculateTruthThreeModelTest.testTautology43CalculateTruthThreeModelTest.testTautology43 |
139233206466013 Feb 22:54:24 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology05CalculateTruthThreeModelTest.testTautology05 |
139233206274513 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology19CalculateTruthThreeModelTest.testTautology19 |
139233206301313 Feb 22:54:23 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology12CalculateTruthThreeModelTest.testTautology12 |
139233206280713 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology32CalculateTruthThreeModelTest.testTautology32 |
139233206318313 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology22CalculateTruthThreeModelTest.testTautology22 |
139233206304213 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology06CalculateTruthThreeModelTest.testTautology06 |
139233206275013 Feb 22:54:22 |
1
PASS
|
0.00300.003 |
|
CalculateTruthThreeModelTest.testTautology28CalculateTruthThreeModelTest.testTautology28 |
139233206310513 Feb 22:54:23 |
1
PASS
|
0.010.01 |
|
CalculateTruthThreeModelTest.testTautology01CalculateTruthThreeModelTest.testTautology01 |
139233206270913 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology25CalculateTruthThreeModelTest.testTautology25 |
139233206308413 Feb 22:54:23 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology11CalculateTruthThreeModelTest.testTautology11 |
139233206279813 Feb 22:54:22 |
1
PASS
|
0.00500.005 |
|
CalculateTruthThreeModelTest.testTautology40CalculateTruthThreeModelTest.testTautology40 |
139233206331113 Feb 22:54:23 |
1
PASS
|
1.2911.291 |
|
CalculateTruthThreeModelTest.testTautology15CalculateTruthThreeModelTest.testTautology15 |
139233206294413 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology09CalculateTruthThreeModelTest.testTautology09 |
139233206278713 Feb 22:54:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology35CalculateTruthThreeModelTest.testTautology35 |
139233206321613 Feb 22:54:23 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology45CalculateTruthThreeModelTest.testTautology45 |
139233206468413 Feb 22:54:24 |
1
PASS
|
0.00400.004 |
|
CalculateTruthThreeModelTest.testTautology04CalculateTruthThreeModelTest.testTautology04 |
139233206273913 Feb 22:54:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthThreeModelTest.testTautology27CalculateTruthThreeModelTest.testTautology27 |
139233206309413 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|
CalculateTruthThreeModelTest.testTautology23CalculateTruthThreeModelTest.testTautology23 |
139233206305813 Feb 22:54:23 |
1
PASS
|
0.00200.002 |
|