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-S1459690542-033.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
MD5SUMc06f037558f89bd433f3640c2e148f97
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
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)1529177SAT 0.006998 0.00767089
gnovelty+2-H 2009-03-22 (incomplete)1529176SAT 0.006998 0.0073399
TNM 2009-03-22 (incomplete)1524047SAT 0.007998 0.0085631
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543299SAT 0.010997 0.00894103
adaptg2wsat2009 2009-03-23 (incomplete)1534862SAT 0.015997 0.015679
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546178SAT 0.016996 0.0171961
adaptg2wsat2009++ 2009-03-23 (incomplete)1534863SAT 0.018996 0.0191429
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546177SAT 0.019996 0.020572
iPAWS 2009-03-22 (incomplete)1522351SAT 0.023995 0.0229531
gNovelty+-V.2-T 2009-03-22 (incomplete)1543300SAT 0.024995 0.0162111
MoRsat 2009-03-03 (complete)1521781SAT 0.025996 0.0266831
SATzilla2009_R 2009-03-22 (complete)1539899SAT 0.036993 0.037393
hybridGM3 3 (incomplete)1543296SAT 0.036993 0.036306
hybridGM 1 (incomplete)1543295SAT 0.049992 0.0506589
Hybrid2 2009-03-22 (incomplete)1524045SAT 0.051991 0.0526621
hybridGM7 7 (incomplete)1543297SAT 0.076987 0.0774979
NCVWr 2009-03-22 (incomplete)1524046SAT 0.103983 0.104437
SAT07 reference solver: March KS 2007-02-08 (complete)1545038SAT 0.148976 0.150188
gnovelty+ 2009-03-22 (incomplete)1529175SAT 0.166974 0.167025
gNovelty+-T 2009-03-22 (incomplete)1543298SAT 0.203968 0.174027
march_hi hi (complete)1519237SAT 0.836871 0.838049
SATzilla2009_C 2009-03-22 (complete)1539900SAT 1.17482 1.17606
SAT07 reference solver: SATzilla RANDOM (complete)1545037SAT 1.17682 1.17661
march_nn nn (complete)1519238SAT 2.12668 2.12875
VARSAT-crafted 2009-03-22 (complete)1519239SAT 2.79157 2.81032
picosat 913 (complete)1519234SAT 3.2935 3.29434
IUT_BMB_SAT 1.0 (complete)1534861SAT 10.1675 10.1718
SATzilla2009_I 2009-03-22 (complete)1539901SAT 11.0813 11.0987
LySAT c/2009-03-20 (complete)1527450SAT 13.5599 13.5695
HydraSAT 2009-03-22-Base (complete)1530887SAT 13.6009 13.6062
clasp 1.2.0-SAT09-32 (complete)1519236SAT 17.2884 17.2946
VARSAT-random 2009-03-22 (complete)1519241SAT 17.7793 17.8906
SApperloT base (complete)1534859SAT 19.922 19.9283
slstc 1.0 (incomplete)1519242SAT 21.9147 21.9217
satake 2009-03-22 (complete)1543905SAT 33.9288 20.4603
MXC 2009-03-10 (complete)1519233SAT 37.0954 37.111
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527451SAT 44.2543 22.1955
VARSAT-industrial 2009-03-22 (complete)1519240SAT 45.978 45.996
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520634SAT 47.5488 47.563
MiniSAT 09z 2009-03-22 (complete)1833566SAT 89.9553 89.9944
HydraSAT-Flat 2009-03-22-Flat (complete)1530886SAT 101.601 101.633
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527453SAT 102.961 51.6206
precosat 236 (complete)1519235SAT 105.496 105.541
HydraSAT-Multi 2009-03-22-Multi (complete)1530885SAT 144.776 144.839
kw 2009-03-20 (complete)1520633SAT 164.217 164.197
SAT4J CORE 2.1 RC1 (complete)1519231SAT 208.227 207.827
minisat_cumr p-2009-03-18 (complete)1833565SAT 243.129 243.275
glucose 1.0 (complete)1519232SAT 263.979 264.053
CircUs 2009-03-23 (complete)1524631SAT 297.831 297.941
LySAT i/2009-03-20 (complete)1527449SAT 307.623 307.757
Rsat 2009-03-22 (complete)1538205SAT 883.16 883.466
CSat 2009-03-22 (complete)1521211? (TO) 1200.1 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527452? (TO) 1200.11 601.419
SApperloT hrp (complete)1534860? (TO) 1200.14 1200.43
ttsth-5-0 2009-03-19 (complete)1532034? (TO) 1200.19 601.622
tts tts-5-0 (complete)1532033? (TO) 1200.2 1200.6

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