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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
MD5SUMd2dd2899777fd93a70e706988970ef5e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark21.2838
Satisfiable
(Un)Satisfiability was proved
Number of variables230
Number of clauses552
Sum of the clauses size1380
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2460
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 592
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)1737501SAT 10.1175 5.07392
gnovelty+2 2009-03-22 (incomplete)1737497SAT 21.2838 21.2915
NCVWr 2009-03-22 (incomplete)1737481SAT 26.9009 26.9078
SATzilla2009_R 2009-03-22 (complete)1737477SAT 94.3227 94.376
gnovelty+2-H 2009-03-22 (incomplete)1737496SAT 97.2862 97.3214
iPAWS 2009-03-22 (incomplete)1737469SAT 110.457 110.486
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1737500SAT 110.914 55.6008
Hybrid2 2009-03-22 (incomplete)1737480SAT 185.415 185.469
adaptg2wsat2009++ 2009-03-23 (incomplete)1737492SAT 283.257 283.332
adaptg2wsat2009 2009-03-23 (incomplete)1737491SAT 360.121 360.261
march_hi hi (complete)1737474SAT 780.957 781.242
SAT07 reference solver: SATzilla CRAFTED (complete)1737504? (exit code) 1199.08 1199.59
SATzilla2009_I 2009-03-22 (complete)1737479? (exit code) 1199.26 1199.83
SATzilla2009_C 2009-03-22 (complete)1737478? (exit code) 1199.26 1199.77
MXC 2009-03-10 (complete)1737457? (TO) 1200.01 1200.31
slstc 1.0 (incomplete)1737490? (TO) 1200.01 1200.31
gnovelty+ 2009-03-22 (incomplete)1737486? (TO) 1200.02 1200.32
LySAT c/2009-03-20 (complete)1737465? (TO) 1200.02 1200.61
clasp 1.2.0-SAT09-32 (complete)1737461? (TO) 1200.02 1200.31
MiniSAT 09z 2009-03-22 (complete)1834246? (TO) 1200.03 1200.51
SApperloT base (complete)1737462? (TO) 1200.03 1200.61
minisat_cumr p-2009-03-18 (complete)1834245? (TO) 1200.03 1200.81
hybridGM3 3 (incomplete)1737484? (TO) 1200.05 1200.41
VARSAT-random 2009-03-22 (complete)1737489? (TO) 1200.05 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1737466? (TO) 1200.06 601.419
MoRsat 2009-03-03 (complete)1737455? (TO) 1200.06 1200.41
hybridGM7 7 (incomplete)1737485? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1737487? (TO) 1200.06 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1737472? (TO) 1200.06 1200.41
hybridGM 1 (incomplete)1737483? (TO) 1200.06 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1737495? (TO) 1200.07 1200.51
LySAT i/2009-03-20 (complete)1737464? (TO) 1200.07 1200.41
Rsat 2009-03-22 (complete)1737494? (TO) 1200.07 1200.41
tts tts-5-0 (complete)1737458? (TO) 1200.08 1200.54
SAT07 reference solver: minisat SAT 2007 (complete)1737503? (TO) 1200.08 1200.41
HydraSAT 2009-03-22-Base (complete)1737473? (TO) 1200.08 1200.51
picosat 913 (complete)1737459? (TO) 1200.08 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1737471? (TO) 1200.09 1200.61
kw 2009-03-20 (complete)1737454? (TO) 1200.09 1200.42
SApperloT hrp (complete)1737463? (TO) 1200.09 1200.53
SAT07 reference solver: March KS 2007-02-08 (complete)1737505? (TO) 1200.09 1200.61
CircUs 2009-03-23 (complete)1737493? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1737488? (TO) 1200.09 1200.41
precosat 236 (complete)1737460? (TO) 1200.09 1200.41
TNM 2009-03-22 (incomplete)1737482? (TO) 1200.1 1200.51
CSat 2009-03-22 (complete)1737470? (TO) 1200.1 1200.42
IUT_BMB_SAT 1.0 (complete)1737476? (TO) 1200.11 1200.41
march_nn nn (complete)1737475? (TO) 1200.11 1200.47
glucose 1.0 (complete)1737456? (TO) 1200.12 1200.71
gNovelty+-T 2009-03-22 (incomplete)1737499? (TO) 1200.14 602.225
ManySAT 1.1 aimd 2/2009-03-20 (complete)1737468? (TO) 1200.18 601.422
ManySAT 1.1 aimd 1/2009-03-20 (complete)1737467? (TO) 1200.18 601.42
satake 2009-03-22 (complete)1737502? (TO) 1200.2 675.544
ttsth-5-0 2009-03-19 (complete)1737498? (TO) 1200.26 605.389
SAT4J CORE 2.1 RC1 (complete)1737453? (TO) 1200.26 1200.04

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 0