SAT 2011 Competition: main competition (phase 1): 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
shortsattime2011 2011-03-02 (incomplete)3292451SAT 0.000999 0.00662092
sattime 2011-03-02 (incomplete)3292450SAT 0.000999 0.00612492
sattime+ 2011-03-02 (incomplete)3292455SAT 0.000999 0.00627204
adaptg2wsat2011 2011-03-02 (incomplete)3292453SAT 0.000999 0.00633907
Black Hole SAT 2011-03-08 (complete)3292459SAT 0.000999 0.00616601
sattime2011 2011-03-02 (incomplete)3292449SAT 0.000999 0.00606308
minisat hack: cir_minisat 2011-03-02 (complete)3348553SAT 0.000999 0.0137919
SApperloT 2011-03-23 (complete)3292488SAT 0.001998 0.00640308
shortsattime+ 2011-03-02 (incomplete)3292454SAT 0.001998 0.00607005
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349753SAT 0.001998 0.01316
RestartSAT B95 (complete)3292456SAT 0.001998 0.00735104
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318045SAT 0.001998 0.010833
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349453SAT 0.001999 0.013917
RestartSAT A75 (complete)3292457SAT 0.001999 0.00647302
PicoSAT 941 (complete)3292472SAT 0.001999 0.00634193
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350053SAT 0.001999 0.00801095
minisat hack reference: minisat 2.2.0 (complete)3362550SAT 0.001999 0.013223
claspmt 2.0-R4095 [DEPRECATED] (complete)3299780SAT 0.002998 0.00695297
glueminisat 2.2.5 (complete)3292483SAT 0.002998 0.00724412
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349153SAT 0.002998 0.016205
minisat hack: contrasat 2011-03-02 (complete)3350353SAT 0.002998 0.0109199
clasp 2.0-R4092-indust (complete)3300080SAT 0.002998 0.00649894
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380301SAT 0.002998 0.0161761
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3292463SAT 0.002999 0.00642304
SAT09 reference solver:precosat 236 (complete)3309121SAT 0.002999 0.00603197
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3292465SAT 0.003998 0.0072111
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368301SAT 0.003998 0.013152
kw 2011-02-28 (complete)3292489SAT 0.003998 0.00611495
UmSat 2011-05-12 (fixed) (complete)3379401SAT 0.003998 0.016305
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370701SAT 0.003998 0.0127689
claspmt 2.0-R4095-patched (fixed) (complete)3373401SAT 0.004998 0.0114939
SApperloT2010 2011-05-15 (fixed) (complete)3380001SAT 0.004998 0.014024
CryptoMiniSat TechDemo-Alpha-st (complete)3292461SAT 0.004998 0.0171
ppfolio seq (complete)3292481SAT 0.005998 0.00768001
glucose 2 (complete)3292484SAT 0.005998 0.00697299
MPhaseSAT 2011-02-15 (complete)3292445SAT 0.005998 0.00782204
SAT09 reference solver:glucose 1.0 (complete)3309122SAT 0.005998 0.043116
march_rw 2011-03-02 (complete)3292448SAT 0.006998 0.00670495
EBGlucose 1.0 (incomplete)3292485SAT 0.006998 0.00929198
MPhaseSAT64 2011-05-14 (fixed) (complete)3375801SAT 0.006998 0.0129801
minisat hack: minisat_psm 2011-04-01 (complete)3348853SAT 0.006998 0.0109639
MPhaseSAT_M 2011-02-16 (complete)3292447SAT 0.006998 0.007523
synit_sat 2011-03-03 (complete)3292452SAT 0.007998 0.0108909
rcl 2011-04-01 (complete)3292477SAT 0.008997 0.0125971
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3292446SAT 0.008998 0.010596
Lingeling 587f (fixed) (complete)3371901SAT 0.008998 0.013275
sathys 2011-04-01 (complete)3292478SAT 0.008998 0.0127119
Lingeling 587 [DEPRECATED] (complete)3292474SAT 0.008998 0.00981399
SArTagnan 2011-03-24 [DEPRECATED] (complete)3292487SAT 0.009998 0.0076279
ppfolio par (complete)3292480SAT 0.010997 0.00958905
Plingeling 587 [DEPRECATED] (complete)3292473SAT 0.011997 0.012188
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3292462SAT 0.014996 0.00817806
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3292464SAT 0.020996 0.00978989
Plingeling 587f (fixed) (complete)3371301SAT 0.023995 0.0179709
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367101SAT 0.023995 0.0117919
riss Auto (complete)3292468SAT 0.028994 0.029579
QuteRSat 2011-05-12 (fixed) (complete)3377001SAT 0.028995 0.0305369
riss Auto (1200 s timeout) (complete)3473086SAT 0.028995 0.049972
riss Exp (complete)3292467SAT 0.029994 0.0297679
riss 1.0 (complete)3292466SAT 0.030994 0.033256
QuteRSat 2011-03-01 [DEPRECATED] (complete)3292475SAT 0.030994 0.0325679
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369501SAT 0.031994 0.0131229
SArTagnan 2011-05-15 (fixed) (complete)3386245SAT 0.034993 0.019546
priss UP (complete)3292469SAT 0.06399 0.0514999
Sol 2011-04-04 (complete)3292476SAT 0.064989 0.0717169
CryptoMiniSat TechDemo-Alpha-mt (complete)3292460SAT 0.086986 0.032299
priss 1.0 (complete)3292471SAT 0.095984 0.0334501
jMiniSat 2011 (complete)3292490SAT 0.119981 0.126784
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3292479SAT 0.12298 0.11671
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484673SAT 0.38994 0.742795
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377901SAT 0.629903 1.02539
STRUCTure 0.1 (complete)3313325SAT 0.71989 0.373109
STRUCTure 0.1 (hbr=2) (complete)3312125SAT 1.17982 0.559673
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449855SAT 2.76358 2.79144
Satisfiability Solver Selector 2011-03-18 (complete)3292482SAT 2.76758 2.7996
priss Auto (complete)3292470SAT 3.23951 0.818434
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309123? (exit code) 0.005998 0.00778809
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362381? (exit code) 0.028994 0.016104
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317745? (exit code) 0.530919 0.809533
borg-sat 11.03.02-par-industrial (fixed) (complete)3378801? (exit code) 0.589909 0.87296
UmSat 2011-02-25 [DEPRECATED] (complete)3292458Signal 0.004998 0.00634397
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3292486No Cert. 0.004998 0.00632603

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