| M2BackjumpingTest.testHole9M2BackjumpingTest.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)
|
| M2BackjumpingTest.testJNH49M2BackjumpingTest.testJNH49 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testJNH50M2BackjumpingTest.testJNH50 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testHole6M2BackjumpingTest.testHole6 |
1
PASS
|
0.2620,262 |
|
| M2BackjumpingTest.testHole7M2BackjumpingTest.testHole7 |
1
PASS
|
3.1123,112 |
|
| M2BackjumpingTest.testHole8M2BackjumpingTest.testHole8 |
1
PASS
|
160.038160,038 |
|
| M2BackjumpingTest.testJNH41M2BackjumpingTest.testJNH41 |
1
PASS
|
0.0140,014 |
|
| M2BackjumpingTest.testJNH42M2BackjumpingTest.testJNH42 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH43M2BackjumpingTest.testJNH43 |
1
PASS
|
0.0190,019 |
|
| M2BackjumpingTest.testJNH44M2BackjumpingTest.testJNH44 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH45M2BackjumpingTest.testJNH45 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH46M2BackjumpingTest.testJNH46 |
1
PASS
|
0.0420,042 |
|
| M2BackjumpingTest.testJNH47M2BackjumpingTest.testJNH47 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH48M2BackjumpingTest.testJNH48 |
1
PASS
|
0.0160,016 |
|
| M2BackjumpingTest.testJNH23M2BackjumpingTest.testJNH23 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testJNH24M2BackjumpingTest.testJNH24 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testJNH21M2BackjumpingTest.testJNH21 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH22M2BackjumpingTest.testJNH22 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH19M2BackjumpingTest.testJNH19 |
1
PASS
|
0.0150,015 |
|
| M2BackjumpingTest.testJNH20M2BackjumpingTest.testJNH20 |
1
PASS
|
0.0150,015 |
|
| M2BackjumpingTest.testJNH17M2BackjumpingTest.testJNH17 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH18M2BackjumpingTest.testJNH18 |
1
PASS
|
0.0170,017 |
|
| M2BackjumpingTest.testJNH15M2BackjumpingTest.testJNH15 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH16M2BackjumpingTest.testJNH16 |
1
PASS
|
0.0990,099 |
|
| M2BackjumpingTest.testJNH13M2BackjumpingTest.testJNH13 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH14M2BackjumpingTest.testJNH14 |
1
PASS
|
0.0560,056 |
|
| M2BackjumpingTest.testJNH11M2BackjumpingTest.testJNH11 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testJNH12M2BackjumpingTest.testJNH12 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH9M2BackjumpingTest.testJNH9 |
1
PASS
|
0.0160,016 |
|
| M2BackjumpingTest.testJNH10M2BackjumpingTest.testJNH10 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH40M2BackjumpingTest.testJNH40 |
1
PASS
|
0.0220,022 |
|
| M2BackjumpingTest.testJNH39M2BackjumpingTest.testJNH39 |
1
PASS
|
0.020,02 |
|
| M2BackjumpingTest.testJNH38M2BackjumpingTest.testJNH38 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testJNH37M2BackjumpingTest.testJNH37 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH36M2BackjumpingTest.testJNH36 |
1
PASS
|
0.0170,017 |
|
| M2BackjumpingTest.testJNH35M2BackjumpingTest.testJNH35 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH34M2BackjumpingTest.testJNH34 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH33M2BackjumpingTest.testJNH33 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH32M2BackjumpingTest.testJNH32 |
1
PASS
|
0.0320,032 |
|
| M2BackjumpingTest.testJNH31M2BackjumpingTest.testJNH31 |
1
PASS
|
0.0160,016 |
|
| M2BackjumpingTest.testJNH30M2BackjumpingTest.testJNH30 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH29M2BackjumpingTest.testJNH29 |
1
PASS
|
0.0150,015 |
|
| M2BackjumpingTest.testJNH28M2BackjumpingTest.testJNH28 |
1
PASS
|
0.0140,014 |
|
| M2BackjumpingTest.testJNH27M2BackjumpingTest.testJNH27 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH26M2BackjumpingTest.testJNH26 |
1
PASS
|
0.0150,015 |
|
| M2BackjumpingTest.testJNH25M2BackjumpingTest.testJNH25 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testIi12M2BackjumpingTest.testIi12 |
1
PASS
|
0.030,03 |
|
| M2BackjumpingTest.testIi13M2BackjumpingTest.testIi13 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testIi14M2BackjumpingTest.testIi14 |
1
PASS
|
0.0320,032 |
|
| M2BackjumpingTest.testIi15M2BackjumpingTest.testIi15 |
1
PASS
|
0.0830,083 |
|
| M2BackjumpingTest.testIi8M2BackjumpingTest.testIi8 |
1
PASS
|
0.0350,035 |
|
| M2BackjumpingTest.testIi9M2BackjumpingTest.testIi9 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testIi10M2BackjumpingTest.testIi10 |
1
PASS
|
0.0310,031 |
|
| M2BackjumpingTest.testIi11M2BackjumpingTest.testIi11 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testIi4M2BackjumpingTest.testIi4 |
1
PASS
|
0.0210,021 |
|
| M2BackjumpingTest.testIi5M2BackjumpingTest.testIi5 |
1
PASS
|
0.0150,015 |
|
| M2BackjumpingTest.testIi6M2BackjumpingTest.testIi6 |
1
PASS
|
0.0210,021 |
|
| M2BackjumpingTest.testIi7M2BackjumpingTest.testIi7 |
1
PASS
|
0.0290,029 |
|
| M2BackjumpingTest.testAim50UNSAT8M2BackjumpingTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
| M2BackjumpingTest.testIi1M2BackjumpingTest.testIi1 |
1
PASS
|
0.00600,006 |
|
| M2BackjumpingTest.testIi2M2BackjumpingTest.testIi2 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testIi3M2BackjumpingTest.testIi3 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH6M2BackjumpingTest.testJNH6 |
1
PASS
|
0.0320,032 |
|
| M2BackjumpingTest.testJNH5M2BackjumpingTest.testJNH5 |
1
PASS
|
0.0180,018 |
|
| M2BackjumpingTest.testJNH8M2BackjumpingTest.testJNH8 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH7M2BackjumpingTest.testJNH7 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH2M2BackjumpingTest.testJNH2 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testJNH1M2BackjumpingTest.testJNH1 |
1
PASS
|
0.0130,013 |
|
| M2BackjumpingTest.testJNH4M2BackjumpingTest.testJNH4 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testJNH3M2BackjumpingTest.testJNH3 |
1
PASS
|
0.030,03 |
|
| M2BackjumpingTest.testIi22M2BackjumpingTest.testIi22 |
1
PASS
|
0.0580,058 |
|
| M2BackjumpingTest.testIi21M2BackjumpingTest.testIi21 |
1
PASS
|
0.0750,075 |
|
| M2BackjumpingTest.testIi24M2BackjumpingTest.testIi24 |
1
PASS
|
0.0940,094 |
|
| M2BackjumpingTest.testIi23M2BackjumpingTest.testIi23 |
1
PASS
|
0.0880,088 |
|
| M2BackjumpingTest.testIi17M2BackjumpingTest.testIi17 |
1
PASS
|
0.1070,107 |
|
| M2BackjumpingTest.testIi16M2BackjumpingTest.testIi16 |
1
PASS
|
0.1490,149 |
|
| M2BackjumpingTest.testIi20M2BackjumpingTest.testIi20 |
1
PASS
|
0.1740,174 |
|
| M2BackjumpingTest.testIi18M2BackjumpingTest.testIi18 |
1
PASS
|
0.0840,084 |
|
| M2BackjumpingTest.testAim50SAT12M2BackjumpingTest.testAim50SAT12 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testAim50SAT13M2BackjumpingTest.testAim50SAT13 |
1
PASS
|
0.0120,012 |
|
| M2BackjumpingTest.testAim50SAT14M2BackjumpingTest.testAim50SAT14 |
1
PASS
|
0.00800,008 |
|
| M2BackjumpingTest.testAim50SAT15M2BackjumpingTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
| M2BackjumpingTest.testAim50SAT8M2BackjumpingTest.testAim50SAT8 |
1
PASS
|
0.0110,011 |
|
| M2BackjumpingTest.testAim50SAT9M2BackjumpingTest.testAim50SAT9 |
1
PASS
|
0.00800,008 |
|
| M2BackjumpingTest.testAim50SAT10M2BackjumpingTest.testAim50SAT10 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testAim50SAT11M2BackjumpingTest.testAim50SAT11 |
1
PASS
|
0.00800,008 |
|
| M2BackjumpingTest.testAim50UNSAT4M2BackjumpingTest.testAim50UNSAT4 |
1
PASS
|
0.0140,014 |
|
| M2BackjumpingTest.testAim50UNSAT5M2BackjumpingTest.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
| M2BackjumpingTest.testAim50UNSAT6M2BackjumpingTest.testAim50UNSAT6 |
1
PASS
|
0.00700,007 |
|
| M2BackjumpingTest.testAim50UNSAT7M2BackjumpingTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
| M2BackjumpingTest.testAim50SAT16M2BackjumpingTest.testAim50SAT16 |
1
PASS
|
0.00800,008 |
|
| M2BackjumpingTest.testAim50UNSAT1M2BackjumpingTest.testAim50UNSAT1 |
1
PASS
|
0.00900,009 |
|
| M2BackjumpingTest.testAim50UNSAT2M2BackjumpingTest.testAim50UNSAT2 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testAim50UNSAT3M2BackjumpingTest.testAim50UNSAT3 |
1
PASS
|
0.00800,008 |
|
| M2BackjumpingTest.testAim50SAT5M2BackjumpingTest.testAim50SAT5 |
1
PASS
|
0.0220,022 |
|
| M2BackjumpingTest.testAim50SAT4M2BackjumpingTest.testAim50SAT4 |
1
PASS
|
0.0230,023 |
|
| M2BackjumpingTest.testAim50SAT7M2BackjumpingTest.testAim50SAT7 |
1
PASS
|
0.010,01 |
|
| M2BackjumpingTest.testAim50SAT6M2BackjumpingTest.testAim50SAT6 |
1
PASS
|
0.020,02 |
|
| M2BackjumpingTest.testAim50SAT1M2BackjumpingTest.testAim50SAT1 |
1
PASS
|
0.1160,116 |
|
| M2BackjumpingTest.testAim50SAT3M2BackjumpingTest.testAim50SAT3 |
1
PASS
|
0.0140,014 |
|
| M2BackjumpingTest.testAim50SAT2M2BackjumpingTest.testAim50SAT2 |
1
PASS
|
0.0190,019 |
|
