M2MiniLearning2Test.testHole9M2MiniLearning2Test.testHole9 |
3
FAIL
|
300.019300,019 |
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)
|
M2MiniLearning2Test.testJNH49M2MiniLearning2Test.testJNH49 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH50M2MiniLearning2Test.testJNH50 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testHole6M2MiniLearning2Test.testHole6 |
1
PASS
|
0.1210,121 |
|
M2MiniLearning2Test.testHole7M2MiniLearning2Test.testHole7 |
1
PASS
|
1.9521,952 |
|
M2MiniLearning2Test.testHole8M2MiniLearning2Test.testHole8 |
1
PASS
|
26.41726,417 |
|
M2MiniLearning2Test.testJNH41M2MiniLearning2Test.testJNH41 |
1
PASS
|
0.0210,021 |
|
M2MiniLearning2Test.testJNH42M2MiniLearning2Test.testJNH42 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testJNH43M2MiniLearning2Test.testJNH43 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH44M2MiniLearning2Test.testJNH44 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH45M2MiniLearning2Test.testJNH45 |
1
PASS
|
0.0140,014 |
|
M2MiniLearning2Test.testJNH46M2MiniLearning2Test.testJNH46 |
1
PASS
|
0.0230,023 |
|
M2MiniLearning2Test.testJNH47M2MiniLearning2Test.testJNH47 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH48M2MiniLearning2Test.testJNH48 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testJNH23M2MiniLearning2Test.testJNH23 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH24M2MiniLearning2Test.testJNH24 |
1
PASS
|
0.0170,017 |
|
M2MiniLearning2Test.testJNH21M2MiniLearning2Test.testJNH21 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH22M2MiniLearning2Test.testJNH22 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH19M2MiniLearning2Test.testJNH19 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testJNH20M2MiniLearning2Test.testJNH20 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH17M2MiniLearning2Test.testJNH17 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH18M2MiniLearning2Test.testJNH18 |
1
PASS
|
0.0140,014 |
|
M2MiniLearning2Test.testJNH15M2MiniLearning2Test.testJNH15 |
1
PASS
|
0.0140,014 |
|
M2MiniLearning2Test.testJNH16M2MiniLearning2Test.testJNH16 |
1
PASS
|
0.070,07 |
|
M2MiniLearning2Test.testJNH13M2MiniLearning2Test.testJNH13 |
1
PASS
|
0.0170,017 |
|
M2MiniLearning2Test.testJNH14M2MiniLearning2Test.testJNH14 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH11M2MiniLearning2Test.testJNH11 |
1
PASS
|
0.0170,017 |
|
M2MiniLearning2Test.testJNH12M2MiniLearning2Test.testJNH12 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH9M2MiniLearning2Test.testJNH9 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH10M2MiniLearning2Test.testJNH10 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH40M2MiniLearning2Test.testJNH40 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH39M2MiniLearning2Test.testJNH39 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testJNH38M2MiniLearning2Test.testJNH38 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH37M2MiniLearning2Test.testJNH37 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testJNH36M2MiniLearning2Test.testJNH36 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH35M2MiniLearning2Test.testJNH35 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH34M2MiniLearning2Test.testJNH34 |
1
PASS
|
0.0140,014 |
|
M2MiniLearning2Test.testJNH33M2MiniLearning2Test.testJNH33 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH32M2MiniLearning2Test.testJNH32 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH31M2MiniLearning2Test.testJNH31 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH30M2MiniLearning2Test.testJNH30 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH29M2MiniLearning2Test.testJNH29 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testJNH28M2MiniLearning2Test.testJNH28 |
1
PASS
|
0.0140,014 |
|
M2MiniLearning2Test.testJNH27M2MiniLearning2Test.testJNH27 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testJNH26M2MiniLearning2Test.testJNH26 |
1
PASS
|
0.0190,019 |
|
M2MiniLearning2Test.testJNH25M2MiniLearning2Test.testJNH25 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testIi12M2MiniLearning2Test.testIi12 |
1
PASS
|
0.0330,033 |
|
M2MiniLearning2Test.testIi13M2MiniLearning2Test.testIi13 |
1
PASS
|
0.020,02 |
|
M2MiniLearning2Test.testIi14M2MiniLearning2Test.testIi14 |
1
PASS
|
0.0310,031 |
|
M2MiniLearning2Test.testIi15M2MiniLearning2Test.testIi15 |
1
PASS
|
0.1810,181 |
|
M2MiniLearning2Test.testIi8M2MiniLearning2Test.testIi8 |
1
PASS
|
0.0410,041 |
|
M2MiniLearning2Test.testIi9M2MiniLearning2Test.testIi9 |
1
PASS
|
0.0180,018 |
|
M2MiniLearning2Test.testIi10M2MiniLearning2Test.testIi10 |
1
PASS
|
0.030,03 |
|
M2MiniLearning2Test.testIi11M2MiniLearning2Test.testIi11 |
1
PASS
|
0.020,02 |
|
M2MiniLearning2Test.testIi4M2MiniLearning2Test.testIi4 |
1
PASS
|
0.020,02 |
|
M2MiniLearning2Test.testIi5M2MiniLearning2Test.testIi5 |
1
PASS
|
0.0170,017 |
|
M2MiniLearning2Test.testIi6M2MiniLearning2Test.testIi6 |
1
PASS
|
0.0220,022 |
|
M2MiniLearning2Test.testIi7M2MiniLearning2Test.testIi7 |
1
PASS
|
0.0290,029 |
|
M2MiniLearning2Test.testAim50UNSAT8M2MiniLearning2Test.testAim50UNSAT8 |
1
PASS
|
0.00600,006 |
|
M2MiniLearning2Test.testIi1M2MiniLearning2Test.testIi1 |
1
PASS
|
0.00900,009 |
|
M2MiniLearning2Test.testIi2M2MiniLearning2Test.testIi2 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testIi3M2MiniLearning2Test.testIi3 |
1
PASS
|
0.0150,015 |
|
M2MiniLearning2Test.testJNH6M2MiniLearning2Test.testJNH6 |
1
PASS
|
0.0180,018 |
|
M2MiniLearning2Test.testJNH5M2MiniLearning2Test.testJNH5 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testJNH8M2MiniLearning2Test.testJNH8 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH7M2MiniLearning2Test.testJNH7 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH2M2MiniLearning2Test.testJNH2 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH1M2MiniLearning2Test.testJNH1 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testJNH4M2MiniLearning2Test.testJNH4 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testJNH3M2MiniLearning2Test.testJNH3 |
1
PASS
|
0.0180,018 |
|
M2MiniLearning2Test.testIi22M2MiniLearning2Test.testIi22 |
1
PASS
|
0.0650,065 |
|
M2MiniLearning2Test.testIi21M2MiniLearning2Test.testIi21 |
1
PASS
|
0.0890,089 |
|
M2MiniLearning2Test.testIi24M2MiniLearning2Test.testIi24 |
1
PASS
|
0.0530,053 |
|
M2MiniLearning2Test.testIi23M2MiniLearning2Test.testIi23 |
1
PASS
|
0.0950,095 |
|
M2MiniLearning2Test.testIi17M2MiniLearning2Test.testIi17 |
1
PASS
|
0.1040,104 |
|
M2MiniLearning2Test.testIi16M2MiniLearning2Test.testIi16 |
1
PASS
|
0.1010,101 |
|
M2MiniLearning2Test.testIi20M2MiniLearning2Test.testIi20 |
1
PASS
|
0.1060,106 |
|
M2MiniLearning2Test.testIi18M2MiniLearning2Test.testIi18 |
1
PASS
|
0.0690,069 |
|
M2MiniLearning2Test.testAim50SAT12M2MiniLearning2Test.testAim50SAT12 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testAim50SAT13M2MiniLearning2Test.testAim50SAT13 |
1
PASS
|
0.0130,013 |
|
M2MiniLearning2Test.testAim50SAT14M2MiniLearning2Test.testAim50SAT14 |
1
PASS
|
0.00900,009 |
|
M2MiniLearning2Test.testAim50SAT15M2MiniLearning2Test.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
M2MiniLearning2Test.testAim50SAT8M2MiniLearning2Test.testAim50SAT8 |
1
PASS
|
0.00900,009 |
|
M2MiniLearning2Test.testAim50SAT9M2MiniLearning2Test.testAim50SAT9 |
1
PASS
|
0.0160,016 |
|
M2MiniLearning2Test.testAim50SAT10M2MiniLearning2Test.testAim50SAT10 |
1
PASS
|
0.00800,008 |
|
M2MiniLearning2Test.testAim50SAT11M2MiniLearning2Test.testAim50SAT11 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testAim50UNSAT4M2MiniLearning2Test.testAim50UNSAT4 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50UNSAT5M2MiniLearning2Test.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50UNSAT6M2MiniLearning2Test.testAim50UNSAT6 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50UNSAT7M2MiniLearning2Test.testAim50UNSAT7 |
1
PASS
|
0.00800,008 |
|
M2MiniLearning2Test.testAim50SAT16M2MiniLearning2Test.testAim50SAT16 |
1
PASS
|
0.00900,009 |
|
M2MiniLearning2Test.testAim50UNSAT1M2MiniLearning2Test.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50UNSAT2M2MiniLearning2Test.testAim50UNSAT2 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50UNSAT3M2MiniLearning2Test.testAim50UNSAT3 |
1
PASS
|
0.00700,007 |
|
M2MiniLearning2Test.testAim50SAT5M2MiniLearning2Test.testAim50SAT5 |
1
PASS
|
0.0170,017 |
|
M2MiniLearning2Test.testAim50SAT4M2MiniLearning2Test.testAim50SAT4 |
1
PASS
|
0.0180,018 |
|
M2MiniLearning2Test.testAim50SAT7M2MiniLearning2Test.testAim50SAT7 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testAim50SAT6M2MiniLearning2Test.testAim50SAT6 |
1
PASS
|
0.0120,012 |
|
M2MiniLearning2Test.testAim50SAT1M2MiniLearning2Test.testAim50SAT1 |
1
PASS
|
0.1180,118 |
|
M2MiniLearning2Test.testAim50SAT3M2MiniLearning2Test.testAim50SAT3 |
1
PASS
|
0.0110,011 |
|
M2MiniLearning2Test.testAim50SAT2M2MiniLearning2Test.testAim50SAT2 |
1
PASS
|
0.0160,016 |
|