| WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole9WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole9 |
3
FAIL
|
300.053300,053 |
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)
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH49WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH49 |
1
PASS
|
0.0390,039 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH50WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH50 |
1
PASS
|
0.0310,031 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole6WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole6 |
1
PASS
|
0.4390,439 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole7WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole7 |
1
PASS
|
6.7686,768 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole8WatchedPBConstrWithPBConstrLearningOnCNFTest.testHole8 |
1
PASS
|
87.74587,745 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH41WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH41 |
1
PASS
|
0.0360,036 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH42WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH42 |
1
PASS
|
0.0260,026 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH43WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH43 |
1
PASS
|
0.0640,064 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH44WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH44 |
1
PASS
|
0.0250,025 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH45WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH45 |
1
PASS
|
0.0410,041 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH46WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH46 |
1
PASS
|
0.1890,189 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH47WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH47 |
1
PASS
|
0.0260,026 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH48WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH48 |
1
PASS
|
0.0670,067 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH23WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH23 |
1
PASS
|
0.0630,063 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH24WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH24 |
1
PASS
|
0.0620,062 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH21WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH21 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH22WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH22 |
1
PASS
|
0.0320,032 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH19WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH19 |
1
PASS
|
0.0460,046 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH20WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH20 |
1
PASS
|
0.0650,065 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH17WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH17 |
1
PASS
|
0.0290,029 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testPropagation2WatchedPBConstrWithPBConstrLearningOnCNFTest.testPropagation2 |
1
PASS
|
0.00600,006 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH18WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH18 |
1
PASS
|
0.0720,072 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH15WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH15 |
1
PASS
|
0.040,04 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH16WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH16 |
1
PASS
|
0.5170,517 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH13WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH13 |
1
PASS
|
0.0370,037 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH14WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH14 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH11WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH11 |
1
PASS
|
0.0750,075 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH12WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH12 |
1
PASS
|
0.0410,041 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH9WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH9 |
1
PASS
|
0.0440,044 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH10WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH10 |
1
PASS
|
0.040,04 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH40WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH40 |
1
PASS
|
0.1260,126 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH39WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH39 |
1
PASS
|
0.0940,094 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH38WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH38 |
1
PASS
|
0.030,03 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH37WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH37 |
1
PASS
|
0.030,03 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH36WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH36 |
1
PASS
|
0.0640,064 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH35WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH35 |
1
PASS
|
0.0410,041 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH34WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH34 |
1
PASS
|
0.0470,047 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH33WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH33 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH32WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH32 |
1
PASS
|
0.10,1 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH31WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH31 |
1
PASS
|
0.0420,042 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH30WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH30 |
1
PASS
|
0.0310,031 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH29WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH29 |
1
PASS
|
0.0490,049 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH28WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH28 |
1
PASS
|
0.0730,073 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testPropagationWatchedPBConstrWithPBConstrLearningOnCNFTest.testPropagation |
1
PASS
|
0.0820,082 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH27WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH27 |
1
PASS
|
0.0520,052 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH26WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH26 |
1
PASS
|
0.0680,068 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH25WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH25 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi12WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi12 |
1
PASS
|
0.1070,107 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi13WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi13 |
1
PASS
|
0.0560,056 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi14WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi14 |
1
PASS
|
0.1030,103 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi15WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi15 |
1
PASS
|
0.3310,331 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi8WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi8 |
1
PASS
|
0.1320,132 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi9WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi9 |
1
PASS
|
0.0580,058 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi10WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi10 |
1
PASS
|
0.1410,141 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi11WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi11 |
1
PASS
|
0.0580,058 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi4WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi4 |
1
PASS
|
0.0680,068 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi5WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi5 |
1
PASS
|
0.0450,045 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi6WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi6 |
1
PASS
|
0.1020,102 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi7WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi7 |
1
PASS
|
0.1010,101 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT8WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT8 |
1
PASS
|
0.0180,018 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi1WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi1 |
1
PASS
|
0.0130,013 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi2WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi2 |
1
PASS
|
0.0240,024 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi3WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi3 |
1
PASS
|
0.0410,041 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH6WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH6 |
1
PASS
|
0.0830,083 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH5WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH5 |
1
PASS
|
0.0450,045 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH8WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH8 |
1
PASS
|
0.0410,041 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH7WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH7 |
1
PASS
|
0.040,04 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH2WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH2 |
1
PASS
|
0.0290,029 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH1WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH1 |
1
PASS
|
0.0510,051 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH4WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH4 |
1
PASS
|
0.0460,046 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH3WatchedPBConstrWithPBConstrLearningOnCNFTest.testJNH3 |
1
PASS
|
0.1030,103 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi22WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi22 |
1
PASS
|
0.2070,207 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi21WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi21 |
1
PASS
|
0.3380,338 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi24WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi24 |
1
PASS
|
0.4830,483 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi23WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi23 |
1
PASS
|
0.3240,324 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi17WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi17 |
1
PASS
|
0.460,46 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi16WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi16 |
1
PASS
|
0.3920,392 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi20WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi20 |
1
PASS
|
0.8320,832 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi18WatchedPBConstrWithPBConstrLearningOnCNFTest.testIi18 |
1
PASS
|
0.4270,427 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT12WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT12 |
1
PASS
|
0.0320,032 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT13WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT13 |
1
PASS
|
0.0270,027 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT14WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT14 |
1
PASS
|
0.0190,019 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT15WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT15 |
1
PASS
|
0.0190,019 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT8WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT8 |
1
PASS
|
0.0370,037 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT9WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT9 |
1
PASS
|
0.0210,021 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT10WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT10 |
1
PASS
|
0.020,02 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT11WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT11 |
1
PASS
|
0.0280,028 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT4WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT4 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT5WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT5 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT6WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT6 |
1
PASS
|
0.0190,019 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT7WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT7 |
1
PASS
|
0.0230,023 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT16WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT16 |
1
PASS
|
0.0180,018 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT1WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT1 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT2WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT2 |
1
PASS
|
0.0150,015 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT3WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50UNSAT3 |
1
PASS
|
0.0150,015 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT5WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT5 |
1
PASS
|
0.0550,055 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT4WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT4 |
1
PASS
|
0.040,04 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT7WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT7 |
1
PASS
|
0.0350,035 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT6WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT6 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT1WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT1 |
1
PASS
|
0.0830,083 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT3WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT3 |
1
PASS
|
0.0240,024 |
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT2WatchedPBConstrWithPBConstrLearningOnCNFTest.testAim50SAT2 |
1
PASS
|
0.0360,036 |
|
