SAT 2011 Competition: main competition (phase 2): solvers results per benchmarks

Result page for benchmark
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
MD5SUM03b2c3a81b9d765c96c47765b3d50b1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003998
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses1166
Sum of the clauses size3157
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21001
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5165

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
RestartSAT B95 (complete)3420199SAT 0.003998 0.00588094
SAT09 reference solver:precosat 236 (complete)3366043SAT 0.003999 0.0130769
glueminisat 2.2.5 (complete)3310037SAT 0.003999 0.00627104
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3387586SAT 0.003999 0.0162531
minisat hack reference: minisat 2.2.0 (complete)3420200SAT 0.004998 0.0187741
minisat hack: LR_GL_SHR 2011-03-02 (complete)3440087SAT 0.004998 0.0170219
minisat hack: contrasat 2011-03-02 (complete)3422600SAT 0.004998 0.0173861
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3422599SAT 0.004998 0.015816
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3434124SAT 0.004999 0.0543129
SAT09 reference solver:glucose 1.0 (complete)3366042SAT 0.007998 0.013024
glucose 2 (complete)3304173SAT 0.008997 0.00964799
EBGlucose 1.0 (incomplete)3498819SAT 0.008998 0.011153
minisat hack: minisat_psm 2011-04-01 (complete)3387587SAT 0.009997 0.0179351
Lingeling 587f (fixed) (complete)3372916SAT 0.009997 0.0106591
ppfolio par (complete)3310388SAT 0.009997 0.00768405
Lingeling 587 [DEPRECATED] (complete)3310036SAT 0.009998 0.010172
CryptoMiniSat Strange-Night2-st (fixed) (complete)3401185SAT 0.017997 0.0196631
rcl 2011-04-01 (complete)3499119SAT 0.017997 0.0181289
MPhaseSAT64 2011-05-14 (fixed) (complete)3394937SAT 0.018996 0.0190059
claspmt 2.0-R4095 [DEPRECATED] (complete)3322710SAT 0.019996 0.0131481
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362392SAT 0.021995 0.013491
claspmt 2.0-R4095-patched (fixed) (complete)3381315SAT 0.034994 0.015806
Plingeling 587 [DEPRECATED] (complete)3310038SAT 0.074988 0.027313
Plingeling 587f (fixed) (complete)3372917SAT 0.085986 0.024705
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3321263SAT 0.221965 0.039442
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3394936SAT 0.32495 0.0560111
borg-sat 11.03.02-seq-industrial (fixed) (complete)3498519SAT 0.511921 0.768957
Satisfiability Solver Selector 2011-03-18 (complete)3450200SAT 3.04754 3.09231
QuteRSat 2011-05-12 (fixed) (complete)3384508SAT 11.7822 11.7823
borg-sat 11.03.02-par-industrial (fixed) (complete)3381314? (exit code) 0.863867 0.976092
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3322709? (exit code) 0.905861 0.974986

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
1 2 -3 -4 -5 -6 -7 -8 9 10 11 -12 13 14 15 -16 -17 -18 19 20 21 -22 -23 -24 25 26 -27 -28 -29 -30 -31 -32 33 -34 35 36 -37 -38 39 40 41 42
-43 -44 -45 46 47 -48 49 50 51 -52 53 -54 -55 -56 57 58 59 60 -61 -62 63 64 -65 66 -67 68 -69 70 71 72 -73 -74 75 -76 77 78 -79 80 81 82 -83
-84 -85 -86 87 88 -89 90 91 92 -93 -94 95 96 -97 -98 -99 100 101 102 103 104 -105 -106 -107 108 109 -110 -111 -112 -113 114 115 -116 -117
-118 119 -120 -121 122 -123 124 -125 126 127 128 129 130 -131 132 133 -134 -135 136 -137 138 -139 -140 141 -142 143 -144 145 -146 147 -148
149 150 -151 152 153 -154 -155 -156 -157 158 159 160 161 162 163 164 165 166 -167 -168 -169 -170 171 172 173 -174 175 -176 177 -178 -179 180
-181 -182 183 184 -185 186 187 -188 -189 190 -191 -192 193 -194 195 -196 197 198 -199 -200 201 -202 -203 204 -205 -206 -207 208 209 210 -211
-212 -213 214 -215 -216 -217 218 -219 -220 221 -222 -223 224 225 226 227 -228 229 230 -231 0