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

Result page for benchmark
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
MD5SUM7d306f2c24913eb95b4eca32110fa72f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.08807
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses11900
Sum of the clauses size83300
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 511900

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2009 2009-03-23 (incomplete)1532512SAT 6.08807 6.08877
gnovelty+2 2009-03-22 (incomplete)1527767SAT 40.3269 40.3224
iPAWS 2009-03-22 (incomplete)1521881SAT 40.3329 40.3446
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545237SAT 82.8504 82.8897
Hybrid2 2009-03-22 (incomplete)1522635SAT 97.9671 97.997
SATzilla2009_R 2009-03-22 (complete)1538489SAT 120.696 120.815
gNovelty+-T 2009-03-22 (incomplete)1540478SAT 154.095 77.3181
TNM 2009-03-22 (incomplete)1522637SAT 181.504 181.571
gnovelty+2-H 2009-03-22 (incomplete)1527766SAT 221.481 221.538
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545238SAT 242.391 243.677
gnovelty+ 2009-03-22 (incomplete)1527765SAT 248.274 248.358
gNovelty+-V.2-T 2009-03-22 (incomplete)1540480SAT 283.285 141.97
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540479SAT 334.019 167.421
hybridGM3 3 (incomplete)1540476SAT 347.709 347.801
NCVWr 2009-03-22 (incomplete)1522636SAT 388.17 388.303
adaptg2wsat2009++ 2009-03-23 (incomplete)1532513SAT 446.967 447.135
hybridGM 1 (incomplete)1540475SAT 450.244 450.407
hybridGM7 7 (incomplete)1540477SAT 1051.09 1051.45
SATzilla2009_C 2009-03-22 (complete)1538490? (exit code) 1199.01 1199.62
SAT07 reference solver: SATzilla RANDOM (complete)1544097? (exit code) 1199.72 1200.23
SATzilla2009_I 2009-03-22 (complete)1538491? (exit code) 1199.82 1200.35
MiniSAT 09z 2009-03-22 (complete)1832626? (TO) 1200 1200.71
Rsat 2009-03-22 (complete)1537735? (TO) 1200.02 1200.31
MoRsat 2009-03-03 (complete)1521311? (TO) 1200.02 1200.31
CircUs 2009-03-23 (complete)1524161? (TO) 1200.04 1200.41
minisat_cumr p-2009-03-18 (complete)1832625? (TO) 1200.04 1200.71
VARSAT-industrial 2009-03-22 (complete)1513600? (TO) 1200.05 1200.41
glucose 1.0 (complete)1513592? (TO) 1200.05 1200.71
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525101? (TO) 1200.06 601.421
precosat 236 (complete)1513595? (TO) 1200.06 1200.41
LySAT i/2009-03-20 (complete)1525099? (TO) 1200.06 1200.41
slstc 1.0 (incomplete)1513602? (TO) 1200.06 1200.51
SAT07 reference solver: March KS 2007-02-08 (complete)1544098? (TO) 1200.06 1200.61
clasp 1.2.0-SAT09-32 (complete)1513596? (TO) 1200.06 1199.91
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525102? (TO) 1200.07 601.419
march_hi hi (complete)1513597? (TO) 1200.07 1200.42
VARSAT-random 2009-03-22 (complete)1513601? (TO) 1200.07 1200.41
picosat 913 (complete)1513594? (TO) 1200.07 1200.51
SApperloT base (complete)1532509? (TO) 1200.08 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1529475? (TO) 1200.08 1206.31
HydraSAT-Flat 2009-03-22-Flat (complete)1529476? (TO) 1200.08 1200.42
IUT_BMB_SAT 1.0 (complete)1532511? (TO) 1200.09 1200.61
HydraSAT 2009-03-22-Base (complete)1529477? (TO) 1200.09 1200.51
CSat 2009-03-22 (complete)1520741? (TO) 1200.09 1200.42
march_nn nn (complete)1513598? (TO) 1200.09 1200.42
tts tts-5-0 (complete)1531093? (TO) 1200.1 1200.42
VARSAT-crafted 2009-03-22 (complete)1513599? (TO) 1200.11 1200.41
MXC 2009-03-10 (complete)1513593? (TO) 1200.11 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519694? (TO) 1200.12 1200.41
kw 2009-03-20 (complete)1519693? (TO) 1200.12 1200.43
LySAT c/2009-03-20 (complete)1525100? (TO) 1200.12 1200.41
SApperloT hrp (complete)1532510? (TO) 1200.13 1200.56
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525103? (TO) 1200.14 601.52
satake 2009-03-22 (complete)1543435? (TO) 1200.16 602.423
SAT4J CORE 2.1 RC1 (complete)1513591? (TO) 1200.18 1199.91
ttsth-5-0 2009-03-19 (complete)1531094? (TO) 1200.22 602.169

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 0