| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.048 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.011 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.005 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.004 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.014 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.003 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.005 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.007 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.005 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.005 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.004 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.004 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.005 |
| AbstractM2TestActiveLearning | Success | | 34.559 |
| AbstractM2TestMiniSAT | Success | | 48.562 |
| AbstractM2TestMiniSATNoRestarts | Success | | 44.666 |
| AbstractM2TestMiniSAT2 | Success | | 27.612 |
| AbstractM2TestMiniSAT23 | Success | | 26.916 |
| AbstractM2TestMiniSATHeap | Success | | 11.370 |
| AbstractM2TestMiniSATHeapEZSimp | Success | | 4.170 |
| AbstractM2TestMiniSATHeapExpSimp | Success | | 10.465 |
| AbstractM2TestMiniSAT2Heap | Success | | 12.052 |
| AbstractM2TestMiniSAT23Heap | Success | | 12.087 |
| AbstractM2TestMiniCard | Success | | 35.902 |
| AbstractM2TestRelsat | Success | | 60.365 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.002 |
| AbstractM2TestMini3SAT | Success | | 7.686 |
| AbstractM2TestMini3SATb | Success | | 0.323 |
| AbstractM2TestMinOneSolver | Failure | Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.006 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 300.004 |
| AbstractM2TestLight | Success | | 7.748 |
| 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:76) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54) | 0.014 |