FormalProofCheckerPluginTest.testPluginFormalProofCheckerPluginTest.testPlugin |
139234227215214 Feb 01:44:32 |
1
PASS
|
0.8520.852 |
|
FormalProofCheckerPluginTest.testPlugin4FormalProofCheckerPluginTest.testPlugin4 |
139234227689514 Feb 01:44:36 |
1
PASS
|
0.8640.864 |
|
FormalProofCheckerPluginTest.testProof_003FormalProofCheckerPluginTest.testProof_003 |
139234227776614 Feb 01:44:37 |
1
PASS
|
0.060.06 |
|
FormalProofCheckerPluginTest.testPlugin3FormalProofCheckerPluginTest.testPlugin3 |
139234227443014 Feb 01:44:34 |
1
PASS
|
2.4552.455 |
|
FormalProofCheckerPluginTest.testPlugin2FormalProofCheckerPluginTest.testPlugin2 |
139234227301614 Feb 01:44:33 |
1
PASS
|
1.3971.397 |
|