Name | Status | Type | Time(s) |
testAim50SAT1 | Success | | 0.140 |
testAim50SAT2 | Success | | 0.015 |
testAim50SAT3 | Success | | 0.012 |
testAim50SAT4 | Success | | 0.014 |
testAim50SAT5 | Success | | 0.024 |
testAim50SAT6 | Success | | 0.011 |
testAim50SAT7 | Success | | 0.013 |
testAim50SAT8 | Success | | 0.005 |
testAim50SAT9 | Success | | 0.016 |
testAim50SAT10 | Success | | 0.021 |
testAim50SAT11 | Success | | 0.004 |
testAim50SAT12 | Success | | 0.005 |
testAim50SAT13 | Success | | 0.013 |
testAim50SAT14 | Success | | 0.007 |
testAim50SAT15 | Success | | 0.005 |
testAim50SAT16 | Success | | 0.006 |
testAim50UNSAT1 | Success | | 0.002 |
testAim50UNSAT2 | Success | | 0.002 |
testAim50UNSAT3 | Success | | 0.004 |
testAim50UNSAT4 | Success | | 0.002 |
testAim50UNSAT5 | Success | | 0.002 |
testAim50UNSAT6 | Success | | 0.003 |
testAim50UNSAT7 | Success | | 0.005 |
testAim50UNSAT8 | Success | | 0.002 |
testIi1 | Success | | 0.003 |
testIi2 | Success | | 0.025 |
testIi3 | Success | | 0.017 |
testIi4 | Success | | 0.032 |
testIi5 | Success | | 0.014 |
testIi6 | Success | | 0.018 |
testIi7 | Success | | 0.026 |
testIi8 | Success | | 0.035 |
testIi9 | Success | | 0.014 |
testIi10 | Success | | 0.027 |
testIi11 | Success | | 0.014 |
testIi12 | Success | | 0.028 |
testIi13 | Success | | 0.176 |
testIi14 | Success | | 0.208 |
testIi15 | 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.AbstractM2Test.testIi15(AbstractM2Test.java:259) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.084 |
testIi16 | Success | | 0.089 |
testIi17 | 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.AbstractM2Test.testIi17(AbstractM2Test.java:269) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.105 |
testIi18 | 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.AbstractM2Test.testIi18(AbstractM2Test.java:274) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.067 |
testIi20 | 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.AbstractM2Test.testIi20(AbstractM2Test.java:284) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.062 |
testIi21 | 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.AbstractM2Test.testIi21(AbstractM2Test.java:289) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.078 |
testIi22 | 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.AbstractM2Test.testIi22(AbstractM2Test.java:294) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.061 |
testIi23 | 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.AbstractM2Test.testIi23(AbstractM2Test.java:299) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.090 |
testIi24 | 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.AbstractM2Test.testIi24(AbstractM2Test.java:304) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.049 |
testJNH1 | Success | | 0.009 |
testJNH2 | Success | | 0.007 |
testJNH3 | Success | | 0.014 |
testJNH4 | Success | | 0.010 |
testJNH5 | Success | | 0.010 |
testJNH6 | Success | | 0.013 |
testJNH7 | Success | | 0.008 |
testJNH8 | Success | | 0.008 |
testJNH9 | Success | | 0.008 |
testJNH10 | Success | | 0.009 |
testJNH11 | Success | | 0.008 |
testJNH12 | Success | | 0.007 |
testJNH13 | Success | | 0.008 |
testJNH14 | Success | | 0.008 |
testJNH15 | Success | | 0.010 |
testJNH16 | Success | | 0.124 |
testJNH17 | Success | | 0.008 |
testJNH18 | Success | | 0.023 |
testJNH19 | Success | | 0.009 |
testJNH20 | Success | | 0.007 |
testJNH21 | Success | | 0.007 |
testJNH22 | Success | | 0.007 |
testJNH23 | Success | | 0.011 |
testJNH24 | Success | | 0.009 |
testJNH25 | Success | | 0.006 |
testJNH26 | Success | | 0.018 |
testJNH27 | Success | | 0.007 |
testJNH28 | Success | | 0.010 |
testJNH29 | Success | | 0.007 |
testJNH30 | Success | | 0.008 |
testJNH31 | Success | | 0.007 |
testJNH32 | Success | | 0.014 |
testJNH33 | Success | | 0.007 |
testJNH34 | Success | | 0.010 |
testJNH35 | Success | | 0.008 |
testJNH36 | Success | | 0.011 |
testJNH37 | Success | | 0.008 |
testJNH38 | Success | | 0.009 |
testJNH39 | Success | | 0.010 |
testJNH40 | Success | | 0.010 |
testJNH41 | Success | | 0.015 |
testJNH42 | Success | | 0.007 |
testJNH43 | Success | | 0.013 |
testJNH44 | Success | | 0.007 |
testJNH45 | Success | | 0.009 |
testJNH46 | Success | | 0.037 |
testJNH47 | Success | | 0.008 |
testJNH48 | Success | | 0.008 |
testJNH49 | Success | | 0.007 |
testJNH50 | Success | | 0.007 |
testHole6 | Success | | 0.028 |
testHole7 | Success | | 0.217 |
testHole8 | Success | | 1.929 |
testHole9 | Success | | 19.064 |