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

Result page for benchmark
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
MD5SUM327600404ca46d59d12ad4e7ba1e4999
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark64.9541
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses600
Sum of the clauses size1500
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2500
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5100
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gNovelty+-V.2-T 2009-03-22 (incomplete)1737448SAT 20.5199 10.2939
gnovelty+2 2009-03-22 (incomplete)1737444SAT 64.9541 64.9739
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1737447SAT 71.0092 35.6065
gnovelty+2-H 2009-03-22 (incomplete)1737443SAT 93.6658 93.6936
SATzilla2009_R 2009-03-22 (complete)1737424SAT 96.1114 96.1432
TNM 2009-03-22 (incomplete)1737429SAT 240.648 240.716
adaptg2wsat2009++ 2009-03-23 (incomplete)1737439SAT 271.802 271.912
iPAWS 2009-03-22 (incomplete)1737416SAT 395.617 395.723
Hybrid2 2009-03-22 (incomplete)1737427SAT 427.597 427.722
NCVWr 2009-03-22 (incomplete)1737428SAT 661.284 661.467
adaptg2wsat2009 2009-03-23 (incomplete)1737438SAT 939.387 939.803
tts tts-5-0 (complete)1737405? 1200.03 1200.37
SAT07 reference solver: SATzilla CRAFTED (complete)1737451? (exit code) 1199.09 1199.69
SATzilla2009_C 2009-03-22 (complete)1737425? (exit code) 1199.26 1199.71
SATzilla2009_I 2009-03-22 (complete)1737426? (exit code) 1199.26 1199.8
LySAT i/2009-03-20 (complete)1737411? (TO) 1200.01 1200.41
CircUs 2009-03-23 (complete)1737440? (TO) 1200.02 1200.31
slstc 1.0 (incomplete)1737437? (TO) 1200.02 1200.41
HydraSAT 2009-03-22-Base (complete)1737420? (TO) 1200.02 1200.31
SAT07 reference solver: March KS 2007-02-08 (complete)1737452? (TO) 1200.02 1200.61
minisat_cumr p-2009-03-18 (complete)1834243? (TO) 1200.03 1200.81
SApperloT base (complete)1737409? (TO) 1200.03 1199.91
glucose 1.0 (complete)1737403? (TO) 1200.04 1200.61
SAT07 reference solver: minisat SAT 2007 (complete)1737450? (TO) 1200.04 1200.51
MiniSat 2.1 (Sat-race'08 Edition) (complete)1737442? (TO) 1200.05 1200.41
picosat 913 (complete)1737406? (TO) 1200.06 1200.41
precosat 236 (complete)1737407? (TO) 1200.06 1200.41
VARSAT-random 2009-03-22 (complete)1737436? (TO) 1200.06 1200.41
hybridGM3 3 (incomplete)1737431? (TO) 1200.06 1200.41
MoRsat 2009-03-03 (complete)1737402? (TO) 1200.06 1200.41
gnovelty+ 2009-03-22 (incomplete)1737433? (TO) 1200.07 1200.42
MXC 2009-03-10 (complete)1737404? (TO) 1200.07 1200.41
Rsat 2009-03-22 (complete)1737441? (TO) 1200.07 1200.71
gNovelty+-T 2009-03-22 (incomplete)1737446? (TO) 1200.07 602.123
HydraSAT-Flat 2009-03-22-Flat (complete)1737419? (TO) 1200.07 1200.51
LySAT c/2009-03-20 (complete)1737412? (TO) 1200.07 1200.71
VARSAT-crafted 2009-03-22 (complete)1737434? (TO) 1200.08 1200.51
HydraSAT-Multi 2009-03-22-Multi (complete)1737418? (TO) 1200.08 1200.41
hybridGM 1 (incomplete)1737430? (TO) 1200.08 1200.41
ManySAT 1.1 aimd 2/2009-03-20 (complete)1737415? (TO) 1200.08 601.419
SApperloT hrp (complete)1737410? (TO) 1200.08 1200.44
hybridGM7 7 (incomplete)1737432? (TO) 1200.08 1200.61
VARSAT-industrial 2009-03-22 (complete)1737435? (TO) 1200.09 1200.51
IUT_BMB_SAT 1.0 (complete)1737423? (TO) 1200.09 1200.61
kw 2009-03-20 (complete)1737401? (TO) 1200.1 1200.52
MiniSAT 09z 2009-03-22 (complete)1834244? (TO) 1200.1 1200.51
clasp 1.2.0-SAT09-32 (complete)1737408? (TO) 1200.11 1200.51
CSat 2009-03-22 (complete)1737417? (TO) 1200.11 1200.42
march_nn nn (complete)1737422? (TO) 1200.13 1200.56
ManySAT 1.1 aimd 0/2009-03-20 (complete)1737413? (TO) 1200.14 601.419
march_hi hi (complete)1737421? (TO) 1200.14 1200.56
ManySAT 1.1 aimd 1/2009-03-20 (complete)1737414? (TO) 1200.16 601.419
satake 2009-03-22 (complete)1737449? (TO) 1200.17 639.33
ttsth-5-0 2009-03-19 (complete)1737445? (TO) 1200.24 605.588
SAT4J CORE 2.1 RC1 (complete)1737400? (TO) 1200.29 1200.13

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 0