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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
MD5SUM9acdfc35e72435abc5da6ab9203455c3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.55815
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses528
Sum of the clauses size1320
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2440
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 588
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)1732439SAT 0.6529 0.332005
gnovelty+2-H 2009-03-22 (incomplete)1732434SAT 0.821875 0.822388
gnovelty+2 2009-03-22 (incomplete)1732435SAT 5.55815 5.56034
SAT07 reference solver: SATzilla CRAFTED (complete)1594667SAT 7.29089 7.30129
hybridGM 1 (incomplete)1732421SAT 10.2124 10.2151
iPAWS 2009-03-22 (incomplete)1732407SAT 23.2295 23.2362
TNM 2009-03-22 (incomplete)1732420SAT 26.7189 26.7258
adaptg2wsat2009++ 2009-03-23 (incomplete)1732430SAT 30.0574 30.0678
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1732438SAT 34.6087 17.3594
adaptg2wsat2009 2009-03-23 (incomplete)1732429SAT 43.0924 43.109
Hybrid2 2009-03-22 (incomplete)1732418SAT 48.5776 48.594
NCVWr 2009-03-22 (incomplete)1732419SAT 74.7686 74.791
hybridGM7 7 (incomplete)1732423SAT 491.801 491.948
IUT_BMB_SAT 1.0 (complete)1732414SAT 714.434 714.627
SATzilla2009_I 2009-03-22 (complete)1732417SAT 793.627 794.013
SAT07 reference solver: minisat SAT 2007 (complete)1594666SAT 804.337 804.552
SATzilla2009_C 2009-03-22 (complete)1732416? (exit code) 1199.29 1200.06
SATzilla2009_R 2009-03-22 (complete)1732415? (exit code) 1199.32 1199.92
ManySAT 1.1 aimd 0/2009-03-20 (complete)1732404? (TO) 1200 601.319
minisat_cumr p-2009-03-18 (complete)1833995? (TO) 1200.03 1200.71
CSat 2009-03-22 (complete)1732408? (TO) 1200.04 1200.42
VARSAT-crafted 2009-03-22 (complete)1732425? (TO) 1200.05 1200.41
HydraSAT 2009-03-22-Base (complete)1732411? (TO) 1200.06 1200.51
picosat 913 (complete)1732397? (TO) 1200.06 1200.41
CircUs 2009-03-23 (complete)1732431? (TO) 1200.06 1200.41
SApperloT base (complete)1732400? (TO) 1200.06 1200.41
precosat 236 (complete)1732398? (TO) 1200.06 1200.41
MXC 2009-03-10 (complete)1732395? (TO) 1200.06 1200.41
MoRsat 2009-03-03 (complete)1732393? (TO) 1200.06 1200.41
clasp 1.2.0-SAT09-32 (complete)1732399? (TO) 1200.07 1200.51
glucose 1.0 (complete)1732394? (TO) 1200.07 1200.51
ManySAT 1.1 aimd 2/2009-03-20 (complete)1732406? (TO) 1200.07 601.42
LySAT i/2009-03-20 (complete)1732402? (TO) 1200.07 1200.41
Rsat 2009-03-22 (complete)1732432? (TO) 1200.07 1200.61
MiniSAT 09z 2009-03-22 (complete)1833996? (TO) 1200.09 1200.51
VARSAT-random 2009-03-22 (complete)1732427? (TO) 1200.09 1200.51
slstc 1.0 (incomplete)1732428? (TO) 1200.09 1200.41
VARSAT-industrial 2009-03-22 (complete)1732426? (TO) 1200.09 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1595673? (TO) 1200.09 1200.51
HydraSAT-Multi 2009-03-22-Multi (complete)1732409? (TO) 1200.1 1200.81
satake 2009-03-22 (complete)1732440? (TO) 1200.1 680.738
kw 2009-03-20 (complete)1732392? (TO) 1200.1 1200.52
LySAT c/2009-03-20 (complete)1732403? (TO) 1200.1 1200.61
MiniSat 2.1 (Sat-race'08 Edition) (complete)1732433? (TO) 1200.11 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1732410? (TO) 1200.11 1200.41
tts tts-5-0 (complete)1732396? (TO) 1200.11 1200.48
hybridGM3 3 (incomplete)1732422? (TO) 1200.11 1200.41
gNovelty+-T 2009-03-22 (incomplete)1732437? (TO) 1200.12 602.125
gnovelty+ 2009-03-22 (incomplete)1732424? (TO) 1200.12 1200.52
march_hi hi (complete)1732412? (TO) 1200.13 1200.47
ManySAT 1.1 aimd 1/2009-03-20 (complete)1732405? (TO) 1200.14 601.42
SApperloT hrp (complete)1732401? (TO) 1200.15 1200.55
march_nn nn (complete)1732413? (TO) 1200.17 1200.47
SAT4J CORE 2.1 RC1 (complete)1732391? (TO) 1200.21 1200.02
ttsth-5-0 2009-03-19 (complete)1732436? (TO) 1200.27 605.589

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 0