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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
MD5SUMd645722ef726f8347e5e1cd19bda8fdf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1700
Sum of the clauses size5100
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31700
Number of clauses of size 40
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
SATzilla2009_R 2009-03-22 (complete)1539734SAT 0.013997 0.014199
gnovelty+2-H 2009-03-22 (incomplete)1529011SAT 0.016996 0.0172509
iPAWS 2009-03-22 (incomplete)1522296SAT 0.021996 0.021804
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546068SAT 0.023995 0.023688
adaptg2wsat2009 2009-03-23 (incomplete)1534587SAT 0.023995 0.02271
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546067SAT 0.025995 0.0268911
Hybrid2 2009-03-22 (incomplete)1523880SAT 0.032994 0.033414
adaptg2wsat2009++ 2009-03-23 (incomplete)1534588SAT 0.036994 0.0374949
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1542969SAT 0.050991 0.028598
gnovelty+2 2009-03-22 (incomplete)1529012SAT 0.055991 0.0576961
hybridGM3 3 (incomplete)1542966SAT 0.071988 0.071384
gNovelty+-V.2-T 2009-03-22 (incomplete)1542970SAT 0.074987 0.0421279
TNM 2009-03-22 (incomplete)1523882SAT 0.074988 0.074983
hybridGM7 7 (incomplete)1542967SAT 0.138978 0.1381
hybridGM 1 (incomplete)1542965SAT 0.170973 0.171767
MoRsat 2009-03-03 (complete)1521726SAT 0.208967 0.209289
gNovelty+-T 2009-03-22 (incomplete)1542968SAT 0.215966 0.180464
NCVWr 2009-03-22 (incomplete)1523881SAT 0.218965 0.219007
gnovelty+ 2009-03-22 (incomplete)1529010SAT 0.223965 0.22407
SAT07 reference solver: SATzilla RANDOM (complete)1544927SAT 1.55176 1.55218
SATzilla2009_C 2009-03-22 (complete)1539735SAT 1.56276 1.56384
SAT07 reference solver: March KS 2007-02-08 (complete)1544928SAT 5.10422 5.11032
march_hi hi (complete)1518577SAT 7.2169 7.21975
march_nn nn (complete)1518578SAT 12.1971 12.2004
SATzilla2009_I 2009-03-22 (complete)1539736SAT 20.8798 20.9053
IUT_BMB_SAT 1.0 (complete)1534586SAT 70.2503 70.2779
picosat 913 (complete)1518574SAT 175.326 175.391
SApperloT base (complete)1534584SAT 216.694 216.751
VARSAT-random 2009-03-22 (complete)1518581SAT 222.908 222.971
VARSAT-crafted 2009-03-22 (complete)1518579SAT 542.974 543.176
clasp 1.2.0-SAT09-32 (complete)1518576SAT 580.724 580.938
VARSAT-industrial 2009-03-22 (complete)1518580SAT 724.147 724.389
glucose 1.0 (complete)1518572SAT 1076.27 1076.87
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520524SAT 1103.69 1103.97
LySAT c/2009-03-20 (complete)1527175SAT 1167.63 1167.94
CircUs 2009-03-23 (complete)1524576? (TO) 1200.02 1200.31
CSat 2009-03-22 (complete)1521156? (TO) 1200.02 1200.41
slstc 1.0 (incomplete)1518582? (TO) 1200.03 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530720? (TO) 1200.03 1200.61
MiniSAT 09z 2009-03-22 (complete)1833456? (TO) 1200.04 1200.31
minisat_cumr p-2009-03-18 (complete)1833455? (TO) 1200.05 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1530721? (TO) 1200.06 1200.41
LySAT i/2009-03-20 (complete)1527174? (TO) 1200.06 1200.61
precosat 236 (complete)1518575? (TO) 1200.08 1200.51
MXC 2009-03-10 (complete)1518573? (TO) 1200.09 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527177? (TO) 1200.1 601.419
kw 2009-03-20 (complete)1520523? (TO) 1200.1 1200.42
HydraSAT 2009-03-22-Base (complete)1530722? (TO) 1200.11 1200.42
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527178? (TO) 1200.11 601.419
tts tts-5-0 (complete)1531923? (TO) 1200.11 1200.57
Rsat 2009-03-22 (complete)1538150? (TO) 1200.12 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527176? (TO) 1200.15 601.421
satake 2009-03-22 (complete)1543850? (TO) 1200.16 692.886
SApperloT hrp (complete)1534585? (TO) 1200.18 1200.58
ttsth-5-0 2009-03-19 (complete)1531924? (TO) 1200.19 601.592
SAT4J CORE 2.1 RC1 (complete)1518571? (TO) 1200.3 1200.25

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 -299 -300 -301 -302 303 304 -305
-306 -307 -308 -309 310 -311 -312 -313 -314 -315 316 317 318 -319 -320 321 -322 -323 324 325 -326 -327 328 329 -330 -331 -332 -333 334 -335
-336 -337 -338 -339 340 -341 342 -343 344 -345 346 -347 -348 -349 350 351 -352 -353 354 355 356 -357 -358 359 360 -361 362 363 -364 365 -366
367 -368 -369 -370 -371 -372 373 -374 375 -376 377 -378 -379 -380 381 -382 -383 -384 -385 386 -387 -388 389 390 391 392 393 394 -395 396 397
398 -399 -400 0