M2AtLeastTest.testHole9M2AtLeastTest.testHole9 |
3
FAIL
|
300.041300,041 |
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)
|
M2AtLeastTest.testJNH49M2AtLeastTest.testJNH49 |
1
PASS
|
0.0110,011 |
|
M2AtLeastTest.testJNH50M2AtLeastTest.testJNH50 |
1
PASS
|
0.00900,009 |
|
M2AtLeastTest.testHole6M2AtLeastTest.testHole6 |
1
PASS
|
0.1540,154 |
|
M2AtLeastTest.testHole7M2AtLeastTest.testHole7 |
1
PASS
|
1.7171,717 |
|
M2AtLeastTest.testHole8M2AtLeastTest.testHole8 |
1
PASS
|
59.54559,545 |
|
M2AtLeastTest.testJNH41M2AtLeastTest.testJNH41 |
1
PASS
|
0.0250,025 |
|
M2AtLeastTest.testJNH42M2AtLeastTest.testJNH42 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH43M2AtLeastTest.testJNH43 |
1
PASS
|
0.0240,024 |
|
M2AtLeastTest.testJNH44M2AtLeastTest.testJNH44 |
1
PASS
|
0.0120,012 |
|
M2AtLeastTest.testJNH45M2AtLeastTest.testJNH45 |
1
PASS
|
0.0160,016 |
|
M2AtLeastTest.testJNH46M2AtLeastTest.testJNH46 |
1
PASS
|
0.0480,048 |
|
M2AtLeastTest.testJNH47M2AtLeastTest.testJNH47 |
1
PASS
|
0.0120,012 |
|
M2AtLeastTest.testJNH48M2AtLeastTest.testJNH48 |
1
PASS
|
0.0180,018 |
|
M2AtLeastTest.testJNH23M2AtLeastTest.testJNH23 |
1
PASS
|
0.0230,023 |
|
M2AtLeastTest.testJNH24M2AtLeastTest.testJNH24 |
1
PASS
|
0.0290,029 |
|
M2AtLeastTest.testJNH21M2AtLeastTest.testJNH21 |
1
PASS
|
0.0180,018 |
|
M2AtLeastTest.testJNH22M2AtLeastTest.testJNH22 |
1
PASS
|
0.0150,015 |
|
M2AtLeastTest.testJNH19M2AtLeastTest.testJNH19 |
1
PASS
|
0.0190,019 |
|
M2AtLeastTest.testJNH20M2AtLeastTest.testJNH20 |
1
PASS
|
0.0160,016 |
|
M2AtLeastTest.testJNH17M2AtLeastTest.testJNH17 |
1
PASS
|
0.0150,015 |
|
M2AtLeastTest.testJNH18M2AtLeastTest.testJNH18 |
1
PASS
|
0.0180,018 |
|
M2AtLeastTest.testJNH15M2AtLeastTest.testJNH15 |
1
PASS
|
0.020,02 |
|
M2AtLeastTest.testJNH16M2AtLeastTest.testJNH16 |
1
PASS
|
0.1530,153 |
|
M2AtLeastTest.testJNH13M2AtLeastTest.testJNH13 |
1
PASS
|
0.0150,015 |
|
M2AtLeastTest.testJNH14M2AtLeastTest.testJNH14 |
1
PASS
|
0.0140,014 |
|
M2AtLeastTest.testJNH11M2AtLeastTest.testJNH11 |
1
PASS
|
0.0250,025 |
|
M2AtLeastTest.testJNH12M2AtLeastTest.testJNH12 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH9M2AtLeastTest.testJNH9 |
1
PASS
|
0.0150,015 |
|
M2AtLeastTest.testJNH10M2AtLeastTest.testJNH10 |
1
PASS
|
0.0180,018 |
|
M2AtLeastTest.testJNH40M2AtLeastTest.testJNH40 |
1
PASS
|
0.0240,024 |
|
M2AtLeastTest.testJNH39M2AtLeastTest.testJNH39 |
1
PASS
|
0.0190,019 |
|
M2AtLeastTest.testJNH38M2AtLeastTest.testJNH38 |
1
PASS
|
0.0140,014 |
|
M2AtLeastTest.testJNH37M2AtLeastTest.testJNH37 |
1
PASS
|
0.0430,043 |
|
M2AtLeastTest.testJNH36M2AtLeastTest.testJNH36 |
1
PASS
|
0.0190,019 |
|
M2AtLeastTest.testJNH35M2AtLeastTest.testJNH35 |
1
PASS
|
0.0170,017 |
|
M2AtLeastTest.testJNH34M2AtLeastTest.testJNH34 |
1
PASS
|
0.0170,017 |
|
M2AtLeastTest.testJNH33M2AtLeastTest.testJNH33 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH32M2AtLeastTest.testJNH32 |
1
PASS
|
0.0290,029 |
|
M2AtLeastTest.testJNH31M2AtLeastTest.testJNH31 |
1
PASS
|
0.0160,016 |
|
M2AtLeastTest.testJNH30M2AtLeastTest.testJNH30 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH29M2AtLeastTest.testJNH29 |
1
PASS
|
0.0110,011 |
|
M2AtLeastTest.testJNH28M2AtLeastTest.testJNH28 |
1
PASS
|
0.0180,018 |
|
M2AtLeastTest.testJNH27M2AtLeastTest.testJNH27 |
1
PASS
|
0.0120,012 |
|
M2AtLeastTest.testJNH26M2AtLeastTest.testJNH26 |
1
PASS
|
0.0230,023 |
|
M2AtLeastTest.testJNH25M2AtLeastTest.testJNH25 |
1
PASS
|
0.020,02 |
|
M2AtLeastTest.testIi12M2AtLeastTest.testIi12 |
1
PASS
|
0.0370,037 |
|
M2AtLeastTest.testIi13M2AtLeastTest.testIi13 |
1
PASS
|
0.0240,024 |
|
M2AtLeastTest.testIi14M2AtLeastTest.testIi14 |
1
PASS
|
0.0840,084 |
|
M2AtLeastTest.testIi15M2AtLeastTest.testIi15 |
1
PASS
|
0.1470,147 |
|
M2AtLeastTest.testIi8M2AtLeastTest.testIi8 |
1
PASS
|
0.040,04 |
|
M2AtLeastTest.testIi9M2AtLeastTest.testIi9 |
1
PASS
|
0.0260,026 |
|
M2AtLeastTest.testIi10M2AtLeastTest.testIi10 |
1
PASS
|
0.0340,034 |
|
M2AtLeastTest.testIi11M2AtLeastTest.testIi11 |
1
PASS
|
0.0240,024 |
|
M2AtLeastTest.testIi4M2AtLeastTest.testIi4 |
1
PASS
|
0.0210,021 |
|
M2AtLeastTest.testIi5M2AtLeastTest.testIi5 |
1
PASS
|
0.0170,017 |
|
M2AtLeastTest.testIi6M2AtLeastTest.testIi6 |
1
PASS
|
0.0240,024 |
|
M2AtLeastTest.testIi7M2AtLeastTest.testIi7 |
1
PASS
|
0.0320,032 |
|
M2AtLeastTest.testAim50UNSAT8M2AtLeastTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testIi1M2AtLeastTest.testIi1 |
1
PASS
|
0.0210,021 |
|
M2AtLeastTest.testIi2M2AtLeastTest.testIi2 |
1
PASS
|
0.010,01 |
|
M2AtLeastTest.testIi3M2AtLeastTest.testIi3 |
1
PASS
|
0.0140,014 |
|
M2AtLeastTest.testJNH6M2AtLeastTest.testJNH6 |
1
PASS
|
0.0250,025 |
|
M2AtLeastTest.testJNH5M2AtLeastTest.testJNH5 |
1
PASS
|
0.0310,031 |
|
M2AtLeastTest.testJNH8M2AtLeastTest.testJNH8 |
1
PASS
|
0.0160,016 |
|
M2AtLeastTest.testJNH7M2AtLeastTest.testJNH7 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH2M2AtLeastTest.testJNH2 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH1M2AtLeastTest.testJNH1 |
1
PASS
|
0.0130,013 |
|
M2AtLeastTest.testJNH4M2AtLeastTest.testJNH4 |
1
PASS
|
0.0150,015 |
|
M2AtLeastTest.testJNH3M2AtLeastTest.testJNH3 |
1
PASS
|
0.0410,041 |
|
M2AtLeastTest.testIi22M2AtLeastTest.testIi22 |
1
PASS
|
0.0970,097 |
|
M2AtLeastTest.testIi21M2AtLeastTest.testIi21 |
1
PASS
|
0.1010,101 |
|
M2AtLeastTest.testIi24M2AtLeastTest.testIi24 |
1
PASS
|
0.0780,078 |
|
M2AtLeastTest.testIi23M2AtLeastTest.testIi23 |
1
PASS
|
0.1680,168 |
|
M2AtLeastTest.testIi17M2AtLeastTest.testIi17 |
1
PASS
|
0.1460,146 |
|
M2AtLeastTest.testIi16M2AtLeastTest.testIi16 |
1
PASS
|
0.1410,141 |
|
M2AtLeastTest.testIi20M2AtLeastTest.testIi20 |
1
PASS
|
0.3760,376 |
|
M2AtLeastTest.testIi18M2AtLeastTest.testIi18 |
1
PASS
|
0.0890,089 |
|
M2AtLeastTest.testAim50SAT12M2AtLeastTest.testAim50SAT12 |
1
PASS
|
0.00900,009 |
|
M2AtLeastTest.testAim50SAT13M2AtLeastTest.testAim50SAT13 |
1
PASS
|
0.0140,014 |
|
M2AtLeastTest.testAim50SAT14M2AtLeastTest.testAim50SAT14 |
1
PASS
|
0.00800,008 |
|
M2AtLeastTest.testAim50SAT15M2AtLeastTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
M2AtLeastTest.testAim50SAT8M2AtLeastTest.testAim50SAT8 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50SAT9M2AtLeastTest.testAim50SAT9 |
1
PASS
|
0.0110,011 |
|
M2AtLeastTest.testAim50SAT10M2AtLeastTest.testAim50SAT10 |
1
PASS
|
0.00800,008 |
|
M2AtLeastTest.testAim50SAT11M2AtLeastTest.testAim50SAT11 |
1
PASS
|
0.010,01 |
|
M2AtLeastTest.testAim50UNSAT4M2AtLeastTest.testAim50UNSAT4 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50UNSAT5M2AtLeastTest.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50UNSAT6M2AtLeastTest.testAim50UNSAT6 |
1
PASS
|
0.00800,008 |
|
M2AtLeastTest.testAim50UNSAT7M2AtLeastTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50SAT16M2AtLeastTest.testAim50SAT16 |
1
PASS
|
0.00900,009 |
|
M2AtLeastTest.testAim50UNSAT1M2AtLeastTest.testAim50UNSAT1 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50UNSAT2M2AtLeastTest.testAim50UNSAT2 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50UNSAT3M2AtLeastTest.testAim50UNSAT3 |
1
PASS
|
0.00700,007 |
|
M2AtLeastTest.testAim50SAT5M2AtLeastTest.testAim50SAT5 |
1
PASS
|
0.0170,017 |
|
M2AtLeastTest.testAim50SAT4M2AtLeastTest.testAim50SAT4 |
1
PASS
|
0.0360,036 |
|
M2AtLeastTest.testAim50SAT7M2AtLeastTest.testAim50SAT7 |
1
PASS
|
0.0120,012 |
|
M2AtLeastTest.testAim50SAT6M2AtLeastTest.testAim50SAT6 |
1
PASS
|
0.0110,011 |
|
M2AtLeastTest.testAim50SAT1M2AtLeastTest.testAim50SAT1 |
1
PASS
|
0.4550,455 |
|
M2AtLeastTest.testAim50SAT3M2AtLeastTest.testAim50SAT3 |
1
PASS
|
0.0110,011 |
|
M2AtLeastTest.testAim50SAT2M2AtLeastTest.testAim50SAT2 |
1
PASS
|
0.0150,015 |
|