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

Result page for benchmark
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
MD5SUM33aa10492d14e1883d707891a0a1cdfc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark204.565
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses13600
Sum of the clauses size95200
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 513600

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_R 2009-03-22 (complete)1538471SAT 204.565 204.706
gNovelty+-V.2-T 2009-03-22 (incomplete)1540444SAT 355.138 177.999
adaptg2wsat2009 2009-03-23 (incomplete)1532482SAT 446.865 447.021
adaptg2wsat2009++ 2009-03-23 (incomplete)1532483SAT 562.514 562.676
gNovelty+-T 2009-03-22 (incomplete)1540442SAT 765.711 383.808
gnovelty+2 2009-03-22 (incomplete)1527749SAT 885.226 885.539
hybridGM7 7 (incomplete)1540441SAT 899.249 899.506
NCVWr 2009-03-22 (incomplete)1522618SAT 972.657 973.02
TNM 2009-03-22 (incomplete)1522619SAT 1089.97 1090.32
SATzilla2009_I 2009-03-22 (complete)1538473? (exit code) 1198.98 1199.52
SATzilla2009_C 2009-03-22 (complete)1538472? (exit code) 1199.22 1199.85
SAT07 reference solver: SATzilla RANDOM (complete)1544085? (exit code) 1199.81 1200.46
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525073? (TO) 1200.02 601.724
VARSAT-industrial 2009-03-22 (complete)1513528? (TO) 1200.02 1200.31
slstc 1.0 (incomplete)1513530? (TO) 1200.02 1200.41
MXC 2009-03-10 (complete)1513521? (TO) 1200.04 1200.51
HydraSAT 2009-03-22-Base (complete)1529459? (TO) 1200.04 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525072? (TO) 1200.06 601.418
CircUs 2009-03-23 (complete)1524155? (TO) 1200.06 1200.41
LySAT c/2009-03-20 (complete)1525070? (TO) 1200.06 1200.71
hybridGM 1 (incomplete)1540439? (TO) 1200.06 1200.51
minisat_cumr p-2009-03-18 (complete)1832613? (TO) 1200.06 1200.41
glucose 1.0 (complete)1513520? (TO) 1200.07 1200.62
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545226? (TO) 1200.07 1200.41
VARSAT-random 2009-03-22 (complete)1513529? (TO) 1200.07 1200.51
VARSAT-crafted 2009-03-22 (complete)1513527? (TO) 1200.07 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1529458? (TO) 1200.08 1200.51
MoRsat 2009-03-03 (complete)1521305? (TO) 1200.08 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1529457? (TO) 1200.08 1200.71
gnovelty+2-H 2009-03-22 (incomplete)1527748? (TO) 1200.08 1200.41
clasp 1.2.0-SAT09-32 (complete)1513524? (TO) 1200.09 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1544086? (TO) 1200.09 1200.61
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519682? (TO) 1200.09 1200.42
Rsat 2009-03-22 (complete)1537729? (TO) 1200.09 1200.61
LySAT i/2009-03-20 (complete)1525069? (TO) 1200.09 1200.61
march_nn nn (complete)1513526? (TO) 1200.09 1200.42
MiniSAT 09z 2009-03-22 (complete)1832614? (TO) 1200.09 1200.61
SApperloT base (complete)1532479? (TO) 1200.09 1200.51
precosat 236 (complete)1513523? (TO) 1200.1 1200.41
iPAWS 2009-03-22 (incomplete)1521875? (TO) 1200.1 1200.61
gnovelty+ 2009-03-22 (incomplete)1527747? (TO) 1200.1 1200.42
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545225? (TO) 1200.1 1200.81
hybridGM3 3 (incomplete)1540440? (TO) 1200.1 1200.51
picosat 913 (complete)1513522? (TO) 1200.1 1200.41
march_hi hi (complete)1513525? (TO) 1200.11 1200.42
Hybrid2 2009-03-22 (incomplete)1522617? (TO) 1200.11 1200.51
CSat 2009-03-22 (complete)1520735? (TO) 1200.11 1200.42
kw 2009-03-20 (complete)1519681? (TO) 1200.12 1200.43
IUT_BMB_SAT 1.0 (complete)1532481? (TO) 1200.12 1200.61
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540443? (TO) 1200.14 601.512
SApperloT hrp (complete)1532480? (TO) 1200.16 1200.57
tts tts-5-0 (complete)1531081? (TO) 1200.18 1206.25
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525071? (TO) 1200.19 601.724
satake 2009-03-22 (complete)1543429? (TO) 1200.21 601.822
SAT4J CORE 2.1 RC1 (complete)1513519? (TO) 1200.23 1199.81
ttsth-5-0 2009-03-19 (complete)1531082? (TO) 1200.36 602.072

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 0