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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
MD5SUM227ae3ed738eb1cf18ca67ef64582b2c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.8903
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of clauses576
Sum of the clauses size1440
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2480
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 596
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)1732588SAT 6.92795 3.47565
gnovelty+2-H 2009-03-22 (incomplete)1732584SAT 9.23459 9.23754
SATzilla2009_R 2009-03-22 (complete)1732565SAT 10.8903 10.9448
gnovelty+2 2009-03-22 (incomplete)1732585SAT 14.2448 14.2502
gNovelty+-V.2-T 2009-03-22 (incomplete)1732589SAT 35.0617 17.5829
iPAWS 2009-03-22 (incomplete)1732557SAT 138.162 138.198
adaptg2wsat2009++ 2009-03-23 (incomplete)1732580SAT 194.041 194.122
TNM 2009-03-22 (incomplete)1732570SAT 207.959 208.029
hybridGM7 7 (incomplete)1732573SAT 341.824 341.944
Hybrid2 2009-03-22 (incomplete)1732568SAT 501.865 502.006
NCVWr 2009-03-22 (incomplete)1732569SAT 641.61 641.773
adaptg2wsat2009 2009-03-23 (incomplete)1732579SAT 872.745 872.949
march_hi hi (complete)1732562SAT 904.746 905.001
SAT07 reference solver: SATzilla CRAFTED (complete)1594677? (exit code) 1199.06 1199.43
SATzilla2009_I 2009-03-22 (complete)1732567? (exit code) 1199.25 1199.64
SATzilla2009_C 2009-03-22 (complete)1732566? (exit code) 1199.28 1199.82
ManySAT 1.1 aimd 1/2009-03-20 (complete)1732555? (TO) 1200 601.319
VARSAT-random 2009-03-22 (complete)1732577? (TO) 1200.01 1200.41
Rsat 2009-03-22 (complete)1732582? (TO) 1200.02 1200.41
SAT07 reference solver: minisat SAT 2007 (complete)1594676? (TO) 1200.03 1200.61
CSat 2009-03-22 (complete)1732558? (TO) 1200.04 1200.42
satake 2009-03-22 (complete)1732590? (TO) 1200.05 664.338
SAT07 reference solver: March KS 2007-02-08 (complete)1595678? (TO) 1200.05 1200.41
VARSAT-crafted 2009-03-22 (complete)1732575? (TO) 1200.06 1200.41
HydraSAT 2009-03-22-Base (complete)1732561? (TO) 1200.06 1200.51
hybridGM 1 (incomplete)1732571? (TO) 1200.06 1200.41
precosat 236 (complete)1732548? (TO) 1200.06 1200.41
VARSAT-industrial 2009-03-22 (complete)1732576? (TO) 1200.06 1200.41
slstc 1.0 (incomplete)1732578? (TO) 1200.06 1200.41
gNovelty+-T 2009-03-22 (incomplete)1732587? (TO) 1200.06 602.126
picosat 913 (complete)1732547? (TO) 1200.06 1200.41
SApperloT base (complete)1732550? (TO) 1200.06 1200.41
kw 2009-03-20 (complete)1732542? (TO) 1200.07 1200.42
MXC 2009-03-10 (complete)1732545? (TO) 1200.07 1200.41
march_nn nn (complete)1732563? (TO) 1200.07 1200.37
CircUs 2009-03-23 (complete)1732581? (TO) 1200.08 1200.51
clasp 1.2.0-SAT09-32 (complete)1732549? (TO) 1200.08 1200.51
LySAT i/2009-03-20 (complete)1732552? (TO) 1200.09 1200.71
hybridGM3 3 (incomplete)1732572? (TO) 1200.09 1200.41
MiniSAT 09z 2009-03-22 (complete)1834002? (TO) 1200.09 1200.61
minisat_cumr p-2009-03-18 (complete)1834001? (TO) 1200.09 1200.81
IUT_BMB_SAT 1.0 (complete)1732564? (TO) 1200.1 1200.71
MiniSat 2.1 (Sat-race'08 Edition) (complete)1732583? (TO) 1200.1 1200.51
tts tts-5-0 (complete)1732546? (TO) 1200.1 1200.47
gnovelty+ 2009-03-22 (incomplete)1732574? (TO) 1200.1 1200.42
HydraSAT-Flat 2009-03-22-Flat (complete)1732560? (TO) 1200.11 1200.41
LySAT c/2009-03-20 (complete)1732553? (TO) 1200.11 1200.61
MoRsat 2009-03-03 (complete)1732543? (TO) 1200.11 1200.41
glucose 1.0 (complete)1732544? (TO) 1200.11 1200.61
HydraSAT-Multi 2009-03-22-Multi (complete)1732559? (TO) 1200.11 1200.81
ttsth-5-0 2009-03-19 (complete)1732586? (TO) 1200.12 605.697
SApperloT hrp (complete)1732551? (TO) 1200.15 1200.54
ManySAT 1.1 aimd 0/2009-03-20 (complete)1732554? (TO) 1200.15 601.419
ManySAT 1.1 aimd 2/2009-03-20 (complete)1732556? (TO) 1200.17 601.421
SAT4J CORE 2.1 RC1 (complete)1732541? (TO) 1200.25 1200.23

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 0