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

Result page for benchmark
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
MD5SUM36c3169a5cad0483dd15befcefc4323e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark139.788
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of clauses146535
Sum of the clauses size858954
Maximum clause length14
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 22476
Number of clauses of size 34
Number of clauses of size 41387
Number of clauses of size 57328
Number of clauses of size over 5135276

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
IUT_BMB_SAT 1.0 (complete)1734064SAT 139.788 139.851
SATzilla2009_C 2009-03-22 (complete)1734066? (exit code) 1198.9 1199.27
SAT07 reference solver: SATzilla CRAFTED (complete)1594739? (exit code) 1199.2 1199.68
SATzilla2009_I 2009-03-22 (complete)1734067? (exit code) 1199.42 1200.07
SATzilla2009_R 2009-03-22 (complete)1734065? (exit code) 1199.44 1199.94
ttsth-5-0 2009-03-19 (complete)1734086? (MO) 1067.41 537.462
tts tts-5-0 (complete)1734046? (MO) 1172.15 1172.5
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734054? (TO) 1200 603.823
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734055? (TO) 1200.02 603.924
minisat_cumr p-2009-03-18 (complete)1834059? (TO) 1200.02 1200.51
Rsat 2009-03-22 (complete)1734082? (TO) 1200.03 1200.51
march_hi hi (complete)1734062? (TO) 1200.03 1200.32
SAT07 reference solver: minisat SAT 2007 (complete)1594738? (TO) 1200.03 1200.51
gnovelty+2-H 2009-03-22 (incomplete)1734084? (TO) 1200.04 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734088? (TO) 1200.04 601.514
VARSAT-crafted 2009-03-22 (complete)1734075? (TO) 1200.04 1200.42
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734056? (TO) 1200.05 604.119
CSat 2009-03-22 (complete)1734058? (TO) 1200.05 1200.32
LySAT c/2009-03-20 (complete)1734053? (TO) 1200.05 1200.61
SAT07 reference solver: March KS 2007-02-08 (complete)1595709? (TO) 1200.06 1200.62
glucose 1.0 (complete)1734044? (TO) 1200.06 1200.71
MiniSAT 09z 2009-03-22 (complete)1834060? (TO) 1200.06 1200.41
adaptg2wsat2009++ 2009-03-23 (incomplete)1734080? (TO) 1200.06 1200.41
march_nn nn (complete)1734063? (TO) 1200.06 1200.42
iPAWS 2009-03-22 (incomplete)1734057? (TO) 1200.06 1200.71
hybridGM 1 (incomplete)1734071? (TO) 1200.06 1200.41
LySAT i/2009-03-20 (complete)1734052? (TO) 1200.06 1200.61
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734083? (TO) 1200.07 1200.42
TNM 2009-03-22 (incomplete)1734070? (TO) 1200.07 1200.51
gNovelty+-V.2-T 2009-03-22 (incomplete)1734089? (TO) 1200.07 601.515
MXC 2009-03-10 (complete)1734045? (TO) 1200.07 1200.42
picosat 913 (complete)1734047? (TO) 1200.08 1200.42
NCVWr 2009-03-22 (incomplete)1734069? (TO) 1200.08 1200.41
adaptg2wsat2009 2009-03-23 (incomplete)1734079? (TO) 1200.08 1200.41
VARSAT-industrial 2009-03-22 (complete)1734076? (TO) 1200.08 1200.42
precosat 236 (complete)1734048? (TO) 1200.08 1200.42
Hybrid2 2009-03-22 (incomplete)1734068? (TO) 1200.08 1200.41
gnovelty+ 2009-03-22 (incomplete)1734074? (TO) 1200.08 1200.42
HydraSAT-Multi 2009-03-22-Multi (complete)1734059? (TO) 1200.08 1200.61
hybridGM3 3 (incomplete)1734072? (TO) 1200.09 1200.41
MoRsat 2009-03-03 (complete)1734043? (TO) 1200.09 1200.42
CircUs 2009-03-23 (complete)1734081? (TO) 1200.09 1200.42
SApperloT base (complete)1734050? (TO) 1200.1 1200.42
slstc 1.0 (incomplete)1734078? (TO) 1200.1 1200.41
clasp 1.2.0-SAT09-32 (complete)1734049? (TO) 1200.1 1200.41
HydraSAT 2009-03-22-Base (complete)1734061? (TO) 1200.11 1200.53
gnovelty+2 2009-03-22 (incomplete)1734085? (TO) 1200.11 1200.41
VARSAT-random 2009-03-22 (complete)1734077? (TO) 1200.12 1200.42
HydraSAT-Flat 2009-03-22-Flat (complete)1734060? (TO) 1200.13 1200.43
kw 2009-03-20 (complete)1734042? (TO) 1200.13 1200.45
SApperloT hrp (complete)1734051? (TO) 1200.13 1200.44
satake 2009-03-22 (complete)1734090? (TO) 1200.16 602.231
gNovelty+-T 2009-03-22 (incomplete)1734087? (TO) 1200.23 601.73
SAT4J CORE 2.1 RC1 (complete)1734041? (TO) 1200.44 1199.66
hybridGM7 7 (incomplete)1734073Signal 30.2984 30.3101

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 480 481 -482 483 -484 -485 -486 -487 488 -489 -490 -491 492 -493 -494 -495 -496
-497 -498 -499 -500 -501 -502 503 -504 -505 -506 -507 -508 -509 -510 -511 -512 513 -514 515 -516 -517 -518 -519 520 -521 -522 -523 -524 525
526 0