| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH49WatchedPBConstrWithClauseLearningOnCNFTest.testJNH49 |
1
PASS
|
0.0260,026 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH50WatchedPBConstrWithClauseLearningOnCNFTest.testJNH50 |
1
PASS
|
0.0230,023 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testHole6WatchedPBConstrWithClauseLearningOnCNFTest.testHole6 |
1
PASS
|
0.0620,062 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testHole7WatchedPBConstrWithClauseLearningOnCNFTest.testHole7 |
1
PASS
|
0.4110,411 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testHole8WatchedPBConstrWithClauseLearningOnCNFTest.testHole8 |
1
PASS
|
14.55414,554 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testHole9WatchedPBConstrWithClauseLearningOnCNFTest.testHole9 |
1
PASS
|
52.15952,159 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH41WatchedPBConstrWithClauseLearningOnCNFTest.testJNH41 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH42WatchedPBConstrWithClauseLearningOnCNFTest.testJNH42 |
1
PASS
|
0.0250,025 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH43WatchedPBConstrWithClauseLearningOnCNFTest.testJNH43 |
1
PASS
|
0.0430,043 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH44WatchedPBConstrWithClauseLearningOnCNFTest.testJNH44 |
1
PASS
|
0.0250,025 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH45WatchedPBConstrWithClauseLearningOnCNFTest.testJNH45 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH46WatchedPBConstrWithClauseLearningOnCNFTest.testJNH46 |
1
PASS
|
0.1280,128 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH47WatchedPBConstrWithClauseLearningOnCNFTest.testJNH47 |
1
PASS
|
0.0250,025 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH48WatchedPBConstrWithClauseLearningOnCNFTest.testJNH48 |
1
PASS
|
0.0750,075 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH23WatchedPBConstrWithClauseLearningOnCNFTest.testJNH23 |
1
PASS
|
0.0560,056 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH24WatchedPBConstrWithClauseLearningOnCNFTest.testJNH24 |
1
PASS
|
0.0570,057 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH21WatchedPBConstrWithClauseLearningOnCNFTest.testJNH21 |
1
PASS
|
0.0350,035 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH22WatchedPBConstrWithClauseLearningOnCNFTest.testJNH22 |
1
PASS
|
0.0280,028 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH19WatchedPBConstrWithClauseLearningOnCNFTest.testJNH19 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH20WatchedPBConstrWithClauseLearningOnCNFTest.testJNH20 |
1
PASS
|
0.0380,038 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH17WatchedPBConstrWithClauseLearningOnCNFTest.testJNH17 |
1
PASS
|
0.0270,027 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH18WatchedPBConstrWithClauseLearningOnCNFTest.testJNH18 |
1
PASS
|
0.060,06 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH15WatchedPBConstrWithClauseLearningOnCNFTest.testJNH15 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH16WatchedPBConstrWithClauseLearningOnCNFTest.testJNH16 |
1
PASS
|
0.2260,226 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH13WatchedPBConstrWithClauseLearningOnCNFTest.testJNH13 |
1
PASS
|
0.0290,029 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH14WatchedPBConstrWithClauseLearningOnCNFTest.testJNH14 |
1
PASS
|
0.030,03 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH11WatchedPBConstrWithClauseLearningOnCNFTest.testJNH11 |
1
PASS
|
0.0480,048 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH12WatchedPBConstrWithClauseLearningOnCNFTest.testJNH12 |
1
PASS
|
0.0290,029 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH9WatchedPBConstrWithClauseLearningOnCNFTest.testJNH9 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH10WatchedPBConstrWithClauseLearningOnCNFTest.testJNH10 |
1
PASS
|
0.0370,037 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH40WatchedPBConstrWithClauseLearningOnCNFTest.testJNH40 |
1
PASS
|
0.0850,085 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH39WatchedPBConstrWithClauseLearningOnCNFTest.testJNH39 |
1
PASS
|
0.0430,043 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH38WatchedPBConstrWithClauseLearningOnCNFTest.testJNH38 |
1
PASS
|
0.0240,024 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH37WatchedPBConstrWithClauseLearningOnCNFTest.testJNH37 |
1
PASS
|
0.0270,027 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH36WatchedPBConstrWithClauseLearningOnCNFTest.testJNH36 |
1
PASS
|
0.0480,048 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH35WatchedPBConstrWithClauseLearningOnCNFTest.testJNH35 |
1
PASS
|
0.0340,034 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH34WatchedPBConstrWithClauseLearningOnCNFTest.testJNH34 |
1
PASS
|
0.030,03 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH33WatchedPBConstrWithClauseLearningOnCNFTest.testJNH33 |
1
PASS
|
0.0290,029 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH32WatchedPBConstrWithClauseLearningOnCNFTest.testJNH32 |
1
PASS
|
0.0680,068 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH31WatchedPBConstrWithClauseLearningOnCNFTest.testJNH31 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH30WatchedPBConstrWithClauseLearningOnCNFTest.testJNH30 |
1
PASS
|
0.0380,038 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH29WatchedPBConstrWithClauseLearningOnCNFTest.testJNH29 |
1
PASS
|
0.0450,045 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH28WatchedPBConstrWithClauseLearningOnCNFTest.testJNH28 |
1
PASS
|
0.0380,038 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH27WatchedPBConstrWithClauseLearningOnCNFTest.testJNH27 |
1
PASS
|
0.0390,039 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH26WatchedPBConstrWithClauseLearningOnCNFTest.testJNH26 |
1
PASS
|
0.0510,051 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH25WatchedPBConstrWithClauseLearningOnCNFTest.testJNH25 |
1
PASS
|
0.0380,038 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi12WatchedPBConstrWithClauseLearningOnCNFTest.testIi12 |
1
PASS
|
0.1090,109 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi13WatchedPBConstrWithClauseLearningOnCNFTest.testIi13 |
1
PASS
|
0.0560,056 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi14WatchedPBConstrWithClauseLearningOnCNFTest.testIi14 |
1
PASS
|
0.1040,104 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi15WatchedPBConstrWithClauseLearningOnCNFTest.testIi15 |
1
PASS
|
0.3390,339 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi8WatchedPBConstrWithClauseLearningOnCNFTest.testIi8 |
1
PASS
|
0.1340,134 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi9WatchedPBConstrWithClauseLearningOnCNFTest.testIi9 |
1
PASS
|
0.070,07 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi10WatchedPBConstrWithClauseLearningOnCNFTest.testIi10 |
1
PASS
|
0.1120,112 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi11WatchedPBConstrWithClauseLearningOnCNFTest.testIi11 |
1
PASS
|
0.0790,079 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi4WatchedPBConstrWithClauseLearningOnCNFTest.testIi4 |
1
PASS
|
0.0680,068 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi5WatchedPBConstrWithClauseLearningOnCNFTest.testIi5 |
1
PASS
|
0.0450,045 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi6WatchedPBConstrWithClauseLearningOnCNFTest.testIi6 |
1
PASS
|
0.0770,077 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi7WatchedPBConstrWithClauseLearningOnCNFTest.testIi7 |
1
PASS
|
0.1310,131 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT8WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT8 |
1
PASS
|
0.0130,013 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi1WatchedPBConstrWithClauseLearningOnCNFTest.testIi1 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi2WatchedPBConstrWithClauseLearningOnCNFTest.testIi2 |
1
PASS
|
0.0220,022 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi3WatchedPBConstrWithClauseLearningOnCNFTest.testIi3 |
1
PASS
|
0.0380,038 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH6WatchedPBConstrWithClauseLearningOnCNFTest.testJNH6 |
1
PASS
|
0.0460,046 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH5WatchedPBConstrWithClauseLearningOnCNFTest.testJNH5 |
1
PASS
|
0.040,04 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH8WatchedPBConstrWithClauseLearningOnCNFTest.testJNH8 |
1
PASS
|
0.0320,032 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH7WatchedPBConstrWithClauseLearningOnCNFTest.testJNH7 |
1
PASS
|
0.0310,031 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH2WatchedPBConstrWithClauseLearningOnCNFTest.testJNH2 |
1
PASS
|
0.0270,027 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH1WatchedPBConstrWithClauseLearningOnCNFTest.testJNH1 |
1
PASS
|
0.030,03 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH4WatchedPBConstrWithClauseLearningOnCNFTest.testJNH4 |
1
PASS
|
0.0320,032 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testJNH3WatchedPBConstrWithClauseLearningOnCNFTest.testJNH3 |
1
PASS
|
0.0580,058 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi22WatchedPBConstrWithClauseLearningOnCNFTest.testIi22 |
1
PASS
|
0.2370,237 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi21WatchedPBConstrWithClauseLearningOnCNFTest.testIi21 |
1
PASS
|
0.270,27 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi24WatchedPBConstrWithClauseLearningOnCNFTest.testIi24 |
1
PASS
|
0.7310,731 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi23WatchedPBConstrWithClauseLearningOnCNFTest.testIi23 |
1
PASS
|
0.350,35 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi17WatchedPBConstrWithClauseLearningOnCNFTest.testIi17 |
1
PASS
|
0.4550,455 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi16WatchedPBConstrWithClauseLearningOnCNFTest.testIi16 |
1
PASS
|
1.51,5 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi20WatchedPBConstrWithClauseLearningOnCNFTest.testIi20 |
1
PASS
|
0.6980,698 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testIi18WatchedPBConstrWithClauseLearningOnCNFTest.testIi18 |
1
PASS
|
0.3720,372 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testPropagationWatchedPBConstrWithClauseLearningOnCNFTest.testPropagation |
1
PASS
|
0.130,13 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testPropagation2WatchedPBConstrWithClauseLearningOnCNFTest.testPropagation2 |
1
PASS
|
0.0140,014 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT12WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT12 |
1
PASS
|
0.0220,022 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT13WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT13 |
1
PASS
|
0.0320,032 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT14WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT14 |
1
PASS
|
0.0220,022 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT15WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT15 |
1
PASS
|
0.0150,015 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT8WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT8 |
1
PASS
|
0.0170,017 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT9WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT9 |
1
PASS
|
0.0160,016 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT10WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT10 |
1
PASS
|
0.0170,017 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT11WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT11 |
1
PASS
|
0.020,02 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT4WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT4 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT5WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT5 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT6WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT6 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT7WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT7 |
1
PASS
|
0.0130,013 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT16WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT16 |
1
PASS
|
0.0160,016 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT1WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT1 |
1
PASS
|
0.00900,009 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT2WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT2 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT3WatchedPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT3 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT5WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT5 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT4WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT4 |
1
PASS
|
0.0310,031 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT7WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT7 |
1
PASS
|
0.0260,026 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT6WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT6 |
1
PASS
|
0.0330,033 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT1WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT1 |
1
PASS
|
0.0610,061 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT3WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT3 |
1
PASS
|
0.0230,023 |
|
| WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT2WatchedPBConstrWithClauseLearningOnCNFTest.testAim50SAT2 |
1
PASS
|
0.0320,032 |
|
