| CounterPBConstrWithClauseLearningOnCNFTest.testJNH49CounterPBConstrWithClauseLearningOnCNFTest.testJNH49 |
1
PASS
|
0.040,04 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH50CounterPBConstrWithClauseLearningOnCNFTest.testJNH50 |
1
PASS
|
0.0320,032 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testHole6CounterPBConstrWithClauseLearningOnCNFTest.testHole6 |
1
PASS
|
0.1040,104 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testHole7CounterPBConstrWithClauseLearningOnCNFTest.testHole7 |
1
PASS
|
0.940,94 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testHole8CounterPBConstrWithClauseLearningOnCNFTest.testHole8 |
1
PASS
|
10.83110,831 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testHole9CounterPBConstrWithClauseLearningOnCNFTest.testHole9 |
1
PASS
|
43.7243,72 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH41CounterPBConstrWithClauseLearningOnCNFTest.testJNH41 |
1
PASS
|
0.0790,079 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH42CounterPBConstrWithClauseLearningOnCNFTest.testJNH42 |
1
PASS
|
0.0440,044 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH43CounterPBConstrWithClauseLearningOnCNFTest.testJNH43 |
1
PASS
|
0.1260,126 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH44CounterPBConstrWithClauseLearningOnCNFTest.testJNH44 |
1
PASS
|
0.0280,028 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH45CounterPBConstrWithClauseLearningOnCNFTest.testJNH45 |
1
PASS
|
0.0770,077 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH46CounterPBConstrWithClauseLearningOnCNFTest.testJNH46 |
1
PASS
|
0.3530,353 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH47CounterPBConstrWithClauseLearningOnCNFTest.testJNH47 |
1
PASS
|
0.0660,066 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH48CounterPBConstrWithClauseLearningOnCNFTest.testJNH48 |
1
PASS
|
0.160,16 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH23CounterPBConstrWithClauseLearningOnCNFTest.testJNH23 |
1
PASS
|
0.1620,162 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH24CounterPBConstrWithClauseLearningOnCNFTest.testJNH24 |
1
PASS
|
0.1530,153 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH21CounterPBConstrWithClauseLearningOnCNFTest.testJNH21 |
1
PASS
|
0.0520,052 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH22CounterPBConstrWithClauseLearningOnCNFTest.testJNH22 |
1
PASS
|
0.0410,041 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testPropagationCounterPBConstrWithClauseLearningOnCNFTest.testPropagation |
1
PASS
|
0.0820,082 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH19CounterPBConstrWithClauseLearningOnCNFTest.testJNH19 |
1
PASS
|
0.0680,068 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH20CounterPBConstrWithClauseLearningOnCNFTest.testJNH20 |
1
PASS
|
0.1130,113 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH17CounterPBConstrWithClauseLearningOnCNFTest.testJNH17 |
1
PASS
|
0.0470,047 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH18CounterPBConstrWithClauseLearningOnCNFTest.testJNH18 |
1
PASS
|
0.270,27 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH15CounterPBConstrWithClauseLearningOnCNFTest.testJNH15 |
1
PASS
|
0.0690,069 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH16CounterPBConstrWithClauseLearningOnCNFTest.testJNH16 |
1
PASS
|
0.6480,648 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH13CounterPBConstrWithClauseLearningOnCNFTest.testJNH13 |
1
PASS
|
0.0580,058 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH14CounterPBConstrWithClauseLearningOnCNFTest.testJNH14 |
1
PASS
|
0.0540,054 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH11CounterPBConstrWithClauseLearningOnCNFTest.testJNH11 |
1
PASS
|
0.2890,289 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH12CounterPBConstrWithClauseLearningOnCNFTest.testJNH12 |
1
PASS
|
0.0480,048 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH9CounterPBConstrWithClauseLearningOnCNFTest.testJNH9 |
1
PASS
|
0.1330,133 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testPropagation2CounterPBConstrWithClauseLearningOnCNFTest.testPropagation2 |
1
PASS
|
0.00500,005 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH10CounterPBConstrWithClauseLearningOnCNFTest.testJNH10 |
1
PASS
|
0.0920,092 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH40CounterPBConstrWithClauseLearningOnCNFTest.testJNH40 |
1
PASS
|
0.2740,274 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH39CounterPBConstrWithClauseLearningOnCNFTest.testJNH39 |
1
PASS
|
0.110,11 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH38CounterPBConstrWithClauseLearningOnCNFTest.testJNH38 |
1
PASS
|
0.0380,038 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH37CounterPBConstrWithClauseLearningOnCNFTest.testJNH37 |
1
PASS
|
0.0640,064 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH36CounterPBConstrWithClauseLearningOnCNFTest.testJNH36 |
1
PASS
|
0.1070,107 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH35CounterPBConstrWithClauseLearningOnCNFTest.testJNH35 |
1
PASS
|
0.0560,056 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH34CounterPBConstrWithClauseLearningOnCNFTest.testJNH34 |
1
PASS
|
0.0610,061 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH33CounterPBConstrWithClauseLearningOnCNFTest.testJNH33 |
1
PASS
|
0.0710,071 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH32CounterPBConstrWithClauseLearningOnCNFTest.testJNH32 |
1
PASS
|
0.2910,291 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH31CounterPBConstrWithClauseLearningOnCNFTest.testJNH31 |
1
PASS
|
0.0740,074 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH30CounterPBConstrWithClauseLearningOnCNFTest.testJNH30 |
1
PASS
|
0.0350,035 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH29CounterPBConstrWithClauseLearningOnCNFTest.testJNH29 |
1
PASS
|
0.0970,097 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH28CounterPBConstrWithClauseLearningOnCNFTest.testJNH28 |
1
PASS
|
0.1140,114 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH27CounterPBConstrWithClauseLearningOnCNFTest.testJNH27 |
1
PASS
|
0.1070,107 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH26CounterPBConstrWithClauseLearningOnCNFTest.testJNH26 |
1
PASS
|
0.1150,115 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH25CounterPBConstrWithClauseLearningOnCNFTest.testJNH25 |
1
PASS
|
0.0670,067 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi12CounterPBConstrWithClauseLearningOnCNFTest.testIi12 |
1
PASS
|
0.1080,108 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi13CounterPBConstrWithClauseLearningOnCNFTest.testIi13 |
1
PASS
|
0.0580,058 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi14CounterPBConstrWithClauseLearningOnCNFTest.testIi14 |
1
PASS
|
0.1270,127 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi15CounterPBConstrWithClauseLearningOnCNFTest.testIi15 |
1
PASS
|
0.4480,448 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi8CounterPBConstrWithClauseLearningOnCNFTest.testIi8 |
1
PASS
|
0.1310,131 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi9CounterPBConstrWithClauseLearningOnCNFTest.testIi9 |
1
PASS
|
0.0570,057 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi10CounterPBConstrWithClauseLearningOnCNFTest.testIi10 |
1
PASS
|
0.1340,134 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi11CounterPBConstrWithClauseLearningOnCNFTest.testIi11 |
1
PASS
|
0.0590,059 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi4CounterPBConstrWithClauseLearningOnCNFTest.testIi4 |
1
PASS
|
0.0730,073 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi5CounterPBConstrWithClauseLearningOnCNFTest.testIi5 |
1
PASS
|
0.0440,044 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi6CounterPBConstrWithClauseLearningOnCNFTest.testIi6 |
1
PASS
|
0.1010,101 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi7CounterPBConstrWithClauseLearningOnCNFTest.testIi7 |
1
PASS
|
0.10,1 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT8CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT8 |
1
PASS
|
0.0130,013 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi1CounterPBConstrWithClauseLearningOnCNFTest.testIi1 |
1
PASS
|
0.0250,025 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi2CounterPBConstrWithClauseLearningOnCNFTest.testIi2 |
1
PASS
|
0.0230,023 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi3CounterPBConstrWithClauseLearningOnCNFTest.testIi3 |
1
PASS
|
0.0390,039 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH6CounterPBConstrWithClauseLearningOnCNFTest.testJNH6 |
1
PASS
|
0.2380,238 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH5CounterPBConstrWithClauseLearningOnCNFTest.testJNH5 |
1
PASS
|
0.1550,155 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH8CounterPBConstrWithClauseLearningOnCNFTest.testJNH8 |
1
PASS
|
0.1150,115 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH7CounterPBConstrWithClauseLearningOnCNFTest.testJNH7 |
1
PASS
|
0.0950,095 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH2CounterPBConstrWithClauseLearningOnCNFTest.testJNH2 |
1
PASS
|
0.0550,055 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH1CounterPBConstrWithClauseLearningOnCNFTest.testJNH1 |
1
PASS
|
0.0490,049 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH4CounterPBConstrWithClauseLearningOnCNFTest.testJNH4 |
1
PASS
|
0.0730,073 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testJNH3CounterPBConstrWithClauseLearningOnCNFTest.testJNH3 |
1
PASS
|
0.1990,199 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi22CounterPBConstrWithClauseLearningOnCNFTest.testIi22 |
1
PASS
|
0.3050,305 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi21CounterPBConstrWithClauseLearningOnCNFTest.testIi21 |
1
PASS
|
0.3820,382 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi24CounterPBConstrWithClauseLearningOnCNFTest.testIi24 |
1
PASS
|
2.3112,311 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi23CounterPBConstrWithClauseLearningOnCNFTest.testIi23 |
1
PASS
|
0.6010,601 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi17CounterPBConstrWithClauseLearningOnCNFTest.testIi17 |
1
PASS
|
0.5790,579 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi16CounterPBConstrWithClauseLearningOnCNFTest.testIi16 |
1
PASS
|
1.5541,554 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi20CounterPBConstrWithClauseLearningOnCNFTest.testIi20 |
1
PASS
|
1.9781,978 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testIi18CounterPBConstrWithClauseLearningOnCNFTest.testIi18 |
1
PASS
|
0.4440,444 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT12CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT12 |
1
PASS
|
0.0270,027 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT13CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT13 |
1
PASS
|
0.0270,027 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT14CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT14 |
1
PASS
|
0.0230,023 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT15CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT15 |
1
PASS
|
0.0180,018 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT8CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT8 |
1
PASS
|
0.0180,018 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT9CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT9 |
1
PASS
|
0.0150,015 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT10CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT10 |
1
PASS
|
0.0320,032 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT11CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT11 |
1
PASS
|
0.0180,018 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT4CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT4 |
1
PASS
|
0.010,01 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT5CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT5 |
1
PASS
|
0.00900,009 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT6CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT6 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT7CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT7 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT16CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT16 |
1
PASS
|
0.0180,018 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT1CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT1 |
1
PASS
|
0.00900,009 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT2CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT2 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT3CounterPBConstrWithClauseLearningOnCNFTest.testAim50UNSAT3 |
1
PASS
|
0.010,01 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT5CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT5 |
1
PASS
|
0.0330,033 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT4CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT4 |
1
PASS
|
0.0340,034 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT7CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT7 |
1
PASS
|
0.0220,022 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT6CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT6 |
1
PASS
|
0.0310,031 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT1CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT1 |
1
PASS
|
0.0990,099 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT3CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT3 |
1
PASS
|
0.0210,021 |
|
| CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT2CounterPBConstrWithClauseLearningOnCNFTest.testAim50SAT2 |
1
PASS
|
0.0450,045 |
|
