Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.GenericM2Test

Name	Tests	Errors	Failures	Time(s)
GenericM2Test	47	0	20	8264.527

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.101
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.030
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.015
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.022
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.018
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.018
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.018
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.014
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.014
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.010
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.010
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.010
AbstractM2TestMiniLearningHeapEZSimpNoRestarts	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
AbstractM2TestMiniLearningHeapEZSimpLongRestarts	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
AbstractM2TestActiveLearning	Success		118.195
AbstractM2TestMiniSAT	Success		163.162
AbstractM2TestMiniSATNoRestarts	Success		152.160
AbstractM2TestMiniSAT2	Success		92.979
AbstractM2TestMiniSAT23	Success		94.991
AbstractM2TestMiniSATHeap	Success		44.122
AbstractM2TestMiniSATHeapEZSimp	Success		18.098
AbstractM2TestMiniSAT2Heap	Success		45.962
AbstractM2TestMiniSAT23Heap	Success		46.303
AbstractM2TestMiniCard	Success		117.601
AbstractM2TestMinimalOPBMax	Success		110.007
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.078
AbstractM2TestMiniOPBClauseCardConstrMax	Success		54.195
AbstractM2TestMiniOPBClauseCardConstrMaxSpecificOrder	Success		54.052
AbstractM2TestMiniOPBClauseCardConstrMaxReduceToClause	Success		54.195
AbstractM2TestMiniOPBClauseCardConstrMaxReduceToCard	Success		54.138
AbstractM2TestMiniOPBClauseCardConstrMaxImplied	Success		54.066
AbstractM2TestMiniOPBClauseAtLeastConstrMax	Success		54.149
AbstractM2TestMiniOPBCounterBasedClauseCardConstrMax	Success		231.945
AbstractM2TestMinimalOPBMin	Success		143.722
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.053
AbstractM2TestMinimalOPBMinPueblo	Success		143.716
AbstractM2TestMiniOPBMinPueblo	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.102
AbstractM2TestMiniOPBClauseCardMinPueblo	Success		54.290
AbstractM2TestMiniOPBClauseCardMin	Success		54.180
AbstractM2TestMiniOPBClauseAtLeastMinPueblo	Success		61.329
AbstractM2TestRelsat	Success		205.118
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.010
AbstractM2TestMini3SAT	Success		20.078
AbstractM2TestMini3SATb	Success		1.169
AbstractM2TestAdaptiveSolver	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.016
AbstractM2TestDefault	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.014
AbstractM2TestLight	Success		19.985

Properties »