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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
MD5SUM0b7c656709bcc63999a07f86368ab57c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses1530
Sum of the clauses size4590
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31530
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
gnovelty+2 2009-03-22 (incomplete)1529171SAT 0.007998 0.0083569
Hybrid2 2009-03-22 (incomplete)1524039SAT 0.008997 0.00844902
gnovelty+2-H 2009-03-22 (incomplete)1529170SAT 0.009997 0.00960008
adaptg2wsat2009 2009-03-23 (incomplete)1534852SAT 0.010997 0.0109039
NCVWr 2009-03-22 (incomplete)1524040SAT 0.013997 0.0145301
adaptg2wsat2009++ 2009-03-23 (incomplete)1534853SAT 0.014996 0.015708
SATzilla2009_R 2009-03-22 (complete)1539893SAT 0.014997 0.0145831
MoRsat 2009-03-03 (complete)1521779SAT 0.018997 0.019501
gNovelty+-V.2-T 2009-03-22 (incomplete)1543288SAT 0.022995 0.015253
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543287SAT 0.025995 0.0156601
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546174SAT 0.034994 0.0354541
hybridGM3 3 (incomplete)1543284SAT 0.036994 0.0374099
hybridGM7 7 (incomplete)1543285SAT 0.039992 0.0393349
hybridGM 1 (incomplete)1543283SAT 0.039992 0.0408759
iPAWS 2009-03-22 (incomplete)1522349SAT 0.042993 0.0434799
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546173SAT 0.043992 0.044725
TNM 2009-03-22 (incomplete)1524041SAT 0.061989 0.062526
SAT07 reference solver: March KS 2007-02-08 (complete)1545034SAT 0.086985 0.0882189
gnovelty+ 2009-03-22 (incomplete)1529169SAT 0.170973 0.171766
gNovelty+-T 2009-03-22 (incomplete)1543286SAT 0.185971 0.164678
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527441SAT 0.25696 0.136657
LySAT c/2009-03-20 (complete)1527440SAT 0.331949 0.331874
VARSAT-crafted 2009-03-22 (complete)1519215SAT 0.364943 0.366114
march_hi hi (complete)1519213SAT 0.489924 0.488946
march_nn nn (complete)1519214SAT 0.960853 0.961698
SAT07 reference solver: SATzilla RANDOM (complete)1545033SAT 1.08383 1.08566
SATzilla2009_C 2009-03-22 (complete)1539894SAT 1.08483 1.08443
VARSAT-random 2009-03-22 (complete)1519217SAT 1.12283 1.12337
minisat_cumr p-2009-03-18 (complete)1833561SAT 3.15952 3.16416
HydraSAT-Flat 2009-03-22-Flat (complete)1530880SAT 7.52785 7.53095
picosat 913 (complete)1519210SAT 7.66583 7.66887
clasp 1.2.0-SAT09-32 (complete)1519212SAT 8.14176 8.14447
satake 2009-03-22 (complete)1543903SAT 9.52255 5.86073
SATzilla2009_I 2009-03-22 (complete)1539895SAT 20.3039 20.3163
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520630SAT 23.8814 23.8883
VARSAT-industrial 2009-03-22 (complete)1519216SAT 24.4013 24.4114
MXC 2009-03-10 (complete)1519209SAT 29.5565 29.5655
IUT_BMB_SAT 1.0 (complete)1534851SAT 30.3274 30.3389
precosat 236 (complete)1519211SAT 34.4868 34.4976
LySAT i/2009-03-20 (complete)1527439SAT 39.473 39.4931
slstc 1.0 (incomplete)1519218SAT 40.8098 40.823
Rsat 2009-03-22 (complete)1538203SAT 44.4882 44.5094
SApperloT base (complete)1534849SAT 46.352 46.3729
glucose 1.0 (complete)1519208SAT 48.6106 48.6305
HydraSAT-Multi 2009-03-22-Multi (complete)1530879SAT 63.9893 64.0134
kw 2009-03-20 (complete)1520629SAT 65.4221 65.4427
SAT4J CORE 2.1 RC1 (complete)1519207SAT 83.9682 83.5597
SApperloT hrp (complete)1534850SAT 86.3669 86.3964
HydraSAT 2009-03-22-Base (complete)1530881SAT 131.534 131.576
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527443SAT 201.76 101.13
CircUs 2009-03-23 (complete)1524629SAT 272.458 272.548
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527442SAT 301.469 151.16
CSat 2009-03-22 (complete)1521209? (TO) 1200.06 1200.51
MiniSAT 09z 2009-03-22 (complete)1833562? (TO) 1200.11 1200.81
tts tts-5-0 (complete)1532029? (TO) 1200.17 1200.48
ttsth-5-0 2009-03-19 (complete)1532030? (TO) 1200.26 601.794

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 0