M2CardMaxYannTest.testHole9M2CardMaxYannTest.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)
|
M2CardMaxYannTest.testJNH49M2CardMaxYannTest.testJNH49 |
1
PASS
|
0.0110,011 |
|
M2CardMaxYannTest.testJNH50M2CardMaxYannTest.testJNH50 |
1
PASS
|
0.010,01 |
|
M2CardMaxYannTest.testHole6M2CardMaxYannTest.testHole6 |
1
PASS
|
0.1440,144 |
|
M2CardMaxYannTest.testHole7M2CardMaxYannTest.testHole7 |
1
PASS
|
2.8162,816 |
|
M2CardMaxYannTest.testHole8M2CardMaxYannTest.testHole8 |
1
PASS
|
47.98347,983 |
|
M2CardMaxYannTest.testJNH41M2CardMaxYannTest.testJNH41 |
1
PASS
|
0.0240,024 |
|
M2CardMaxYannTest.testJNH42M2CardMaxYannTest.testJNH42 |
1
PASS
|
0.010,01 |
|
M2CardMaxYannTest.testJNH43M2CardMaxYannTest.testJNH43 |
1
PASS
|
0.0240,024 |
|
M2CardMaxYannTest.testJNH44M2CardMaxYannTest.testJNH44 |
1
PASS
|
0.0110,011 |
|
M2CardMaxYannTest.testJNH45M2CardMaxYannTest.testJNH45 |
1
PASS
|
0.0150,015 |
|
M2CardMaxYannTest.testJNH46M2CardMaxYannTest.testJNH46 |
1
PASS
|
0.0540,054 |
|
M2CardMaxYannTest.testJNH47M2CardMaxYannTest.testJNH47 |
1
PASS
|
0.010,01 |
|
M2CardMaxYannTest.testJNH48M2CardMaxYannTest.testJNH48 |
1
PASS
|
0.0170,017 |
|
M2CardMaxYannTest.testJNH23M2CardMaxYannTest.testJNH23 |
1
PASS
|
0.0230,023 |
|
M2CardMaxYannTest.testJNH24M2CardMaxYannTest.testJNH24 |
1
PASS
|
0.0290,029 |
|
M2CardMaxYannTest.testJNH21M2CardMaxYannTest.testJNH21 |
1
PASS
|
0.0170,017 |
|
M2CardMaxYannTest.testJNH22M2CardMaxYannTest.testJNH22 |
1
PASS
|
0.0140,014 |
|
M2CardMaxYannTest.testJNH19M2CardMaxYannTest.testJNH19 |
1
PASS
|
0.0180,018 |
|
M2CardMaxYannTest.testJNH20M2CardMaxYannTest.testJNH20 |
1
PASS
|
0.0190,019 |
|
M2CardMaxYannTest.testJNH17M2CardMaxYannTest.testJNH17 |
1
PASS
|
0.0140,014 |
|
M2CardMaxYannTest.testJNH18M2CardMaxYannTest.testJNH18 |
1
PASS
|
0.020,02 |
|
M2CardMaxYannTest.testJNH15M2CardMaxYannTest.testJNH15 |
1
PASS
|
0.0180,018 |
|
M2CardMaxYannTest.testJNH16M2CardMaxYannTest.testJNH16 |
1
PASS
|
0.1640,164 |
|
M2CardMaxYannTest.testJNH13M2CardMaxYannTest.testJNH13 |
1
PASS
|
0.0150,015 |
|
M2CardMaxYannTest.testJNH14M2CardMaxYannTest.testJNH14 |
1
PASS
|
0.0130,013 |
|
M2CardMaxYannTest.testJNH11M2CardMaxYannTest.testJNH11 |
1
PASS
|
0.0250,025 |
|
M2CardMaxYannTest.testJNH12M2CardMaxYannTest.testJNH12 |
1
PASS
|
0.0120,012 |
|
M2CardMaxYannTest.testJNH9M2CardMaxYannTest.testJNH9 |
1
PASS
|
0.0140,014 |
|
M2CardMaxYannTest.testJNH10M2CardMaxYannTest.testJNH10 |
1
PASS
|
0.0190,019 |
|
M2CardMaxYannTest.testJNH40M2CardMaxYannTest.testJNH40 |
1
PASS
|
0.0220,022 |
|
M2CardMaxYannTest.testJNH39M2CardMaxYannTest.testJNH39 |
1
PASS
|
0.0190,019 |
|
M2CardMaxYannTest.testJNH38M2CardMaxYannTest.testJNH38 |
1
PASS
|
0.0130,013 |
|
M2CardMaxYannTest.testJNH37M2CardMaxYannTest.testJNH37 |
1
PASS
|
0.0240,024 |
|
M2CardMaxYannTest.testJNH36M2CardMaxYannTest.testJNH36 |
1
PASS
|
0.0180,018 |
|
M2CardMaxYannTest.testJNH35M2CardMaxYannTest.testJNH35 |
1
PASS
|
0.0120,012 |
|
M2CardMaxYannTest.testJNH34M2CardMaxYannTest.testJNH34 |
1
PASS
|
0.0170,017 |
|
M2CardMaxYannTest.testJNH33M2CardMaxYannTest.testJNH33 |
1
PASS
|
0.0130,013 |
|
M2CardMaxYannTest.testJNH32M2CardMaxYannTest.testJNH32 |
1
PASS
|
0.0280,028 |
|
M2CardMaxYannTest.testJNH31M2CardMaxYannTest.testJNH31 |
1
PASS
|
0.0160,016 |
|
M2CardMaxYannTest.testJNH30M2CardMaxYannTest.testJNH30 |
1
PASS
|
0.0130,013 |
|
M2CardMaxYannTest.testJNH29M2CardMaxYannTest.testJNH29 |
1
PASS
|
0.0240,024 |
|
M2CardMaxYannTest.testJNH28M2CardMaxYannTest.testJNH28 |
1
PASS
|
0.0180,018 |
|
M2CardMaxYannTest.testJNH27M2CardMaxYannTest.testJNH27 |
1
PASS
|
0.0110,011 |
|
M2CardMaxYannTest.testJNH26M2CardMaxYannTest.testJNH26 |
1
PASS
|
0.0240,024 |
|
M2CardMaxYannTest.testJNH25M2CardMaxYannTest.testJNH25 |
1
PASS
|
0.0190,019 |
|
M2CardMaxYannTest.testIi12M2CardMaxYannTest.testIi12 |
1
PASS
|
0.1340,134 |
|
M2CardMaxYannTest.testIi13M2CardMaxYannTest.testIi13 |
1
PASS
|
0.0530,053 |
|
M2CardMaxYannTest.testIi14M2CardMaxYannTest.testIi14 |
1
PASS
|
0.1250,125 |
|
M2CardMaxYannTest.testIi15M2CardMaxYannTest.testIi15 |
1
PASS
|
0.6840,684 |
|
M2CardMaxYannTest.testIi8M2CardMaxYannTest.testIi8 |
1
PASS
|
0.180,18 |
|
M2CardMaxYannTest.testIi9M2CardMaxYannTest.testIi9 |
1
PASS
|
0.0530,053 |
|
M2CardMaxYannTest.testIi10M2CardMaxYannTest.testIi10 |
1
PASS
|
0.1370,137 |
|
M2CardMaxYannTest.testIi11M2CardMaxYannTest.testIi11 |
1
PASS
|
0.0540,054 |
|
M2CardMaxYannTest.testIi4M2CardMaxYannTest.testIi4 |
1
PASS
|
0.0490,049 |
|
M2CardMaxYannTest.testIi5M2CardMaxYannTest.testIi5 |
1
PASS
|
0.0310,031 |
|
M2CardMaxYannTest.testIi6M2CardMaxYannTest.testIi6 |
1
PASS
|
0.0790,079 |
|
M2CardMaxYannTest.testIi7M2CardMaxYannTest.testIi7 |
1
PASS
|
0.1160,116 |
|
M2CardMaxYannTest.testAim50UNSAT8M2CardMaxYannTest.testAim50UNSAT8 |
1
PASS
|
0.00700,007 |
|
M2CardMaxYannTest.testIi1M2CardMaxYannTest.testIi1 |
1
PASS
|
0.00800,008 |
|
M2CardMaxYannTest.testIi2M2CardMaxYannTest.testIi2 |
1
PASS
|
0.0130,013 |
|
M2CardMaxYannTest.testIi3M2CardMaxYannTest.testIi3 |
1
PASS
|
0.0250,025 |
|
M2CardMaxYannTest.testJNH6M2CardMaxYannTest.testJNH6 |
1
PASS
|
0.0260,026 |
|
M2CardMaxYannTest.testJNH5M2CardMaxYannTest.testJNH5 |
1
PASS
|
0.0170,017 |
|
M2CardMaxYannTest.testJNH8M2CardMaxYannTest.testJNH8 |
1
PASS
|
0.0160,016 |
|
M2CardMaxYannTest.testJNH7M2CardMaxYannTest.testJNH7 |
1
PASS
|
0.0110,011 |
|
M2CardMaxYannTest.testJNH2M2CardMaxYannTest.testJNH2 |
1
PASS
|
0.0120,012 |
|
M2CardMaxYannTest.testJNH1M2CardMaxYannTest.testJNH1 |
1
PASS
|
0.0140,014 |
|
M2CardMaxYannTest.testJNH4M2CardMaxYannTest.testJNH4 |
1
PASS
|
0.0150,015 |
|
M2CardMaxYannTest.testJNH3M2CardMaxYannTest.testJNH3 |
1
PASS
|
0.040,04 |
|
M2CardMaxYannTest.testIi22M2CardMaxYannTest.testIi22 |
1
PASS
|
0.2590,259 |
|
M2CardMaxYannTest.testIi21M2CardMaxYannTest.testIi21 |
1
PASS
|
0.4140,414 |
|
M2CardMaxYannTest.testIi24M2CardMaxYannTest.testIi24 |
1
PASS
|
0.1360,136 |
|
M2CardMaxYannTest.testIi23M2CardMaxYannTest.testIi23 |
1
PASS
|
0.4070,407 |
|
M2CardMaxYannTest.testIi17M2CardMaxYannTest.testIi17 |
1
PASS
|
0.8880,888 |
|
M2CardMaxYannTest.testIi16M2CardMaxYannTest.testIi16 |
1
PASS
|
0.7890,789 |
|
M2CardMaxYannTest.testIi20M2CardMaxYannTest.testIi20 |
1
PASS
|
0.6020,602 |
|
M2CardMaxYannTest.testIi18M2CardMaxYannTest.testIi18 |
1
PASS
|
0.3990,399 |
|
M2CardMaxYannTest.testAim50SAT12M2CardMaxYannTest.testAim50SAT12 |
1
PASS
|
0.010,01 |
|
M2CardMaxYannTest.testAim50SAT13M2CardMaxYannTest.testAim50SAT13 |
1
PASS
|
0.0140,014 |
|
M2CardMaxYannTest.testAim50SAT14M2CardMaxYannTest.testAim50SAT14 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50SAT15M2CardMaxYannTest.testAim50SAT15 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50SAT8M2CardMaxYannTest.testAim50SAT8 |
1
PASS
|
0.00700,007 |
|
M2CardMaxYannTest.testAim50SAT9M2CardMaxYannTest.testAim50SAT9 |
1
PASS
|
0.0110,011 |
|
M2CardMaxYannTest.testAim50SAT10M2CardMaxYannTest.testAim50SAT10 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50SAT11M2CardMaxYannTest.testAim50SAT11 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50UNSAT4M2CardMaxYannTest.testAim50UNSAT4 |
1
PASS
|
0.00700,007 |
|
M2CardMaxYannTest.testAim50UNSAT5M2CardMaxYannTest.testAim50UNSAT5 |
1
PASS
|
0.00700,007 |
|
M2CardMaxYannTest.testAim50UNSAT6M2CardMaxYannTest.testAim50UNSAT6 |
1
PASS
|
0.00800,008 |
|
M2CardMaxYannTest.testAim50UNSAT7M2CardMaxYannTest.testAim50UNSAT7 |
1
PASS
|
0.00700,007 |
|
M2CardMaxYannTest.testAim50SAT16M2CardMaxYannTest.testAim50SAT16 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50UNSAT1M2CardMaxYannTest.testAim50UNSAT1 |
1
PASS
|
0.00800,008 |
|
M2CardMaxYannTest.testAim50UNSAT2M2CardMaxYannTest.testAim50UNSAT2 |
1
PASS
|
0.00800,008 |
|
M2CardMaxYannTest.testAim50UNSAT3M2CardMaxYannTest.testAim50UNSAT3 |
1
PASS
|
0.00800,008 |
|
M2CardMaxYannTest.testAim50SAT5M2CardMaxYannTest.testAim50SAT5 |
1
PASS
|
0.0170,017 |
|
M2CardMaxYannTest.testAim50SAT4M2CardMaxYannTest.testAim50SAT4 |
1
PASS
|
0.0160,016 |
|
M2CardMaxYannTest.testAim50SAT7M2CardMaxYannTest.testAim50SAT7 |
1
PASS
|
0.0120,012 |
|
M2CardMaxYannTest.testAim50SAT6M2CardMaxYannTest.testAim50SAT6 |
1
PASS
|
0.00900,009 |
|
M2CardMaxYannTest.testAim50SAT1M2CardMaxYannTest.testAim50SAT1 |
1
PASS
|
0.1240,124 |
|
M2CardMaxYannTest.testAim50SAT3M2CardMaxYannTest.testAim50SAT3 |
1
PASS
|
0.010,01 |
|
M2CardMaxYannTest.testAim50SAT2M2CardMaxYannTest.testAim50SAT2 |
1
PASS
|
0.0280,028 |
|