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-S1293537826-039.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
MD5SUM3cbdb12135a22f8cc0405b84f56b2b22
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.051991
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-H 2009-03-22 (incomplete)1543317SAT 0.036994 0.025738
SATzilla2009_R 2009-03-22 (complete)1539908SAT 0.051991 0.052512
hybridGM3 3 (incomplete)1543314SAT 0.052991 0.0545619
gnovelty+2-H 2009-03-22 (incomplete)1529185SAT 0.05599 0.0555399
iPAWS 2009-03-22 (incomplete)1522354SAT 0.055991 0.054612
gnovelty+2 2009-03-22 (incomplete)1529186SAT 0.058991 0.06038
TNM 2009-03-22 (incomplete)1524056SAT 0.060989 0.0612481
hybridGM7 7 (incomplete)1543315SAT 0.06199 0.061903
MoRsat 2009-03-03 (complete)1521784SAT 0.067989 0.068464
hybridGM 1 (incomplete)1543313SAT 0.105983 0.106877
adaptg2wsat2009 2009-03-23 (incomplete)1534877SAT 0.115981 0.115079
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546183SAT 0.117981 0.118628
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546184SAT 0.147977 0.147683
adaptg2wsat2009++ 2009-03-23 (incomplete)1534878SAT 0.166973 0.166413
gNovelty+-V.2-T 2009-03-22 (incomplete)1543318SAT 0.243961 0.125239
gnovelty+ 2009-03-22 (incomplete)1529184SAT 0.280956 0.281632
gNovelty+-T 2009-03-22 (incomplete)1543316SAT 0.676896 0.408894
Hybrid2 2009-03-22 (incomplete)1524054SAT 0.84487 0.844826
NCVWr 2009-03-22 (incomplete)1524055SAT 0.91686 0.917637
SAT07 reference solver: March KS 2007-02-08 (complete)1545044SAT 4.42933 4.43191
SAT07 reference solver: SATzilla RANDOM (complete)1545043SAT 5.03423 5.03742
march_hi hi (complete)1519273SAT 20.6859 20.6917
march_nn nn (complete)1519274SAT 28.6726 28.6856
SATzilla2009_I 2009-03-22 (complete)1539910SAT 37.8003 37.8347
slstc 1.0 (incomplete)1519278SAT 53.9808 53.999
clasp 1.2.0-SAT09-32 (complete)1519272SAT 77.3842 77.4133
SApperloT base (complete)1534874SAT 117.737 118.334
picosat 913 (complete)1519270SAT 120.299 120.284
LySAT c/2009-03-20 (complete)1527465SAT 156.7 156.772
VARSAT-crafted 2009-03-22 (complete)1519275SAT 220.505 220.554
MXC 2009-03-10 (complete)1519269SAT 461.924 462.077
VARSAT-random 2009-03-22 (complete)1519277SAT 579.462 579.633
IUT_BMB_SAT 1.0 (complete)1534876SAT 1006.66 1011.75
SATzilla2009_C 2009-03-22 (complete)1539909SAT 1081.58 1082.13
VARSAT-industrial 2009-03-22 (complete)1519276SAT 1135.5 1135.81
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527467? (TO) 1200.02 601.419
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527468? (TO) 1200.03 601.419
HydraSAT-Multi 2009-03-22-Multi (complete)1530894? (TO) 1200.03 1200.61
minisat_cumr p-2009-03-18 (complete)1833571? (TO) 1200.03 1200.91
glucose 1.0 (complete)1519268? (TO) 1200.05 1200.71
CircUs 2009-03-23 (complete)1524634? (TO) 1200.05 1200.41
HydraSAT 2009-03-22-Base (complete)1530896? (TO) 1200.06 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520640? (TO) 1200.06 1200.41
kw 2009-03-20 (complete)1520639? (TO) 1200.06 1200.42
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527466? (TO) 1200.07 601.419
Rsat 2009-03-22 (complete)1538208? (TO) 1200.07 1200.42
LySAT i/2009-03-20 (complete)1527464? (TO) 1200.08 1200.61
CSat 2009-03-22 (complete)1521214? (TO) 1200.08 1200.41
precosat 236 (complete)1519271? (TO) 1200.1 1200.51
MiniSAT 09z 2009-03-22 (complete)1833572? (TO) 1200.1 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1530895? (TO) 1200.11 1200.52
SApperloT hrp (complete)1534875? (TO) 1200.15 1200.47
tts tts-5-0 (complete)1532039? (TO) 1200.17 1200.68
satake 2009-03-22 (complete)1543908? (TO) 1200.2 699.883
ttsth-5-0 2009-03-19 (complete)1532040? (TO) 1200.22 601.636
SAT4J CORE 2.1 RC1 (complete)1519267? (TO) 1200.3 1200.24

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