SAT 2011 Competition: main competition (phase 1): 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.000999
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
PicoSAT 941 (complete)3292702SAT 0.000999 0.00615596
SApperloT 2011-03-23 (complete)3292718SAT 0.001999 0.00592899
shortsattime+ 2011-03-02 (incomplete)3292684SAT 0.001999 0.00631193
sattime2011 2011-03-02 (incomplete)3292679SAT 0.002999 0.00617302
sattime+ 2011-03-02 (incomplete)3292685SAT 0.002999 0.00653988
RestartSAT B95 (complete)3292686SAT 0.002999 0.00607302
adaptg2wsat2011 2011-03-02 (incomplete)3292683SAT 0.002999 0.00654308
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349046SAT 0.003998 0.012926
shortsattime2011 2011-03-02 (incomplete)3292681SAT 0.003998 0.00667802
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3349946SAT 0.003998 0.00855196
kw 2011-02-28 (complete)3292719SAT 0.003999 0.00613309
sattime 2011-03-02 (incomplete)3292680SAT 0.003999 0.00628396
minisat hack: contrasat 2011-03-02 (complete)3350246SAT 0.003999 0.0107461
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349346SAT 0.003999 0.014295
glueminisat 2.2.5 (complete)3292713SAT 0.003999 0.00614812
RestartSAT A75 (complete)3292687SAT 0.004998 0.0312829
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380194SAT 0.004998 0.0161929
minisat hack reference: minisat 2.2.0 (complete)3362443SAT 0.004998 0.012767
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3317938SAT 0.004999 0.0139101
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349646SAT 0.004999 0.0132371
minisat hack: cir_minisat 2011-03-02 (complete)3348446SAT 0.005998 0.011191
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309138SAT 0.005998 0.00873695
SAT09 reference solver:precosat 236 (complete)3309136SAT 0.005999 0.00610798
SApperloT2010 2011-05-15 (fixed) (complete)3379894SAT 0.005999 0.014281
ppfolio seq (complete)3292711SAT 0.007998 0.0083739
UmSat 2011-05-12 (fixed) (complete)3379294SAT 0.007998 0.0139239
UmSat 2011-02-25 [DEPRECATED] (complete)3292688SAT 0.008997 0.0091371
glucose 2 (complete)3292714SAT 0.008997 0.010512
minisat hack: minisat_psm 2011-04-01 (complete)3348746SAT 0.008998 0.01267
Lingeling 587f (fixed) (complete)3371794SAT 0.009997 0.0100879
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370594SAT 0.009997 0.0149109
Lingeling 587 [DEPRECATED] (complete)3292704SAT 0.009998 0.0119729
EBGlucose 1.0 (incomplete)3292715SAT 0.009998 0.0112859
SAT09 reference solver:glucose 1.0 (complete)3309137SAT 0.009998 0.009599
SArTagnan 2011-03-24 [DEPRECATED] (complete)3292717SAT 0.010997 0.00832903
MPhaseSAT 2011-02-15 (complete)3292675SAT 0.010997 0.011817
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3292695SAT 0.011997 0.0299379
sathys 2011-04-01 (complete)3292708SAT 0.011997 0.0139499
MPhaseSAT_M 2011-02-16 (complete)3292677SAT 0.011997 0.0174089
CryptoMiniSat TechDemo-Alpha-st (complete)3292691SAT 0.012997 0.0258811
rcl 2011-04-01 (complete)3292707SAT 0.016996 0.0184219
march_rw 2011-03-02 (complete)3292678SAT 0.016997 0.019472
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368194SAT 0.017996 0.0188971
MPhaseSAT64 2011-05-14 (fixed) (complete)3375694SAT 0.018997 0.020068
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3292693SAT 0.019996 0.0234999
ppfolio par (complete)3292710SAT 0.020996 0.0224051
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3292676SAT 0.020996 0.023952
claspmt 2.0-R4095 [DEPRECATED] (complete)3299673SAT 0.020996 0.0132869
clasp 2.0-R4092-indust (complete)3299973SAT 0.022995 0.023781
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3292694SAT 0.022995 0.0102611
claspmt 2.0-R4095-patched (fixed) (complete)3373294SAT 0.024995 0.016337
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3292692SAT 0.025995 0.011082
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362391SAT 0.028995 0.017594
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366994SAT 0.030994 0.014136
SArTagnan 2011-05-15 (fixed) (complete)3386138SAT 0.033993 0.0202169
Plingeling 587f (fixed) (complete)3371194SAT 0.037994 0.021199
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369394SAT 0.043992 0.0162979
Plingeling 587 [DEPRECATED] (complete)3292703SAT 0.045992 0.021158
QuteRSat 2011-03-01 [DEPRECATED] (complete)3292705SAT 0.066989 0.071853
CryptoMiniSat TechDemo-Alpha-mt (complete)3292690SAT 0.113981 0.039064
Black Hole SAT 2011-03-08 (complete)3292689SAT 0.176973 0.183527
synit_sat 2011-03-03 (complete)3292682SAT 0.268958 0.268896
jMiniSat 2011 (complete)3292720SAT 0.364943 0.257336
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484678SAT 0.460929 0.540948
borg-sat 11.03.02-par-industrial (fixed) (complete)3378694SAT 0.52292 0.563728
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377794SAT 0.549915 0.684539
riss Auto (complete)3292698SAT 0.686894 0.686548
riss Auto (1200 s timeout) (complete)3473103SAT 0.687894 0.687288
riss Exp (complete)3292697SAT 0.733888 0.73454
riss 1.0 (complete)3292696SAT 0.757883 0.758903
priss UP (complete)3292699SAT 0.886864 0.828714
STRUCTure 0.1 (complete)3313218SAT 2.72458 0.974194
Satisfiability Solver Selector 2011-03-18 (complete)3292712SAT 2.82957 2.86371
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449872SAT 2.95355 2.98502
priss Auto (complete)3292700SAT 3.2605 0.830924
priss 1.0 (complete)3292701SAT 3.40148 0.865537
QuteRSat 2011-05-12 (fixed) (complete)3376894SAT 18.7721 18.7729
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3292709SAT 36.0275 35.5041
Sol 2011-04-04 (complete)3292706SAT 46.7689 46.2254
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317638? (exit code) 0.97985 1.16862
STRUCTure 0.1 (hbr=2) (complete)3312018? (TO) 4800.18 1219.08
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3292716No Cert. 0.005998 0.00882997

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