M2MiniLearningCBTest.testHole9M2MiniLearningCBTest.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)
|
M2MiniLearningCBTest.testJNH49M2MiniLearningCBTest.testJNH49 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH50M2MiniLearningCBTest.testJNH50 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testHole6M2MiniLearningCBTest.testHole6 |
1
PASS
|
0.1090,109 |
|
M2MiniLearningCBTest.testHole7M2MiniLearningCBTest.testHole7 |
1
PASS
|
1.8631,863 |
|
M2MiniLearningCBTest.testHole8M2MiniLearningCBTest.testHole8 |
1
PASS
|
52.18952,189 |
|
M2MiniLearningCBTest.testJNH41M2MiniLearningCBTest.testJNH41 |
1
PASS
|
0.0290,029 |
|
M2MiniLearningCBTest.testJNH42M2MiniLearningCBTest.testJNH42 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH43M2MiniLearningCBTest.testJNH43 |
1
PASS
|
0.0190,019 |
|
M2MiniLearningCBTest.testJNH44M2MiniLearningCBTest.testJNH44 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testJNH45M2MiniLearningCBTest.testJNH45 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH46M2MiniLearningCBTest.testJNH46 |
1
PASS
|
0.0360,036 |
|
M2MiniLearningCBTest.testJNH47M2MiniLearningCBTest.testJNH47 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testJNH48M2MiniLearningCBTest.testJNH48 |
1
PASS
|
0.0170,017 |
|
M2MiniLearningCBTest.testJNH23M2MiniLearningCBTest.testJNH23 |
1
PASS
|
0.0190,019 |
|
M2MiniLearningCBTest.testJNH24M2MiniLearningCBTest.testJNH24 |
1
PASS
|
0.0250,025 |
|
M2MiniLearningCBTest.testJNH21M2MiniLearningCBTest.testJNH21 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH22M2MiniLearningCBTest.testJNH22 |
1
PASS
|
0.0140,014 |
|
M2MiniLearningCBTest.testJNH19M2MiniLearningCBTest.testJNH19 |
1
PASS
|
0.0180,018 |
|
M2MiniLearningCBTest.testJNH20M2MiniLearningCBTest.testJNH20 |
1
PASS
|
0.0140,014 |
|
M2MiniLearningCBTest.testJNH17M2MiniLearningCBTest.testJNH17 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH18M2MiniLearningCBTest.testJNH18 |
1
PASS
|
0.0160,016 |
|
M2MiniLearningCBTest.testJNH15M2MiniLearningCBTest.testJNH15 |
1
PASS
|
0.0160,016 |
|
M2MiniLearningCBTest.testJNH16M2MiniLearningCBTest.testJNH16 |
1
PASS
|
0.1320,132 |
|
M2MiniLearningCBTest.testJNH13M2MiniLearningCBTest.testJNH13 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH14M2MiniLearningCBTest.testJNH14 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH11M2MiniLearningCBTest.testJNH11 |
1
PASS
|
0.0230,023 |
|
M2MiniLearningCBTest.testJNH12M2MiniLearningCBTest.testJNH12 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH9M2MiniLearningCBTest.testJNH9 |
1
PASS
|
0.0140,014 |
|
M2MiniLearningCBTest.testJNH10M2MiniLearningCBTest.testJNH10 |
1
PASS
|
0.0160,016 |
|
M2MiniLearningCBTest.testJNH40M2MiniLearningCBTest.testJNH40 |
1
PASS
|
0.0410,041 |
|
M2MiniLearningCBTest.testJNH39M2MiniLearningCBTest.testJNH39 |
1
PASS
|
0.020,02 |
|
M2MiniLearningCBTest.testJNH38M2MiniLearningCBTest.testJNH38 |
1
PASS
|
0.0140,014 |
|
M2MiniLearningCBTest.testJNH37M2MiniLearningCBTest.testJNH37 |
1
PASS
|
0.0220,022 |
|
M2MiniLearningCBTest.testJNH36M2MiniLearningCBTest.testJNH36 |
1
PASS
|
0.0170,017 |
|
M2MiniLearningCBTest.testJNH35M2MiniLearningCBTest.testJNH35 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH34M2MiniLearningCBTest.testJNH34 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH33M2MiniLearningCBTest.testJNH33 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testJNH32M2MiniLearningCBTest.testJNH32 |
1
PASS
|
0.0260,026 |
|
M2MiniLearningCBTest.testJNH31M2MiniLearningCBTest.testJNH31 |
1
PASS
|
0.0140,014 |
|
M2MiniLearningCBTest.testJNH30M2MiniLearningCBTest.testJNH30 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH29M2MiniLearningCBTest.testJNH29 |
1
PASS
|
0.0110,011 |
|
M2MiniLearningCBTest.testJNH28M2MiniLearningCBTest.testJNH28 |
1
PASS
|
0.020,02 |
|
M2MiniLearningCBTest.testJNH27M2MiniLearningCBTest.testJNH27 |
1
PASS
|
0.0110,011 |
|
M2MiniLearningCBTest.testJNH26M2MiniLearningCBTest.testJNH26 |
1
PASS
|
0.0190,019 |
|
M2MiniLearningCBTest.testJNH25M2MiniLearningCBTest.testJNH25 |
1
PASS
|
0.0170,017 |
|
M2MiniLearningCBTest.testIi12M2MiniLearningCBTest.testIi12 |
1
PASS
|
0.0370,037 |
|
M2MiniLearningCBTest.testIi13M2MiniLearningCBTest.testIi13 |
1
PASS
|
0.0230,023 |
|
M2MiniLearningCBTest.testIi14M2MiniLearningCBTest.testIi14 |
1
PASS
|
0.0330,033 |
|
M2MiniLearningCBTest.testIi15M2MiniLearningCBTest.testIi15 |
1
PASS
|
0.5820,582 |
|
M2MiniLearningCBTest.testIi8M2MiniLearningCBTest.testIi8 |
1
PASS
|
0.0380,038 |
|
M2MiniLearningCBTest.testIi9M2MiniLearningCBTest.testIi9 |
1
PASS
|
0.0260,026 |
|
M2MiniLearningCBTest.testIi10M2MiniLearningCBTest.testIi10 |
1
PASS
|
0.0320,032 |
|
M2MiniLearningCBTest.testIi11M2MiniLearningCBTest.testIi11 |
1
PASS
|
0.0230,023 |
|
M2MiniLearningCBTest.testIi4M2MiniLearningCBTest.testIi4 |
1
PASS
|
0.020,02 |
|
M2MiniLearningCBTest.testIi5M2MiniLearningCBTest.testIi5 |
1
PASS
|
0.0160,016 |
|
M2MiniLearningCBTest.testIi6M2MiniLearningCBTest.testIi6 |
1
PASS
|
0.0270,027 |
|
M2MiniLearningCBTest.testIi7M2MiniLearningCBTest.testIi7 |
1
PASS
|
0.030,03 |
|
M2MiniLearningCBTest.testAim50UNSAT8M2MiniLearningCBTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testIi1M2MiniLearningCBTest.testIi1 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testIi2M2MiniLearningCBTest.testIi2 |
1
PASS
|
0.010,01 |
|
M2MiniLearningCBTest.testIi3M2MiniLearningCBTest.testIi3 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH6M2MiniLearningCBTest.testJNH6 |
1
PASS
|
0.0220,022 |
|
M2MiniLearningCBTest.testJNH5M2MiniLearningCBTest.testJNH5 |
1
PASS
|
0.020,02 |
|
M2MiniLearningCBTest.testJNH8M2MiniLearningCBTest.testJNH8 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testJNH7M2MiniLearningCBTest.testJNH7 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testJNH2M2MiniLearningCBTest.testJNH2 |
1
PASS
|
0.0120,012 |
|
M2MiniLearningCBTest.testJNH1M2MiniLearningCBTest.testJNH1 |
1
PASS
|
0.0170,017 |
|
M2MiniLearningCBTest.testJNH4M2MiniLearningCBTest.testJNH4 |
1
PASS
|
0.0150,015 |
|
M2MiniLearningCBTest.testJNH3M2MiniLearningCBTest.testJNH3 |
1
PASS
|
0.0360,036 |
|
M2MiniLearningCBTest.testIi22M2MiniLearningCBTest.testIi22 |
1
PASS
|
0.1550,155 |
|
M2MiniLearningCBTest.testIi21M2MiniLearningCBTest.testIi21 |
1
PASS
|
0.1220,122 |
|
M2MiniLearningCBTest.testIi24M2MiniLearningCBTest.testIi24 |
1
PASS
|
0.0660,066 |
|
M2MiniLearningCBTest.testIi23M2MiniLearningCBTest.testIi23 |
1
PASS
|
0.1110,111 |
|
M2MiniLearningCBTest.testIi17M2MiniLearningCBTest.testIi17 |
1
PASS
|
0.1270,127 |
|
M2MiniLearningCBTest.testIi16M2MiniLearningCBTest.testIi16 |
1
PASS
|
0.1050,105 |
|
M2MiniLearningCBTest.testIi20M2MiniLearningCBTest.testIi20 |
1
PASS
|
0.3710,371 |
|
M2MiniLearningCBTest.testIi18M2MiniLearningCBTest.testIi18 |
1
PASS
|
0.0840,084 |
|
M2MiniLearningCBTest.testAim50SAT12M2MiniLearningCBTest.testAim50SAT12 |
1
PASS
|
0.00900,009 |
|
M2MiniLearningCBTest.testAim50SAT13M2MiniLearningCBTest.testAim50SAT13 |
1
PASS
|
0.0130,013 |
|
M2MiniLearningCBTest.testAim50SAT14M2MiniLearningCBTest.testAim50SAT14 |
1
PASS
|
0.00900,009 |
|
M2MiniLearningCBTest.testAim50SAT15M2MiniLearningCBTest.testAim50SAT15 |
1
PASS
|
0.00800,008 |
|
M2MiniLearningCBTest.testAim50SAT8M2MiniLearningCBTest.testAim50SAT8 |
1
PASS
|
0.00800,008 |
|
M2MiniLearningCBTest.testAim50SAT9M2MiniLearningCBTest.testAim50SAT9 |
1
PASS
|
0.0110,011 |
|
M2MiniLearningCBTest.testAim50SAT10M2MiniLearningCBTest.testAim50SAT10 |
1
PASS
|
0.00800,008 |
|
M2MiniLearningCBTest.testAim50SAT11M2MiniLearningCBTest.testAim50SAT11 |
1
PASS
|
0.010,01 |
|
M2MiniLearningCBTest.testAim50UNSAT4M2MiniLearningCBTest.testAim50UNSAT4 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testAim50UNSAT5M2MiniLearningCBTest.testAim50UNSAT5 |
1
PASS
|
0.00600,006 |
|
M2MiniLearningCBTest.testAim50UNSAT6M2MiniLearningCBTest.testAim50UNSAT6 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testAim50UNSAT7M2MiniLearningCBTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testAim50SAT16M2MiniLearningCBTest.testAim50SAT16 |
1
PASS
|
0.00800,008 |
|
M2MiniLearningCBTest.testAim50UNSAT1M2MiniLearningCBTest.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testAim50UNSAT2M2MiniLearningCBTest.testAim50UNSAT2 |
1
PASS
|
0.00800,008 |
|
M2MiniLearningCBTest.testAim50UNSAT3M2MiniLearningCBTest.testAim50UNSAT3 |
1
PASS
|
0.00700,007 |
|
M2MiniLearningCBTest.testAim50SAT5M2MiniLearningCBTest.testAim50SAT5 |
1
PASS
|
0.0220,022 |
|
M2MiniLearningCBTest.testAim50SAT4M2MiniLearningCBTest.testAim50SAT4 |
1
PASS
|
0.0180,018 |
|
M2MiniLearningCBTest.testAim50SAT7M2MiniLearningCBTest.testAim50SAT7 |
1
PASS
|
0.010,01 |
|
M2MiniLearningCBTest.testAim50SAT6M2MiniLearningCBTest.testAim50SAT6 |
1
PASS
|
0.010,01 |
|
M2MiniLearningCBTest.testAim50SAT1M2MiniLearningCBTest.testAim50SAT1 |
1
PASS
|
0.1260,126 |
|
M2MiniLearningCBTest.testAim50SAT3M2MiniLearningCBTest.testAim50SAT3 |
1
PASS
|
0.0110,011 |
|
M2MiniLearningCBTest.testAim50SAT2M2MiniLearningCBTest.testAim50SAT2 |
1
PASS
|
0.0180,018 |
|