| M2MiniActiveLearningTest.testHole9M2MiniActiveLearningTest.testHole9 |
3
FAIL
|
300.023300,023 |
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)
|
| M2MiniActiveLearningTest.testJNH49M2MiniActiveLearningTest.testJNH49 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH50M2MiniActiveLearningTest.testJNH50 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testHole6M2MiniActiveLearningTest.testHole6 |
1
PASS
|
0.1210,121 |
|
| M2MiniActiveLearningTest.testHole7M2MiniActiveLearningTest.testHole7 |
1
PASS
|
1.9551,955 |
|
| M2MiniActiveLearningTest.testHole8M2MiniActiveLearningTest.testHole8 |
1
PASS
|
26.50926,509 |
|
| M2MiniActiveLearningTest.testJNH41M2MiniActiveLearningTest.testJNH41 |
1
PASS
|
0.0230,023 |
|
| M2MiniActiveLearningTest.testJNH42M2MiniActiveLearningTest.testJNH42 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH43M2MiniActiveLearningTest.testJNH43 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testJNH44M2MiniActiveLearningTest.testJNH44 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH45M2MiniActiveLearningTest.testJNH45 |
1
PASS
|
0.0140,014 |
|
| M2MiniActiveLearningTest.testJNH46M2MiniActiveLearningTest.testJNH46 |
1
PASS
|
0.0240,024 |
|
| M2MiniActiveLearningTest.testJNH47M2MiniActiveLearningTest.testJNH47 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH48M2MiniActiveLearningTest.testJNH48 |
1
PASS
|
0.020,02 |
|
| M2MiniActiveLearningTest.testJNH23M2MiniActiveLearningTest.testJNH23 |
1
PASS
|
0.0160,016 |
|
| M2MiniActiveLearningTest.testJNH24M2MiniActiveLearningTest.testJNH24 |
1
PASS
|
0.0170,017 |
|
| M2MiniActiveLearningTest.testJNH21M2MiniActiveLearningTest.testJNH21 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH22M2MiniActiveLearningTest.testJNH22 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH19M2MiniActiveLearningTest.testJNH19 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testJNH20M2MiniActiveLearningTest.testJNH20 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH17M2MiniActiveLearningTest.testJNH17 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH18M2MiniActiveLearningTest.testJNH18 |
1
PASS
|
0.0140,014 |
|
| M2MiniActiveLearningTest.testJNH15M2MiniActiveLearningTest.testJNH15 |
1
PASS
|
0.0140,014 |
|
| M2MiniActiveLearningTest.testJNH16M2MiniActiveLearningTest.testJNH16 |
1
PASS
|
0.0750,075 |
|
| M2MiniActiveLearningTest.testJNH13M2MiniActiveLearningTest.testJNH13 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH14M2MiniActiveLearningTest.testJNH14 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH11M2MiniActiveLearningTest.testJNH11 |
1
PASS
|
0.0170,017 |
|
| M2MiniActiveLearningTest.testJNH12M2MiniActiveLearningTest.testJNH12 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH9M2MiniActiveLearningTest.testJNH9 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH10M2MiniActiveLearningTest.testJNH10 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH40M2MiniActiveLearningTest.testJNH40 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testJNH39M2MiniActiveLearningTest.testJNH39 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testJNH38M2MiniActiveLearningTest.testJNH38 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH37M2MiniActiveLearningTest.testJNH37 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testJNH36M2MiniActiveLearningTest.testJNH36 |
1
PASS
|
0.0160,016 |
|
| M2MiniActiveLearningTest.testJNH35M2MiniActiveLearningTest.testJNH35 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH34M2MiniActiveLearningTest.testJNH34 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH33M2MiniActiveLearningTest.testJNH33 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH32M2MiniActiveLearningTest.testJNH32 |
1
PASS
|
0.0160,016 |
|
| M2MiniActiveLearningTest.testJNH31M2MiniActiveLearningTest.testJNH31 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH30M2MiniActiveLearningTest.testJNH30 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH29M2MiniActiveLearningTest.testJNH29 |
1
PASS
|
0.0110,011 |
|
| M2MiniActiveLearningTest.testJNH28M2MiniActiveLearningTest.testJNH28 |
1
PASS
|
0.0140,014 |
|
| M2MiniActiveLearningTest.testJNH27M2MiniActiveLearningTest.testJNH27 |
1
PASS
|
0.0110,011 |
|
| M2MiniActiveLearningTest.testJNH26M2MiniActiveLearningTest.testJNH26 |
1
PASS
|
0.0180,018 |
|
| M2MiniActiveLearningTest.testJNH25M2MiniActiveLearningTest.testJNH25 |
1
PASS
|
0.0150,015 |
|
| M2MiniActiveLearningTest.testIi12M2MiniActiveLearningTest.testIi12 |
1
PASS
|
0.0320,032 |
|
| M2MiniActiveLearningTest.testIi13M2MiniActiveLearningTest.testIi13 |
1
PASS
|
0.020,02 |
|
| M2MiniActiveLearningTest.testIi14M2MiniActiveLearningTest.testIi14 |
1
PASS
|
0.0310,031 |
|
| M2MiniActiveLearningTest.testIi15M2MiniActiveLearningTest.testIi15 |
1
PASS
|
0.1830,183 |
|
| M2MiniActiveLearningTest.testIi8M2MiniActiveLearningTest.testIi8 |
1
PASS
|
0.040,04 |
|
| M2MiniActiveLearningTest.testIi9M2MiniActiveLearningTest.testIi9 |
1
PASS
|
0.0180,018 |
|
| M2MiniActiveLearningTest.testIi10M2MiniActiveLearningTest.testIi10 |
1
PASS
|
0.0310,031 |
|
| M2MiniActiveLearningTest.testIi11M2MiniActiveLearningTest.testIi11 |
1
PASS
|
0.020,02 |
|
| M2MiniActiveLearningTest.testIi4M2MiniActiveLearningTest.testIi4 |
1
PASS
|
0.020,02 |
|
| M2MiniActiveLearningTest.testIi5M2MiniActiveLearningTest.testIi5 |
1
PASS
|
0.0170,017 |
|
| M2MiniActiveLearningTest.testIi6M2MiniActiveLearningTest.testIi6 |
1
PASS
|
0.0220,022 |
|
| M2MiniActiveLearningTest.testIi7M2MiniActiveLearningTest.testIi7 |
1
PASS
|
0.0290,029 |
|
| M2MiniActiveLearningTest.testAim50UNSAT8M2MiniActiveLearningTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testIi1M2MiniActiveLearningTest.testIi1 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testIi2M2MiniActiveLearningTest.testIi2 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testIi3M2MiniActiveLearningTest.testIi3 |
1
PASS
|
0.0170,017 |
|
| M2MiniActiveLearningTest.testJNH6M2MiniActiveLearningTest.testJNH6 |
1
PASS
|
0.0170,017 |
|
| M2MiniActiveLearningTest.testJNH5M2MiniActiveLearningTest.testJNH5 |
1
PASS
|
0.0160,016 |
|
| M2MiniActiveLearningTest.testJNH8M2MiniActiveLearningTest.testJNH8 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH7M2MiniActiveLearningTest.testJNH7 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH2M2MiniActiveLearningTest.testJNH2 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testJNH1M2MiniActiveLearningTest.testJNH1 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH4M2MiniActiveLearningTest.testJNH4 |
1
PASS
|
0.0130,013 |
|
| M2MiniActiveLearningTest.testJNH3M2MiniActiveLearningTest.testJNH3 |
1
PASS
|
0.0180,018 |
|
| M2MiniActiveLearningTest.testIi22M2MiniActiveLearningTest.testIi22 |
1
PASS
|
0.0640,064 |
|
| M2MiniActiveLearningTest.testIi21M2MiniActiveLearningTest.testIi21 |
1
PASS
|
0.0930,093 |
|
| M2MiniActiveLearningTest.testIi24M2MiniActiveLearningTest.testIi24 |
1
PASS
|
0.0530,053 |
|
| M2MiniActiveLearningTest.testIi23M2MiniActiveLearningTest.testIi23 |
1
PASS
|
0.0960,096 |
|
| M2MiniActiveLearningTest.testIi17M2MiniActiveLearningTest.testIi17 |
1
PASS
|
0.1040,104 |
|
| M2MiniActiveLearningTest.testIi16M2MiniActiveLearningTest.testIi16 |
1
PASS
|
0.1010,101 |
|
| M2MiniActiveLearningTest.testIi20M2MiniActiveLearningTest.testIi20 |
1
PASS
|
0.1030,103 |
|
| M2MiniActiveLearningTest.testIi18M2MiniActiveLearningTest.testIi18 |
1
PASS
|
0.0690,069 |
|
| M2MiniActiveLearningTest.testAim50SAT12M2MiniActiveLearningTest.testAim50SAT12 |
1
PASS
|
0.010,01 |
|
| M2MiniActiveLearningTest.testAim50SAT13M2MiniActiveLearningTest.testAim50SAT13 |
1
PASS
|
0.0160,016 |
|
| M2MiniActiveLearningTest.testAim50SAT14M2MiniActiveLearningTest.testAim50SAT14 |
1
PASS
|
0.010,01 |
|
| M2MiniActiveLearningTest.testAim50SAT15M2MiniActiveLearningTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
| M2MiniActiveLearningTest.testAim50SAT8M2MiniActiveLearningTest.testAim50SAT8 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testAim50SAT9M2MiniActiveLearningTest.testAim50SAT9 |
1
PASS
|
0.0140,014 |
|
| M2MiniActiveLearningTest.testAim50SAT10M2MiniActiveLearningTest.testAim50SAT10 |
1
PASS
|
0.010,01 |
|
| M2MiniActiveLearningTest.testAim50SAT11M2MiniActiveLearningTest.testAim50SAT11 |
1
PASS
|
0.00900,009 |
|
| M2MiniActiveLearningTest.testAim50UNSAT4M2MiniActiveLearningTest.testAim50UNSAT4 |
1
PASS
|
0.00800,008 |
|
| M2MiniActiveLearningTest.testAim50UNSAT5M2MiniActiveLearningTest.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testAim50UNSAT6M2MiniActiveLearningTest.testAim50UNSAT6 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testAim50UNSAT7M2MiniActiveLearningTest.testAim50UNSAT7 |
1
PASS
|
0.00800,008 |
|
| M2MiniActiveLearningTest.testAim50SAT16M2MiniActiveLearningTest.testAim50SAT16 |
1
PASS
|
0.00900,009 |
|
| M2MiniActiveLearningTest.testAim50UNSAT1M2MiniActiveLearningTest.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testAim50UNSAT2M2MiniActiveLearningTest.testAim50UNSAT2 |
1
PASS
|
0.00800,008 |
|
| M2MiniActiveLearningTest.testAim50UNSAT3M2MiniActiveLearningTest.testAim50UNSAT3 |
1
PASS
|
0.00700,007 |
|
| M2MiniActiveLearningTest.testAim50SAT5M2MiniActiveLearningTest.testAim50SAT5 |
1
PASS
|
0.0180,018 |
|
| M2MiniActiveLearningTest.testAim50SAT4M2MiniActiveLearningTest.testAim50SAT4 |
1
PASS
|
0.0390,039 |
|
| M2MiniActiveLearningTest.testAim50SAT7M2MiniActiveLearningTest.testAim50SAT7 |
1
PASS
|
0.0110,011 |
|
| M2MiniActiveLearningTest.testAim50SAT6M2MiniActiveLearningTest.testAim50SAT6 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testAim50SAT1M2MiniActiveLearningTest.testAim50SAT1 |
1
PASS
|
0.1290,129 |
|
| M2MiniActiveLearningTest.testAim50SAT3M2MiniActiveLearningTest.testAim50SAT3 |
1
PASS
|
0.0120,012 |
|
| M2MiniActiveLearningTest.testAim50SAT2M2MiniActiveLearningTest.testAim50SAT2 |
1
PASS
|
0.0160,016 |
|
