Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.GenericM2Test

Name	Tests	Errors	Failures	Time(s)
GenericM2Test	30	0	19	7578.262

Tests

Name	Status	Type	Time(s)
AbstractM2TestMiniLearning	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.259
AbstractM2TestMiniLearningHeap	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.062
AbstractM2TestMiniLearningHeapEZSimp	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.018
AbstractM2TestMiniLearning2	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.048
AbstractM2TestMiniLearning2Heap	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.022
AbstractM2TestMiniLearning23	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.049
AbstractM2TestMiniLearningCB	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.036
AbstractM2TestMiniLearningCBWL	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.045
AbstractM2TestMiniLearning2NewOrder	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.030
AbstractM2TestMiniLearningPure	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.023
AbstractM2TestMiniLearningCBWLPure	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.008
AbstractM2TestMiniLearningEZSimp	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.008
AbstractM2TestMiniLearningNoRestarts	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.015
AbstractM2TestActiveLearning	Success		148.601
AbstractM2TestMiniSAT	Success		158.473
AbstractM2TestMiniSATNoRestarts	Success		144.854
AbstractM2TestMiniSAT2	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.009
AbstractM2TestMiniSAT23	Success		224.974
AbstractM2TestMiniSATHeap	Success		261.600
AbstractM2TestMiniSAT2Heap	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.010
AbstractM2TestMiniSAT23Heap	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.008
AbstractM2TestMiniCard	Success		172.545
AbstractM2TestMinimalOPBMax	Success		204.677
AbstractM2TestMiniOPBMax	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.294
AbstractM2TestMinimalOPBMin	Success		234.341
AbstractM2TestMiniOPBMin	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.090
AbstractM2TestRelsat	Success		220.313
AbstractM2TestBackjumping	Failure	Timeout: need more time to complete! `junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:52)`	300.006
AbstractM2TestMini3SAT	Success		39.450
AbstractM2TestMini3SATb	Success		67.316

Properties »