SAT 2009 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
MD5SUM3eaa6f3feb0ec3466c3c6ca585bd4a02
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark66.9688
Satisfiable
(Un)Satisfiability was proved
Number of variables298
Number of clauses2176
Sum of the clauses size9824
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41312
Number of clauses of size 5608
Number of clauses of size over 5256

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1731122SAT 66.9688 66.9924
precosat 236 (complete)1731125SAT 81.0927 81.1183
CircUs 2009-03-23 (complete)1731158SAT 81.4306 81.4524
VARSAT-crafted 2009-03-22 (complete)1731152SAT 93.9547 93.9784
SAT07 reference solver: SATzilla CRAFTED (complete)1731169SAT 112.884 112.923
kw 2009-03-20 (complete)1731119SAT 119.848 120.18
VARSAT-industrial 2009-03-22 (complete)1731153SAT 130.969 131.01
IUT_BMB_SAT 1.0 (complete)1731141SAT 160.446 160.509
SAT07 reference solver: minisat SAT 2007 (complete)1731168SAT 161.292 161.378
SATzilla2009_C 2009-03-22 (complete)1731143SAT 184.051 184.179
ManySAT 1.1 aimd 0/2009-03-20 (complete)1731131SAT 239.53 120.063
VARSAT-random 2009-03-22 (complete)1731154SAT 291.892 291.982
ManySAT 1.1 aimd 1/2009-03-20 (complete)1731132SAT 308.407 154.581
LySAT c/2009-03-20 (complete)1731130SAT 332.539 332.679
MiniSat 2.1 (Sat-race'08 Edition) (complete)1731160SAT 461.258 461.392
SATzilla2009_I 2009-03-22 (complete)1731144SAT 579.158 579.452
picosat 913 (complete)1731124SAT 593.057 593.228
MoRsat 2009-03-03 (complete)1731120SAT 676.514 676.757
clasp 1.2.0-SAT09-32 (complete)1731126SAT 740.79 741.049
MiniSAT 09z 2009-03-22 (complete)1832366SAT 861.97 862.293
SAT4J CORE 2.1 RC1 (complete)1731118SAT 885.126 885.005
SApperloT base (complete)1731127SAT 923.213 923.484
HydraSAT-Multi 2009-03-22-Multi (complete)1731136SAT 1107.85 1108.36
SATzilla2009_R 2009-03-22 (complete)1731142? (exit code) 1199.16 1199.77
ttsth-5-0 2009-03-19 (complete)1731163? (MO) 1061.55 532.6
gnovelty+2 2009-03-22 (incomplete)1731162? (TO) 1200.01 1200.31
Rsat 2009-03-22 (complete)1731159? (TO) 1200.02 1200.51
slstc 1.0 (incomplete)1731155? (TO) 1200.02 1200.31
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1731165? (TO) 1200.03 601.816
CSat 2009-03-22 (complete)1731135? (TO) 1200.03 1200.41
adaptg2wsat2009 2009-03-23 (incomplete)1731156? (TO) 1200.04 1200.41
iPAWS 2009-03-22 (incomplete)1731134? (TO) 1200.04 1200.31
Hybrid2 2009-03-22 (incomplete)1731145? (TO) 1200.04 1200.41
NCVWr 2009-03-22 (incomplete)1731146? (TO) 1200.04 1200.41
glucose 1.0 (complete)1731121? (TO) 1200.05 1200.41
adaptg2wsat2009++ 2009-03-23 (incomplete)1731157? (TO) 1200.05 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1731170? (TO) 1200.08 1200.71
minisat_cumr p-2009-03-18 (complete)1832365? (TO) 1200.08 1200.61
LySAT i/2009-03-20 (complete)1731129? (TO) 1200.09 1200.41
hybridGM7 7 (incomplete)1731150? (TO) 1200.09 1200.41
hybridGM3 3 (incomplete)1731149? (TO) 1200.09 1200.41
satake 2009-03-22 (complete)1731167? (TO) 1200.09 674.972
HydraSAT-Flat 2009-03-22-Flat (complete)1731137? (TO) 1200.09 1200.42
hybridGM 1 (incomplete)1731148? (TO) 1200.09 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1731161? (TO) 1200.1 1200.41
TNM 2009-03-22 (incomplete)1731147? (TO) 1200.1 1200.41
gnovelty+ 2009-03-22 (incomplete)1731151? (TO) 1200.1 1200.42
HydraSAT 2009-03-22-Base (complete)1731138? (TO) 1200.1 1200.42
march_nn nn (complete)1731140? (TO) 1200.11 1200.44
SApperloT hrp (complete)1731128? (TO) 1200.12 1200.66
ManySAT 1.1 aimd 2/2009-03-20 (complete)1731133? (TO) 1200.12 601.419
gNovelty+-V.2-T 2009-03-22 (incomplete)1731166? (TO) 1200.13 601.718
march_hi hi (complete)1731139? (TO) 1200.13 1200.54
gNovelty+-T 2009-03-22 (incomplete)1731164? (TO) 1200.21 602.024
tts tts-5-0 (complete)1731123? (TO) 1200.27 1200.61

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 -232 -233 234 235 -236 237 238 -239 -240 241 -242
243 -244 -245 -246 247 -248 -249 250 251 252 -253 -254 255 -256 -257 258 -259 260 -261 262 -263 -264 265 266 267 -268 -269 270 -271 -272 273
-274 -275 -276 277 278 -279 280 -281 -282 -283 284 285 -286 -287 -288 289 -290 291 292 293 -294 -295 -296 -297 -298 0