| M2MiniLearningTest.testHole9M2MiniLearningTest.testHole9 |
3
FAIL
|
300.022300,022 |
Timeout: need more time to complete!
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.AbstractM2Test.testHole9(AbstractM2Test.java:565)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| M2MiniLearningTest.testJNH49M2MiniLearningTest.testJNH49 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH50M2MiniLearningTest.testJNH50 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testHole6M2MiniLearningTest.testHole6 |
1
PASS
|
0.130,13 |
|
| M2MiniLearningTest.testHole7M2MiniLearningTest.testHole7 |
1
PASS
|
2.0112,011 |
|
| M2MiniLearningTest.testHole8M2MiniLearningTest.testHole8 |
1
PASS
|
28.33428,334 |
|
| M2MiniLearningTest.testJNH41M2MiniLearningTest.testJNH41 |
1
PASS
|
0.0210,021 |
|
| M2MiniLearningTest.testJNH42M2MiniLearningTest.testJNH42 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH43M2MiniLearningTest.testJNH43 |
1
PASS
|
0.0150,015 |
|
| M2MiniLearningTest.testJNH44M2MiniLearningTest.testJNH44 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH45M2MiniLearningTest.testJNH45 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH46M2MiniLearningTest.testJNH46 |
1
PASS
|
0.020,02 |
|
| M2MiniLearningTest.testJNH47M2MiniLearningTest.testJNH47 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH48M2MiniLearningTest.testJNH48 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH23M2MiniLearningTest.testJNH23 |
1
PASS
|
0.0150,015 |
|
| M2MiniLearningTest.testJNH24M2MiniLearningTest.testJNH24 |
1
PASS
|
0.0180,018 |
|
| M2MiniLearningTest.testJNH21M2MiniLearningTest.testJNH21 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH22M2MiniLearningTest.testJNH22 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH19M2MiniLearningTest.testJNH19 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH20M2MiniLearningTest.testJNH20 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH17M2MiniLearningTest.testJNH17 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH18M2MiniLearningTest.testJNH18 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH15M2MiniLearningTest.testJNH15 |
1
PASS
|
0.0580,058 |
|
| M2MiniLearningTest.testJNH16M2MiniLearningTest.testJNH16 |
1
PASS
|
0.0670,067 |
|
| M2MiniLearningTest.testJNH13M2MiniLearningTest.testJNH13 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH14M2MiniLearningTest.testJNH14 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH11M2MiniLearningTest.testJNH11 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH12M2MiniLearningTest.testJNH12 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH9M2MiniLearningTest.testJNH9 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH10M2MiniLearningTest.testJNH10 |
1
PASS
|
0.0170,017 |
|
| M2MiniLearningTest.testJNH40M2MiniLearningTest.testJNH40 |
1
PASS
|
0.0270,027 |
|
| M2MiniLearningTest.testJNH39M2MiniLearningTest.testJNH39 |
1
PASS
|
0.0150,015 |
|
| M2MiniLearningTest.testJNH38M2MiniLearningTest.testJNH38 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH37M2MiniLearningTest.testJNH37 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH36M2MiniLearningTest.testJNH36 |
1
PASS
|
0.0150,015 |
|
| M2MiniLearningTest.testJNH35M2MiniLearningTest.testJNH35 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH34M2MiniLearningTest.testJNH34 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH33M2MiniLearningTest.testJNH33 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH32M2MiniLearningTest.testJNH32 |
1
PASS
|
0.0160,016 |
|
| M2MiniLearningTest.testJNH31M2MiniLearningTest.testJNH31 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH30M2MiniLearningTest.testJNH30 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH29M2MiniLearningTest.testJNH29 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testJNH28M2MiniLearningTest.testJNH28 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH27M2MiniLearningTest.testJNH27 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH26M2MiniLearningTest.testJNH26 |
1
PASS
|
0.0170,017 |
|
| M2MiniLearningTest.testJNH25M2MiniLearningTest.testJNH25 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testIi12M2MiniLearningTest.testIi12 |
1
PASS
|
0.0340,034 |
|
| M2MiniLearningTest.testIi13M2MiniLearningTest.testIi13 |
1
PASS
|
0.0210,021 |
|
| M2MiniLearningTest.testIi14M2MiniLearningTest.testIi14 |
1
PASS
|
0.0330,033 |
|
| M2MiniLearningTest.testIi15M2MiniLearningTest.testIi15 |
1
PASS
|
0.1980,198 |
|
| M2MiniLearningTest.testIi8M2MiniLearningTest.testIi8 |
1
PASS
|
0.0450,045 |
|
| M2MiniLearningTest.testIi9M2MiniLearningTest.testIi9 |
1
PASS
|
0.0180,018 |
|
| M2MiniLearningTest.testIi10M2MiniLearningTest.testIi10 |
1
PASS
|
0.0320,032 |
|
| M2MiniLearningTest.testIi11M2MiniLearningTest.testIi11 |
1
PASS
|
0.0210,021 |
|
| M2MiniLearningTest.testIi4M2MiniLearningTest.testIi4 |
1
PASS
|
0.020,02 |
|
| M2MiniLearningTest.testIi5M2MiniLearningTest.testIi5 |
1
PASS
|
0.0160,016 |
|
| M2MiniLearningTest.testIi6M2MiniLearningTest.testIi6 |
1
PASS
|
0.0230,023 |
|
| M2MiniLearningTest.testIi7M2MiniLearningTest.testIi7 |
1
PASS
|
0.030,03 |
|
| M2MiniLearningTest.testAim50UNSAT8M2MiniLearningTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testIi1M2MiniLearningTest.testIi1 |
1
PASS
|
0.00800,008 |
|
| M2MiniLearningTest.testIi2M2MiniLearningTest.testIi2 |
1
PASS
|
0.00900,009 |
|
| M2MiniLearningTest.testIi3M2MiniLearningTest.testIi3 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testJNH6M2MiniLearningTest.testJNH6 |
1
PASS
|
0.0160,016 |
|
| M2MiniLearningTest.testJNH5M2MiniLearningTest.testJNH5 |
1
PASS
|
0.0160,016 |
|
| M2MiniLearningTest.testJNH8M2MiniLearningTest.testJNH8 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH7M2MiniLearningTest.testJNH7 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH2M2MiniLearningTest.testJNH2 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testJNH1M2MiniLearningTest.testJNH1 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH4M2MiniLearningTest.testJNH4 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testJNH3M2MiniLearningTest.testJNH3 |
1
PASS
|
0.0230,023 |
|
| M2MiniLearningTest.testIi22M2MiniLearningTest.testIi22 |
1
PASS
|
0.0710,071 |
|
| M2MiniLearningTest.testIi21M2MiniLearningTest.testIi21 |
1
PASS
|
0.0950,095 |
|
| M2MiniLearningTest.testIi24M2MiniLearningTest.testIi24 |
1
PASS
|
0.0560,056 |
|
| M2MiniLearningTest.testIi23M2MiniLearningTest.testIi23 |
1
PASS
|
0.10,1 |
|
| M2MiniLearningTest.testIi17M2MiniLearningTest.testIi17 |
1
PASS
|
0.1130,113 |
|
| M2MiniLearningTest.testIi16M2MiniLearningTest.testIi16 |
1
PASS
|
0.1130,113 |
|
| M2MiniLearningTest.testIi20M2MiniLearningTest.testIi20 |
1
PASS
|
0.1190,119 |
|
| M2MiniLearningTest.testIi18M2MiniLearningTest.testIi18 |
1
PASS
|
0.0760,076 |
|
| M2MiniLearningTest.testAim50SAT12M2MiniLearningTest.testAim50SAT12 |
1
PASS
|
0.0140,014 |
|
| M2MiniLearningTest.testAim50SAT13M2MiniLearningTest.testAim50SAT13 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testAim50SAT14M2MiniLearningTest.testAim50SAT14 |
1
PASS
|
0.00800,008 |
|
| M2MiniLearningTest.testAim50SAT15M2MiniLearningTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
| M2MiniLearningTest.testAim50SAT8M2MiniLearningTest.testAim50SAT8 |
1
PASS
|
0.00800,008 |
|
| M2MiniLearningTest.testAim50SAT9M2MiniLearningTest.testAim50SAT9 |
1
PASS
|
0.0130,013 |
|
| M2MiniLearningTest.testAim50SAT10M2MiniLearningTest.testAim50SAT10 |
1
PASS
|
0.00800,008 |
|
| M2MiniLearningTest.testAim50SAT11M2MiniLearningTest.testAim50SAT11 |
1
PASS
|
0.010,01 |
|
| M2MiniLearningTest.testAim50UNSAT4M2MiniLearningTest.testAim50UNSAT4 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50UNSAT5M2MiniLearningTest.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50UNSAT6M2MiniLearningTest.testAim50UNSAT6 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50UNSAT7M2MiniLearningTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50SAT16M2MiniLearningTest.testAim50SAT16 |
1
PASS
|
0.00900,009 |
|
| M2MiniLearningTest.testAim50UNSAT1M2MiniLearningTest.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50UNSAT2M2MiniLearningTest.testAim50UNSAT2 |
1
PASS
|
0.00700,007 |
|
| M2MiniLearningTest.testAim50UNSAT3M2MiniLearningTest.testAim50UNSAT3 |
1
PASS
|
0.00800,008 |
|
| M2MiniLearningTest.testAim50SAT5M2MiniLearningTest.testAim50SAT5 |
1
PASS
|
0.0180,018 |
|
| M2MiniLearningTest.testAim50SAT4M2MiniLearningTest.testAim50SAT4 |
1
PASS
|
0.0160,016 |
|
| M2MiniLearningTest.testAim50SAT7M2MiniLearningTest.testAim50SAT7 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testAim50SAT6M2MiniLearningTest.testAim50SAT6 |
1
PASS
|
0.0110,011 |
|
| M2MiniLearningTest.testAim50SAT1M2MiniLearningTest.testAim50SAT1 |
1
PASS
|
0.1150,115 |
|
| M2MiniLearningTest.testAim50SAT3M2MiniLearningTest.testAim50SAT3 |
1
PASS
|
0.0120,012 |
|
| M2MiniLearningTest.testAim50SAT2M2MiniLearningTest.testAim50SAT2 |
1
PASS
|
0.0160,016 |
|
