| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.064 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.018 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.016 |
| AbstractM2TestMiniLearningHeapExpSimp | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.015 |
| AbstractM2TestMiniLearningHeapRsatExpSimp | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.013 |
| AbstractM2TestMiniLearningHeapRsatExpSimpBiere | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.015 |
| AbstractM2TestMiniLearningHeapRsatExpSimpLuby | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.012 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.016 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.014 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.038 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.017 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.011 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.028 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.012 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.009 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.018 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.014 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.013 |
| AbstractM2TestActiveLearning | Success | | 35.558 |
| AbstractM2TestMiniSAT | Success | | 50.845 |
| AbstractM2TestMiniSATNoRestarts | Success | | 49.643 |
| AbstractM2TestMiniSAT2 | Success | | 28.072 |
| AbstractM2TestMiniSAT23 | Success | | 29.542 |
| AbstractM2TestMiniSATHeap | Success | | 12.136 |
| AbstractM2TestMiniSATHeapEZSimp | Success | | 4.547 |
| AbstractM2TestMiniSATHeapExpSimp | Success | | 11.078 |
| AbstractM2TestMiniSAT2Heap | Success | | 13.568 |
| AbstractM2TestMiniSAT23Heap | Success | | 12.999 |
| AbstractM2TestMiniCard | Success | | 35.323 |
| AbstractM2TestMinimalOPBMax | Success | | 22.472 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.052 |
| AbstractM2TestMiniOPBClauseCardConstrMax | Success | | 90.212 |
| AbstractM2TestMiniOPBClauseCardConstrMaxSpecificOrder | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.036 |
| AbstractM2TestMiniLearningOPBClauseCardConstrMaxSpecificOrderIncremental | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.018 |
| AbstractM2TestMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalLearnJustClauses | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.040 |
| AbstractM2TestMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.023 |
| AbstractM2TestMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalNoLearning | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.020 |
| AbstractM2TestMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalMerging | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.023 |
| AbstractM2TestMinimalOPBClauseCardConstrMaxSpecificOrder | Success | | 207.879 |
| AbstractM2TestMiniOPBClauseCardConstrMaxReduceToClause | Success | | 89.774 |
| AbstractM2TestMiniOPBClauseCardConstrMaxImplied | Success | | 89.809 |
| AbstractM2TestMiniOPBClauseAtLeastConstrMax | Success | | 90.621 |
| AbstractM2TestMiniOPBCounterBasedClauseCardConstrMax | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.089 |
| AbstractM2TestMinimalOPBMin | Success | | 31.883 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.026 |
| AbstractM2TestMinimalOPBMinPueblo | Success | | 31.458 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.060 |
| AbstractM2TestMiniOPBClauseCardMinPueblo | Success | | 91.286 |
| AbstractM2TestMiniOPBClauseCardMin | Success | | 91.095 |
| AbstractM2TestMiniOPBClauseAtLeastMinPueblo | Success | | 90.642 |
| AbstractM2TestRelsat | Success | | 67.272 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.012 |
| AbstractM2TestMini3SAT | Success | | 8.180 |
| AbstractM2TestMini3SATb | Success | | 0.349 |
| AbstractM2TestMiniMaxSAT | Success | | 37.268 |
| 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:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.010 |
| AbstractM2TestLight | Success | | 8.146 |
| AbstractM2TestDimacsOutput | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 0.028 |