|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
ProofFinderImplTest | 3 3 | 0 0 | 0 0 | 66.611 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
ProofFinderImplTest.testFind2ProofFinderImplTest.testFind2 | 139233225269713 Feb 22:57:32 | 1 PASS | 50.2750.27 | ||||||||
ProofFinderImplTest.testFind3ProofFinderImplTest.testFind3 | 139233230297713 Feb 22:58:22 | 1 PASS | 0.3010.301 | ||||||||
ProofFinderImplTest.testFindProofFinderImplTest.testFind | 139233223653013 Feb 22:57:16 | 1 PASS | 16.0416.04 | ||||||||
|