| CounterPBConstrWithPBConstrLearningOnCNFTest.testHole9CounterPBConstrWithPBConstrLearningOnCNFTest.testHole9 |
3
FAIL
|
300.073300,073 |
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)
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testHole8CounterPBConstrWithPBConstrLearningOnCNFTest.testHole8 |
3
FAIL
|
300.057300,057 |
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.testHole8(AbstractM2Test.java:560)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH49CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH49 |
1
PASS
|
0.0440,044 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH50CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH50 |
1
PASS
|
0.0250,025 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testHole6CounterPBConstrWithPBConstrLearningOnCNFTest.testHole6 |
1
PASS
|
1.5061,506 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testHole7CounterPBConstrWithPBConstrLearningOnCNFTest.testHole7 |
1
PASS
|
59.68559,685 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH41CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH41 |
1
PASS
|
0.0950,095 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH42CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH42 |
1
PASS
|
0.0310,031 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH43CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH43 |
1
PASS
|
0.1520,152 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH44CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH44 |
1
PASS
|
0.0340,034 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH45CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH45 |
1
PASS
|
0.0630,063 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH46CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH46 |
1
PASS
|
0.4850,485 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH47CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH47 |
1
PASS
|
0.0380,038 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH48CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH48 |
1
PASS
|
0.3050,305 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH23CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH23 |
1
PASS
|
0.1690,169 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH24CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH24 |
1
PASS
|
0.1690,169 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH21CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH21 |
1
PASS
|
0.0440,044 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH22CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH22 |
1
PASS
|
0.0570,057 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH19CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH19 |
1
PASS
|
0.0820,082 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH20CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH20 |
1
PASS
|
0.0860,086 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH17CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH17 |
1
PASS
|
0.0460,046 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH18CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH18 |
1
PASS
|
0.190,19 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH15CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH15 |
1
PASS
|
0.0910,091 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH16CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH16 |
1
PASS
|
1.9211,921 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH13CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH13 |
1
PASS
|
0.0710,071 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH14CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH14 |
1
PASS
|
0.0590,059 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH11CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH11 |
1
PASS
|
0.2260,226 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH12CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH12 |
1
PASS
|
0.0390,039 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH9CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH9 |
1
PASS
|
0.0720,072 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH10CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH10 |
1
PASS
|
0.0830,083 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH40CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH40 |
1
PASS
|
0.1890,189 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH39CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH39 |
1
PASS
|
0.1290,129 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH38CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH38 |
1
PASS
|
0.0390,039 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH37CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH37 |
1
PASS
|
0.0510,051 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH36CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH36 |
1
PASS
|
0.120,12 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH35CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH35 |
1
PASS
|
0.0610,061 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH34CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH34 |
1
PASS
|
0.0630,063 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH33CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH33 |
1
PASS
|
0.0530,053 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH32CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH32 |
1
PASS
|
0.3110,311 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH31CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH31 |
1
PASS
|
0.0760,076 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH30CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH30 |
1
PASS
|
0.0460,046 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH29CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH29 |
1
PASS
|
0.1360,136 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH28CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH28 |
1
PASS
|
0.1360,136 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH27CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH27 |
1
PASS
|
0.0970,097 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH26CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH26 |
1
PASS
|
0.1770,177 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH25CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH25 |
1
PASS
|
0.0520,052 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi12CounterPBConstrWithPBConstrLearningOnCNFTest.testIi12 |
1
PASS
|
0.1090,109 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi13CounterPBConstrWithPBConstrLearningOnCNFTest.testIi13 |
1
PASS
|
0.0570,057 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi14CounterPBConstrWithPBConstrLearningOnCNFTest.testIi14 |
1
PASS
|
0.1190,119 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi15CounterPBConstrWithPBConstrLearningOnCNFTest.testIi15 |
1
PASS
|
0.380,38 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi8CounterPBConstrWithPBConstrLearningOnCNFTest.testIi8 |
1
PASS
|
0.1330,133 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi9CounterPBConstrWithPBConstrLearningOnCNFTest.testIi9 |
1
PASS
|
0.0560,056 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi10CounterPBConstrWithPBConstrLearningOnCNFTest.testIi10 |
1
PASS
|
0.1270,127 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi11CounterPBConstrWithPBConstrLearningOnCNFTest.testIi11 |
1
PASS
|
0.0580,058 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi4CounterPBConstrWithPBConstrLearningOnCNFTest.testIi4 |
1
PASS
|
0.0670,067 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi5CounterPBConstrWithPBConstrLearningOnCNFTest.testIi5 |
1
PASS
|
0.0480,048 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi6CounterPBConstrWithPBConstrLearningOnCNFTest.testIi6 |
1
PASS
|
0.0860,086 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi7CounterPBConstrWithPBConstrLearningOnCNFTest.testIi7 |
1
PASS
|
0.10,1 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT8CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT8 |
1
PASS
|
0.0140,014 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi1CounterPBConstrWithPBConstrLearningOnCNFTest.testIi1 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi2CounterPBConstrWithPBConstrLearningOnCNFTest.testIi2 |
1
PASS
|
0.0220,022 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi3CounterPBConstrWithPBConstrLearningOnCNFTest.testIi3 |
1
PASS
|
0.0390,039 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH6CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH6 |
1
PASS
|
0.1760,176 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH5CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH5 |
1
PASS
|
0.070,07 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH8CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH8 |
1
PASS
|
0.0790,079 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH7CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH7 |
1
PASS
|
0.0550,055 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH2CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH2 |
1
PASS
|
0.0520,052 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH1CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH1 |
1
PASS
|
0.1150,115 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH4CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH4 |
1
PASS
|
0.0770,077 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH3CounterPBConstrWithPBConstrLearningOnCNFTest.testJNH3 |
1
PASS
|
0.2970,297 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi22CounterPBConstrWithPBConstrLearningOnCNFTest.testIi22 |
1
PASS
|
0.280,28 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi21CounterPBConstrWithPBConstrLearningOnCNFTest.testIi21 |
1
PASS
|
0.4190,419 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi24CounterPBConstrWithPBConstrLearningOnCNFTest.testIi24 |
1
PASS
|
2.9652,965 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi23CounterPBConstrWithPBConstrLearningOnCNFTest.testIi23 |
1
PASS
|
0.6620,662 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi17CounterPBConstrWithPBConstrLearningOnCNFTest.testIi17 |
1
PASS
|
0.5880,588 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi16CounterPBConstrWithPBConstrLearningOnCNFTest.testIi16 |
1
PASS
|
0.5140,514 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi20CounterPBConstrWithPBConstrLearningOnCNFTest.testIi20 |
1
PASS
|
1.7291,729 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testIi18CounterPBConstrWithPBConstrLearningOnCNFTest.testIi18 |
1
PASS
|
0.6490,649 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT12CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT12 |
1
PASS
|
0.030,03 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT13CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT13 |
1
PASS
|
0.0250,025 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT14CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT14 |
1
PASS
|
0.0180,018 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT15CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT15 |
1
PASS
|
0.0230,023 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT8CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT8 |
1
PASS
|
0.0550,055 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT9CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT9 |
1
PASS
|
0.0150,015 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT10CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT10 |
1
PASS
|
0.0260,026 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT11CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT11 |
1
PASS
|
0.0220,022 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT4CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT4 |
1
PASS
|
0.0120,012 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT5CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT5 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT6CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT6 |
1
PASS
|
0.0130,013 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT7CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT7 |
1
PASS
|
0.0190,019 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT16CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT16 |
1
PASS
|
0.0220,022 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT1CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT1 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT2CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT2 |
1
PASS
|
0.0210,021 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT3CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT3 |
1
PASS
|
0.0130,013 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT5CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT5 |
1
PASS
|
0.0470,047 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT4CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT4 |
1
PASS
|
0.0370,037 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT7CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT7 |
1
PASS
|
0.0280,028 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT6CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT6 |
1
PASS
|
0.0490,049 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT1CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT1 |
1
PASS
|
0.0840,084 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT3CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT3 |
1
PASS
|
0.0230,023 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT2CounterPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT2 |
1
PASS
|
0.0310,031 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testPropagation2CounterPBConstrWithPBConstrLearningOnCNFTest.testPropagation2 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrWithPBConstrLearningOnCNFTest.testPropagationCounterPBConstrWithPBConstrLearningOnCNFTest.testPropagation |
1
PASS
|
0.0820,082 |
|
