| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| M2AtLeastTest | 101 | 0 | 1 | 328.709 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testAim50SAT1 | Success | 0.058 | |
| testAim50SAT2 | Success | 0.007 | |
| testAim50SAT3 | Success | 0.003 | |
| testAim50SAT4 | Success | 0.006 | |
| testAim50SAT5 | Success | 0.006 | |
| testAim50SAT6 | Success | 0.004 | |
| testAim50SAT7 | Success | 0.003 | |
| testAim50SAT8 | Success | 0.002 | |
| testAim50SAT9 | Success | 0.004 | |
| testAim50SAT10 | Success | 0.002 | |
| testAim50SAT11 | Success | 0.003 | |
| testAim50SAT12 | Success | 0.002 | |
| testAim50SAT13 | Success | 0.005 | |
| testAim50SAT14 | Success | 0.003 | |
| testAim50SAT15 | Success | 0.002 | |
| testAim50SAT16 | Success | 0.003 | |
| testAim50UNSAT1 | Success | 0.002 | |
| testAim50UNSAT2 | Success | 0.002 | |
| testAim50UNSAT3 | Success | 0.001 | |
| testAim50UNSAT4 | Success | 0.001 | |
| testAim50UNSAT5 | Success | 0.002 | |
| testAim50UNSAT6 | Success | 0.001 | |
| testAim50UNSAT7 | Success | 0.002 | |
| testAim50UNSAT8 | Success | 0.001 | |
| testIi1 | Success | 0.001 | |
| testIi2 | Success | 0.004 | |
| testIi3 | Success | 0.006 | |
| testIi4 | Success | 0.010 | |
| testIi5 | Success | 0.006 | |
| testIi6 | Success | 0.013 | |
| testIi7 | Success | 0.017 | |
| testIi8 | Success | 0.022 | |
| testIi9 | Success | 0.010 | |
| testIi10 | Success | 0.020 | |
| testIi11 | Success | 0.011 | |
| testIi12 | Success | 0.020 | |
| testIi13 | Success | 0.011 | |
| testIi14 | Success | 0.020 | |
| testIi15 | Success | 0.072 | |
| testIi16 | Success | 0.083 | |
| testIi17 | Success | 0.081 | |
| testIi18 | Success | 0.052 | |
| testIi20 | Success | 0.178 | |
| testIi21 | Success | 0.059 | |
| testIi22 | Success | 0.053 | |
| testIi23 | Success | 0.110 | |
| testIi24 | Success | 0.039 | |
| testJNH1 | Success | 0.005 | |
| testJNH2 | Success | 0.005 | |
| testJNH3 | Success | 0.016 | |
| testJNH4 | Success | 0.006 | |
| testJNH5 | Success | 0.007 | |
| testJNH6 | Success | 0.010 | |
| testJNH7 | Success | 0.006 | |
| testJNH8 | Success | 0.006 | |
| testJNH9 | Success | 0.006 | |
| testJNH10 | Success | 0.007 | |
| testJNH11 | Success | 0.010 | |
| testJNH12 | Success | 0.005 | |
| testJNH13 | Success | 0.005 | |
| testJNH14 | Success | 0.005 | |
| testJNH15 | Success | 0.007 | |
| testJNH16 | Success | 0.065 | |
| testJNH17 | Success | 0.005 | |
| testJNH18 | Success | 0.007 | |
| testJNH19 | Success | 0.008 | |
| testJNH20 | Success | 0.006 | |
| testJNH21 | Success | 0.006 | |
| testJNH22 | Success | 0.005 | |
| testJNH23 | Success | 0.009 | |
| testJNH24 | Success | 0.012 | |
| testJNH25 | Success | 0.007 | |
| testJNH26 | Success | 0.010 | |
| testJNH27 | Success | 0.004 | |
| testJNH28 | Success | 0.007 | |
| testJNH29 | Success | 0.004 | |
| testJNH30 | Success | 0.004 | |
| testJNH31 | Success | 0.007 | |
| testJNH32 | Success | 0.011 | |
| testJNH33 | Success | 0.005 | |
| testJNH34 | Success | 0.007 | |
| testJNH35 | Success | 0.005 | |
| testJNH36 | Success | 0.007 | |
| testJNH37 | Success | 0.010 | |
| testJNH38 | Success | 0.005 | |
| testJNH39 | Success | 0.008 | |
| testJNH40 | Success | 0.009 | |
| testJNH41 | Success | 0.010 | |
| testJNH42 | Success | 0.005 | |
| testJNH43 | Success | 0.010 | |
| testJNH44 | Success | 0.005 | |
| testJNH45 | Success | 0.006 | |
| testJNH46 | Success | 0.020 | |
| testJNH47 | Success | 0.005 | |
| testJNH48 | Success | 0.007 | |
| testJNH49 | Success | 0.005 | |
| testJNH50 | Success | 0.004 | |
| testHole6 | Success | 0.061 | |
| testHole7 | Success | 0.749 | |
| testHole8 | Success | 26.418 | |
| testHole9 | 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.AbstractM2Test.testHole9(AbstractM2Test.java:566) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.004 |