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

Result page for benchmark
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
MD5SUMf34a97e9100b15a8025a13df7cb62499
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of clauses840
Sum of the clauses size2520
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3840
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
SATzilla2009_C 2009-03-22 (complete)1726108SAT 0.008997 0.0093111
SAT07 reference solver: SATzilla CRAFTED (complete)1726134SAT 0.008997 0.00933092
march_nn nn (complete)1726105SAT 0.013997 0.0149961
SAT07 reference solver: March KS 2007-02-08 (complete)1726135SAT 0.013997 0.013903
march_hi hi (complete)1726104SAT 0.014997 0.015042
ManySAT 1.1 aimd 1/2009-03-20 (complete)1726097SAT 1.09783 0.555322
CircUs 2009-03-23 (complete)1726123SAT 4.50731 4.50885
LySAT c/2009-03-20 (complete)1726095SAT 6.70898 6.70842
ManySAT 1.1 aimd 2/2009-03-20 (complete)1726098SAT 7.49486 3.76234
SApperloT base (complete)1726092SAT 8.22775 8.22939
ManySAT 1.1 aimd 0/2009-03-20 (complete)1726096SAT 12.4661 6.25124
MiniSat 2.1 (Sat-race'08 Edition) (complete)1726125SAT 12.821 12.8269
VARSAT-crafted 2009-03-22 (complete)1726117SAT 18.9761 18.9817
SATzilla2009_I 2009-03-22 (complete)1726109SAT 19.2431 19.2593
VARSAT-industrial 2009-03-22 (complete)1726118SAT 32.59 32.5997
kw 2009-03-20 (complete)1726084SAT 37.1574 37.1706
clasp 1.2.0-SAT09-32 (complete)1726091SAT 39.8149 39.8255
minisat_cumr p-2009-03-18 (complete)1832175SAT 41.1217 41.2057
Rsat 2009-03-22 (complete)1726124SAT 43.4604 43.4882
MXC 2009-03-10 (complete)1726087SAT 44.9092 44.9237
picosat 913 (complete)1726089SAT 46.9769 46.9928
MiniSAT 09z 2009-03-22 (complete)1832176SAT 49.0615 49.0797
VARSAT-random 2009-03-22 (complete)1726119SAT 60.5578 60.5781
precosat 236 (complete)1726090SAT 61.3437 61.3629
LySAT i/2009-03-20 (complete)1726094SAT 63.2414 63.2684
IUT_BMB_SAT 1.0 (complete)1726106SAT 74.5897 74.6355
SAT07 reference solver: minisat SAT 2007 (complete)1726133SAT 78.622 78.6472
glucose 1.0 (complete)1726086SAT 80.1598 80.2009
HydraSAT-Multi 2009-03-22-Multi (complete)1726101SAT 204.532 204.634
CSat 2009-03-22 (complete)1726100SAT 307.661 307.769
satake 2009-03-22 (complete)1726132SAT 376.507 223.563
HydraSAT 2009-03-22-Base (complete)1726103SAT 438.77 438.887
HydraSAT-Flat 2009-03-22-Flat (complete)1726102SAT 1183.5 1183.85
SATzilla2009_R 2009-03-22 (complete)1726107? (exit code) 1199.09 1199.45
tts tts-5-0 (complete)1726088? (MO) 764.316 764.575
ttsth-5-0 2009-03-19 (complete)1726128? (MO) 782.149 399.88
adaptg2wsat2009 2009-03-23 (incomplete)1726121? (TO) 1200.02 1200.41
TNM 2009-03-22 (incomplete)1726112? (TO) 1200.03 1200.41
slstc 1.0 (incomplete)1726120? (TO) 1200.06 1200.41
iPAWS 2009-03-22 (incomplete)1726099? (TO) 1200.06 1199.91
Hybrid2 2009-03-22 (incomplete)1726110? (TO) 1200.06 1200.51
hybridGM3 3 (incomplete)1726114? (TO) 1200.07 1200.41
NCVWr 2009-03-22 (incomplete)1726111? (TO) 1200.07 1200.51
hybridGM 1 (incomplete)1726113? (TO) 1200.08 1200.51
gnovelty+2-H 2009-03-22 (incomplete)1726126? (TO) 1200.08 1200.41
hybridGM7 7 (incomplete)1726115? (TO) 1200.08 1200.41
gnovelty+2 2009-03-22 (incomplete)1726127? (TO) 1200.09 1200.41
adaptg2wsat2009++ 2009-03-23 (incomplete)1726122? (TO) 1200.09 1200.41
SApperloT hrp (complete)1726093? (TO) 1200.11 1200.54
gnovelty+ 2009-03-22 (incomplete)1726116? (TO) 1200.11 1200.52
gNovelty+-V.2-T 2009-03-22 (incomplete)1726131? (TO) 1200.14 601.718
gNovelty+-T 2009-03-22 (incomplete)1726129? (TO) 1200.15 601.824
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1726130? (TO) 1200.19 601.812
SAT4J CORE 2.1 RC1 (complete)1726083? (TO) 1200.29 1200.05
MoRsat 2009-03-03 (complete)1726085Signal 0.003998 0.00502711

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 0