CalculateTruthDynamicUnaryModelTest.testTautology26CalculateTruthDynamicUnaryModelTest.testTautology26 |
139234262250014 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology12CalculateTruthDynamicUnaryModelTest.testTautology12 |
139234262204214 Feb 01:50:22 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology32CalculateTruthDynamicUnaryModelTest.testTautology32 |
139234262253214 Feb 01:50:22 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology30CalculateTruthDynamicUnaryModelTest.testTautology30 |
139234262252414 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology47CalculateTruthDynamicUnaryModelTest.testTautology47 |
139234262182014 Feb 01:50:21 |
1
PASS
|
0.00700.007 |
|
CalculateTruthDynamicUnaryModelTest.testTautology09CalculateTruthDynamicUnaryModelTest.testTautology09 |
139234262193914 Feb 01:50:21 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology45CalculateTruthDynamicUnaryModelTest.testTautology45 |
139234262178414 Feb 01:50:21 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology46CalculateTruthDynamicUnaryModelTest.testTautology46 |
139234262180614 Feb 01:50:21 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology39CalculateTruthDynamicUnaryModelTest.testTautology39 |
139234262262814 Feb 01:50:22 |
1
PASS
|
0.0430.043 |
|
CalculateTruthDynamicUnaryModelTest.testTautology44CalculateTruthDynamicUnaryModelTest.testTautology44 |
139234262175614 Feb 01:50:21 |
1
PASS
|
0.00900.009 |
|
CalculateTruthDynamicUnaryModelTest.testTautology11CalculateTruthDynamicUnaryModelTest.testTautology11 |
139234262202314 Feb 01:50:22 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology06CalculateTruthDynamicUnaryModelTest.testTautology06 |
139234262191514 Feb 01:50:21 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology04CalculateTruthDynamicUnaryModelTest.testTautology04 |
139234262189914 Feb 01:50:21 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology34CalculateTruthDynamicUnaryModelTest.testTautology34 |
139234262170314 Feb 01:50:21 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology18CalculateTruthDynamicUnaryModelTest.testTautology18 |
139234262229314 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology33CalculateTruthDynamicUnaryModelTest.testTautology33 |
139234262254814 Feb 01:50:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology22CalculateTruthDynamicUnaryModelTest.testTautology22 |
139234262244814 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology14CalculateTruthDynamicUnaryModelTest.testTautology14 |
139234262225514 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology01CalculateTruthDynamicUnaryModelTest.testTautology01 |
139234262184014 Feb 01:50:21 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology37CalculateTruthDynamicUnaryModelTest.testTautology37 |
139234262172114 Feb 01:50:21 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology27CalculateTruthDynamicUnaryModelTest.testTautology27 |
139234262251014 Feb 01:50:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology03CalculateTruthDynamicUnaryModelTest.testTautology03 |
139234262188214 Feb 01:50:21 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology36CalculateTruthDynamicUnaryModelTest.testTautology36 |
139234262259614 Feb 01:50:22 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology29CalculateTruthDynamicUnaryModelTest.testTautology29 |
139234262251514 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology19CalculateTruthDynamicUnaryModelTest.testTautology19 |
139234262135014 Feb 01:50:21 |
1
PASS
|
0.0970.097 |
|
CalculateTruthDynamicUnaryModelTest.testTautology41CalculateTruthDynamicUnaryModelTest.testTautology41 |
139234262173614 Feb 01:50:21 |
1
PASS
|
0.00700.007 |
|
CalculateTruthDynamicUnaryModelTest.testTautology21CalculateTruthDynamicUnaryModelTest.testTautology21 |
139234262164314 Feb 01:50:21 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology08CalculateTruthDynamicUnaryModelTest.testTautology08 |
139234262193414 Feb 01:50:21 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology02CalculateTruthDynamicUnaryModelTest.testTautology02 |
139234262184914 Feb 01:50:21 |
1
PASS
|
0.00600.006 |
|
CalculateTruthDynamicUnaryModelTest.testTautology07CalculateTruthDynamicUnaryModelTest.testTautology07 |
139234262192314 Feb 01:50:21 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology23CalculateTruthDynamicUnaryModelTest.testTautology23 |
139234262245414 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology40CalculateTruthDynamicUnaryModelTest.testTautology40 |
139234262267714 Feb 01:50:22 |
1
PASS
|
0.0740.074 |
|
CalculateTruthDynamicUnaryModelTest.testTautology43CalculateTruthDynamicUnaryModelTest.testTautology43 |
139234262277314 Feb 01:50:22 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology38CalculateTruthDynamicUnaryModelTest.testTautology38 |
139234262261514 Feb 01:50:22 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology17CalculateTruthDynamicUnaryModelTest.testTautology17 |
139234262228014 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology31CalculateTruthDynamicUnaryModelTest.testTautology31 |
139234262169014 Feb 01:50:21 |
1
PASS
|
0.00300.003 |
|
CalculateTruthDynamicUnaryModelTest.testTautology05CalculateTruthDynamicUnaryModelTest.testTautology05 |
139234262190814 Feb 01:50:21 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology42CalculateTruthDynamicUnaryModelTest.testTautology42 |
139234262275914 Feb 01:50:22 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology13CalculateTruthDynamicUnaryModelTest.testTautology13 |
139234262205414 Feb 01:50:22 |
1
PASS
|
0.1910.191 |
|
CalculateTruthDynamicUnaryModelTest.testTautology15CalculateTruthDynamicUnaryModelTest.testTautology15 |
139234262226214 Feb 01:50:22 |
1
PASS
|
0.00500.005 |
|
CalculateTruthDynamicUnaryModelTest.testTautology25CalculateTruthDynamicUnaryModelTest.testTautology25 |
139234262247714 Feb 01:50:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology28CalculateTruthDynamicUnaryModelTest.testTautology28 |
139234262166614 Feb 01:50:21 |
1
PASS
|
0.00400.004 |
|
CalculateTruthDynamicUnaryModelTest.testTautology16CalculateTruthDynamicUnaryModelTest.testTautology16 |
139234262227214 Feb 01:50:22 |
1
PASS
|
0.00100.001 |
|
CalculateTruthDynamicUnaryModelTest.testTautology35CalculateTruthDynamicUnaryModelTest.testTautology35 |
139234262256714 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|
CalculateTruthDynamicUnaryModelTest.testTautology10CalculateTruthDynamicUnaryModelTest.testTautology10 |
139234262200214 Feb 01:50:22 |
1
PASS
|
0.00700.007 |
|
CalculateTruthDynamicUnaryModelTest.testTautology20CalculateTruthDynamicUnaryModelTest.testTautology20 |
139234262157514 Feb 01:50:21 |
1
PASS
|
0.0140.014 |
|
CalculateTruthDynamicUnaryModelTest.testTautology24CalculateTruthDynamicUnaryModelTest.testTautology24 |
139234262246914 Feb 01:50:22 |
1
PASS
|
0.00200.002 |
|