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

Result page for benchmark
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
MD5SUM410e62b7cbc6ecedbe5ae995bc21b7ce
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables207
Number of clauses588
Sum of the clauses size1221
Maximum clause length4
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 2536
Number of clauses of size 323
Number of clauses of size 417
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3422589SAT 0.000999 0.016767
minisat hack: LR_GL_SHR 2011-03-02 (complete)3440082SAT 0.001999 0.0182689
minisat hack: contrasat 2011-03-02 (complete)3422590SAT 0.001999 0.01975
SAT09 reference solver:precosat 236 (complete)3366033SAT 0.001999 0.011359
minisat hack reference: minisat 2.2.0 (complete)3420190SAT 0.002998 0.0193649
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3434119SAT 0.002998 0.0195329
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3387576SAT 0.002998 0.0162681
RestartSAT B95 (complete)3420189SAT 0.002998 0.015271
glueminisat 2.2.5 (complete)3310022SAT 0.002999 0.00636105
claspmt 2.0-R4095 [DEPRECATED] (complete)3322688SAT 0.003998 0.00983996
CryptoMiniSat Strange-Night2-st (fixed) (complete)3401180SAT 0.003998 0.0188071
glucose 2 (complete)3304163SAT 0.004998 0.00714197
claspmt 2.0-R4095-patched (fixed) (complete)3381293SAT 0.004998 0.014261
SAT09 reference solver:glucose 1.0 (complete)3366032SAT 0.005998 0.0117739
MPhaseSAT64 2011-05-14 (fixed) (complete)3394903SAT 0.005999 0.017659
EBGlucose 1.0 (incomplete)3498814SAT 0.006998 0.00856108
Lingeling 587f (fixed) (complete)3372901SAT 0.008997 0.014159
rcl 2011-04-01 (complete)3499114SAT 0.008998 0.00905498
minisat hack: minisat_psm 2011-04-01 (complete)3387577SAT 0.008998 0.021072
ppfolio par (complete)3310383SAT 0.008998 0.00727905
Lingeling 587 [DEPRECATED] (complete)3310021SAT 0.009997 0.0100221
Plingeling 587 [DEPRECATED] (complete)3310023SAT 0.026995 0.0161761
QuteRSat 2011-05-12 (fixed) (complete)3384503SAT 0.030995 0.0332589
Plingeling 587f (fixed) (complete)3372902SAT 0.05699 0.0190421
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3394902SAT 0.25796 0.0467861
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3321258SAT 0.45193 0.071079
borg-sat 11.03.02-seq-industrial (fixed) (complete)3498514SAT 0.503922 0.750001
Satisfiability Solver Selector 2011-03-18 (complete)3450195SAT 2.74658 2.78131
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362382? (exit code) 0.009997 0.0130269
borg-sat 11.03.02-par-industrial (fixed) (complete)3381292? (exit code) 0.743886 0.954098
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3322687? (exit code) 0.756884 0.95945

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 0