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

Result page for benchmark
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
MD5SUMa4aa05bad2a3138b013cb1793208898f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.93249
Satisfiable
(Un)Satisfiability was proved
Number of variables479
Number of clauses123509
Sum of the clauses size724108
Maximum clause length13
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21999
Number of clauses of size 30
Number of clauses of size 41026
Number of clauses of size 56642
Number of clauses of size over 5113778

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: minisat SAT 2007 (complete)1594720SAT 9.93249 9.93598
MiniSAT 09z 2009-03-22 (complete)1834042SAT 130.004 130.048
HydraSAT-Multi 2009-03-22-Multi (complete)1733609SAT 191.081 191.154
precosat 236 (complete)1733598SAT 520.312 520.459
MXC 2009-03-10 (complete)1733595SAT 532.267 532.434
VARSAT-industrial 2009-03-22 (complete)1733626SAT 662.507 662.702
SAT4J CORE 2.1 RC1 (complete)1733591SAT 1045.62 1045.16
SATzilla2009_I 2009-03-22 (complete)1733617? (exit code) 1199.35 1199.83
SATzilla2009_R 2009-03-22 (complete)1733615? (exit code) 1199.41 1199.94
SATzilla2009_C 2009-03-22 (complete)1733616? (exit code) 1199.42 1200.07
SAT07 reference solver: SATzilla CRAFTED (complete)1594721? (exit code) 1199.64 1200.18
ttsth-5-0 2009-03-19 (complete)1733636? (MO) 648.831 327.37
VARSAT-random 2009-03-22 (complete)1733627? (TO) 1200.02 1200.32
Hybrid2 2009-03-22 (incomplete)1733618? (TO) 1200.02 1200.31
glucose 1.0 (complete)1733594? (TO) 1200.04 1200.71
LySAT i/2009-03-20 (complete)1733602? (TO) 1200.04 1200.81
IUT_BMB_SAT 1.0 (complete)1733614? (TO) 1200.04 1200.52
CSat 2009-03-22 (complete)1733608? (TO) 1200.05 1200.42
ManySAT 1.1 aimd 2/2009-03-20 (complete)1733606? (TO) 1200.05 603.419
gnovelty+2-H 2009-03-22 (incomplete)1733634? (TO) 1200.06 1200.41
march_nn nn (complete)1733613? (TO) 1200.06 1200.42
Rsat 2009-03-22 (complete)1733632? (TO) 1200.06 1200.71
ManySAT 1.1 aimd 0/2009-03-20 (complete)1733604? (TO) 1200.06 603.321
hybridGM3 3 (incomplete)1733622? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1733625? (TO) 1200.07 1200.41
MoRsat 2009-03-03 (complete)1733593? (TO) 1200.07 1200.42
slstc 1.0 (incomplete)1733628? (TO) 1200.08 1200.41
NCVWr 2009-03-22 (incomplete)1733619? (TO) 1200.08 1200.41
hybridGM 1 (incomplete)1733621? (TO) 1200.08 1200.51
minisat_cumr p-2009-03-18 (complete)1834041? (TO) 1200.08 1200.51
LySAT c/2009-03-20 (complete)1733603? (TO) 1200.09 1200.12
gnovelty+ 2009-03-22 (incomplete)1733624? (TO) 1200.09 1200.42
HydraSAT 2009-03-22-Base (complete)1733611? (TO) 1200.09 1200.41
adaptg2wsat2009++ 2009-03-23 (incomplete)1733630? (TO) 1200.09 1200.51
TNM 2009-03-22 (incomplete)1733620? (TO) 1200.09 1200.41
CircUs 2009-03-23 (complete)1733631? (TO) 1200.09 1200.42
gnovelty+2 2009-03-22 (incomplete)1733635? (TO) 1200.09 1200.41
iPAWS 2009-03-22 (incomplete)1733607? (TO) 1200.1 1200.51
march_hi hi (complete)1733612? (TO) 1200.1 1200.42
picosat 913 (complete)1733597? (TO) 1200.11 1200.52
MiniSat 2.1 (Sat-race'08 Edition) (complete)1733633? (TO) 1200.11 1200.42
adaptg2wsat2009 2009-03-23 (incomplete)1733629? (TO) 1200.11 1200.41
SApperloT base (complete)1733600? (TO) 1200.11 1200.42
SAT07 reference solver: March KS 2007-02-08 (complete)1595700? (TO) 1200.11 1200.72
gNovelty+-V.2-T 2009-03-22 (incomplete)1733639? (TO) 1200.11 601.514
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1733638? (TO) 1200.12 601.514
satake 2009-03-22 (complete)1733640? (TO) 1200.12 602.431
clasp 1.2.0-SAT09-32 (complete)1733599? (TO) 1200.12 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1733610? (TO) 1200.12 1200.42
SApperloT hrp (complete)1733601? (TO) 1200.12 1200.42
kw 2009-03-20 (complete)1733592? (TO) 1200.15 1200.56
tts tts-5-0 (complete)1733596? (TO) 1200.16 1200.52
ManySAT 1.1 aimd 1/2009-03-20 (complete)1733605? (TO) 1200.17 603.419
gNovelty+-T 2009-03-22 (incomplete)1733637? (TO) 1200.18 601.73
hybridGM7 7 (incomplete)1733623Signal 28.1837 28.2068

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 -401 -402 -403 404 405 406 -407 408
-409 -410 -411 -412 -413 -414 415 -416 417 418 419 420 421 422 -423 424 -425 -426 -427 -428 429 430 -431 432 -433 -434 435 -436 437 438 -439
440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 -451 -452 453 -454 -455 -456 -457 -458 -459 -460 -461 462 -463 -464 -465 466 -467 -468
-469 -470 471 472 -473 -474 -475 -476 477 -478 -479 0