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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
MD5SUM46069fd95a12b364b1f1ad67bf25128f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark408.046
Satisfiable
(Un)Satisfiability was proved
Number of variables290
Number of clauses696
Sum of the clauses size1740
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2580
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5116
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+2-H 2009-03-22 (incomplete)1737390SAT 243.469 243.55
gnovelty+2 2009-03-22 (incomplete)1737391SAT 408.046 408.153
gNovelty+-V.2-T 2009-03-22 (incomplete)1737395SAT 827.805 414.91
NCVWr 2009-03-22 (incomplete)1737375SAT 1171.43 1171.76
SAT07 reference solver: SATzilla CRAFTED (complete)1737398? (exit code) 1198.95 1199.28
SATzilla2009_R 2009-03-22 (complete)1737371? (exit code) 1199.3 1199.9
SATzilla2009_I 2009-03-22 (complete)1737373? (exit code) 1199.31 1199.81
SATzilla2009_C 2009-03-22 (complete)1737372? (exit code) 1199.33 1199.79
MiniSAT 09z 2009-03-22 (complete)1834242? (TO) 1200 1200.71
LySAT i/2009-03-20 (complete)1737358? (TO) 1200.01 1200.61
VARSAT-industrial 2009-03-22 (complete)1737382? (TO) 1200.02 1200.31
minisat_cumr p-2009-03-18 (complete)1834241? (TO) 1200.02 1200.61
adaptg2wsat2009++ 2009-03-23 (incomplete)1737386? (TO) 1200.02 1200.31
CSat 2009-03-22 (complete)1737364? (TO) 1200.03 1200.42
hybridGM3 3 (incomplete)1737378? (TO) 1200.03 1200.41
CircUs 2009-03-23 (complete)1737387? (TO) 1200.04 1200.51
satake 2009-03-22 (complete)1737396? (TO) 1200.04 625.026
ManySAT 1.1 aimd 0/2009-03-20 (complete)1737360? (TO) 1200.05 601.419
SAT07 reference solver: minisat SAT 2007 (complete)1737397? (TO) 1200.05 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1737361? (TO) 1200.05 601.42
Rsat 2009-03-22 (complete)1737388? (TO) 1200.06 1200.61
clasp 1.2.0-SAT09-32 (complete)1737355? (TO) 1200.06 1200.41
picosat 913 (complete)1737353? (TO) 1200.06 1200.41
iPAWS 2009-03-22 (incomplete)1737363? (TO) 1200.06 1200.41
MXC 2009-03-10 (complete)1737351? (TO) 1200.06 1200.41
IUT_BMB_SAT 1.0 (complete)1737370? (TO) 1200.06 1200.91
VARSAT-random 2009-03-22 (complete)1737383? (TO) 1200.07 1200.41
MoRsat 2009-03-03 (complete)1737349? (TO) 1200.07 1200.51
precosat 236 (complete)1737354? (TO) 1200.07 1200.41
slstc 1.0 (incomplete)1737384? (TO) 1200.08 1200.51
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1737394? (TO) 1200.08 601.715
hybridGM 1 (incomplete)1737377? (TO) 1200.08 1200.41
tts tts-5-0 (complete)1737352? (TO) 1200.08 1200.52
TNM 2009-03-22 (incomplete)1737376? (TO) 1200.08 1200.51
VARSAT-crafted 2009-03-22 (complete)1737381? (TO) 1200.09 1200.41
SApperloT base (complete)1737356? (TO) 1200.09 1200.41
LySAT c/2009-03-20 (complete)1737359? (TO) 1200.09 1200.41
HydraSAT 2009-03-22-Base (complete)1737367? (TO) 1200.09 1200.41
Hybrid2 2009-03-22 (incomplete)1737374? (TO) 1200.09 1200.51
adaptg2wsat2009 2009-03-23 (incomplete)1737385? (TO) 1200.09 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1737399? (TO) 1200.1 1200.41
gnovelty+ 2009-03-22 (incomplete)1737380? (TO) 1200.1 1200.42
march_hi hi (complete)1737368? (TO) 1200.1 1200.46
glucose 1.0 (complete)1737350? (TO) 1200.11 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1737389? (TO) 1200.11 1200.41
march_nn nn (complete)1737369? (TO) 1200.11 1200.46
kw 2009-03-20 (complete)1737348? (TO) 1200.11 1200.52
HydraSAT-Flat 2009-03-22-Flat (complete)1737366? (TO) 1200.11 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1737365? (TO) 1200.12 1200.81
hybridGM7 7 (incomplete)1737379? (TO) 1200.12 1200.41
SApperloT hrp (complete)1737357? (TO) 1200.12 1200.45
ManySAT 1.1 aimd 2/2009-03-20 (complete)1737362? (TO) 1200.16 601.42
gNovelty+-T 2009-03-22 (incomplete)1737393? (TO) 1200.19 602.224
SAT4J CORE 2.1 RC1 (complete)1737347? (TO) 1200.23 1200.15
ttsth-5-0 2009-03-19 (complete)1737392? (TO) 1200.26 606.021

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 0