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-S2032263657-035.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
MD5SUM53f64d3919c2bd6a89e2520e3c5780bd
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+-V.2-T 2009-03-22 (incomplete)1543312SAT 0.005999 0.00683393
TNM 2009-03-22 (incomplete)1524053SAT 0.007998 0.00800394
Hybrid2 2009-03-22 (incomplete)1524051SAT 0.007998 0.00895789
gnovelty+2 2009-03-22 (incomplete)1529183SAT 0.008997 0.00899698
adaptg2wsat2009 2009-03-23 (incomplete)1534872SAT 0.009997 0.010166
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543311SAT 0.010997 0.00870802
gnovelty+2-H 2009-03-22 (incomplete)1529182SAT 0.010997 0.0112721
SATzilla2009_R 2009-03-22 (complete)1539905SAT 0.010997 0.0111089
iPAWS 2009-03-22 (incomplete)1522353SAT 0.010998 0.0117721
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546182SAT 0.011997 0.0124009
adaptg2wsat2009++ 2009-03-23 (incomplete)1534873SAT 0.012997 0.013092
MoRsat 2009-03-03 (complete)1521783SAT 0.017996 0.016706
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546181SAT 0.020996 0.0203141
march_hi hi (complete)1519261SAT 0.025995 0.0263571
march_nn nn (complete)1519262SAT 0.027995 0.0285991
NCVWr 2009-03-22 (incomplete)1524052SAT 0.028995 0.029466
hybridGM7 7 (incomplete)1543309SAT 0.035994 0.0361401
hybridGM3 3 (incomplete)1543308SAT 0.038993 0.039905
hybridGM 1 (incomplete)1543307SAT 0.045992 0.046975
SAT07 reference solver: March KS 2007-02-08 (complete)1545042SAT 0.094984 0.0944271
gNovelty+-T 2009-03-22 (incomplete)1543310SAT 0.155975 0.148041
gnovelty+ 2009-03-22 (incomplete)1529181SAT 0.172973 0.172191
clasp 1.2.0-SAT09-32 (complete)1519260SAT 0.214967 0.216188
minisat_cumr p-2009-03-18 (complete)1833569SAT 0.304952 0.319926
SATzilla2009_C 2009-03-22 (complete)1539906SAT 1.10083 1.10095
slstc 1.0 (incomplete)1519266SAT 1.15582 1.15576
SAT07 reference solver: SATzilla RANDOM (complete)1545041SAT 1.18782 1.18941
picosat 913 (complete)1519258SAT 2.80557 2.80541
LySAT c/2009-03-20 (complete)1527460SAT 4.25435 4.25956
IUT_BMB_SAT 1.0 (complete)1534871SAT 4.6073 4.60922
VARSAT-random 2009-03-22 (complete)1519265SAT 5.14422 5.1457
SATzilla2009_I 2009-03-22 (complete)1539907SAT 6.79497 6.80435
VARSAT-crafted 2009-03-22 (complete)1519263SAT 8.15476 8.15767
SApperloT base (complete)1534869SAT 11.2633 11.2666
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520638SAT 12.2491 12.2525
kw 2009-03-20 (complete)1520637SAT 19.503 19.509
MXC 2009-03-10 (complete)1519257SAT 20.1839 20.1932
CircUs 2009-03-23 (complete)1524633SAT 20.3609 20.3682
CSat 2009-03-22 (complete)1521213SAT 21.8587 21.8667
HydraSAT 2009-03-22-Base (complete)1530893SAT 28.6027 28.6115
precosat 236 (complete)1519259SAT 37.5543 37.5651
VARSAT-industrial 2009-03-22 (complete)1519264SAT 38.0872 38.0984
satake 2009-03-22 (complete)1543907SAT 53.7948 32.5393
LySAT i/2009-03-20 (complete)1527459SAT 58.2231 58.2422
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527461SAT 75.8045 38.0045
glucose 1.0 (complete)1519256SAT 135.373 135.43
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527463SAT 199.887 100.238
HydraSAT-Flat 2009-03-22-Flat (complete)1530892SAT 239.043 239.118
HydraSAT-Multi 2009-03-22-Multi (complete)1530891SAT 502.973 503.192
SAT4J CORE 2.1 RC1 (complete)1519255SAT 702.873 706.973
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527462SAT 993.093 497.936
MiniSAT 09z 2009-03-22 (complete)1833570? (TO) 1200.03 1200.51
Rsat 2009-03-22 (complete)1538207? (TO) 1200.05 1201.22
SApperloT hrp (complete)1534870? (TO) 1200.08 1200.54
tts tts-5-0 (complete)1532037? (TO) 1200.13 1200.57
ttsth-5-0 2009-03-19 (complete)1532038? (TO) 1200.24 601.59

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