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-S74035269-088.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
MD5SUMb57ad66e53e78b10a33d8e64aa605409
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.2114
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)1532518SAT 17.2114 17.2174
NCVWr 2009-03-22 (incomplete)1522639SAT 50.9313 50.9484
gnovelty+2 2009-03-22 (incomplete)1527770SAT 60.2548 60.2722
Hybrid2 2009-03-22 (incomplete)1522638SAT 105.912 105.942
SATzilla2009_R 2009-03-22 (complete)1538492SAT 120.479 120.567
hybridGM7 7 (incomplete)1540483SAT 129.77 129.819
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545240SAT 164.986 165.047
gnovelty+2-H 2009-03-22 (incomplete)1527769SAT 190.557 190.621
iPAWS 2009-03-22 (incomplete)1521882SAT 211.106 211.183
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540485SAT 224.43 112.49
hybridGM3 3 (incomplete)1540482SAT 242.978 243.049
adaptg2wsat2009 2009-03-23 (incomplete)1532517SAT 293.433 293.512
gnovelty+ 2009-03-22 (incomplete)1527768SAT 339.969 340.058
gNovelty+-V.2-T 2009-03-22 (incomplete)1540486SAT 402.883 201.907
hybridGM 1 (incomplete)1540481SAT 545.174 545.328
TNM 2009-03-22 (incomplete)1522640SAT 699.902 700.167
gNovelty+-T 2009-03-22 (incomplete)1540484SAT 805.367 403.68
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545239SAT 1124.53 1125.06
tts tts-5-0 (complete)1531095? 1199.99 1200.33
SATzilla2009_C 2009-03-22 (complete)1538493? (exit code) 1199.04 1199.67
SAT07 reference solver: SATzilla RANDOM (complete)1544099? (exit code) 1199.67 1200.32
SATzilla2009_I 2009-03-22 (complete)1538494? (exit code) 1199.83 1200.38
MiniSAT 09z 2009-03-22 (complete)1832628? (TO) 1200.02 1200.61
picosat 913 (complete)1513606? (TO) 1200.03 1200.41
glucose 1.0 (complete)1513604? (TO) 1200.04 1200.61
MoRsat 2009-03-03 (complete)1521312? (TO) 1200.04 1200.31
SAT07 reference solver: March KS 2007-02-08 (complete)1544100? (TO) 1200.04 1200.61
march_nn nn (complete)1513610? (TO) 1200.04 1200.42
precosat 236 (complete)1513607? (TO) 1200.05 1200.41
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525108? (TO) 1200.05 601.419
LySAT c/2009-03-20 (complete)1525105? (TO) 1200.05 1200.41
LySAT i/2009-03-20 (complete)1525104? (TO) 1200.06 1200.41
MXC 2009-03-10 (complete)1513605? (TO) 1200.06 1200.61
clasp 1.2.0-SAT09-32 (complete)1513608? (TO) 1200.06 1200.51
march_hi hi (complete)1513609? (TO) 1200.06 1200.42
Rsat 2009-03-22 (complete)1537736? (TO) 1200.06 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519696? (TO) 1200.07 1200.51
CircUs 2009-03-23 (complete)1524162? (TO) 1200.07 1199.91
minisat_cumr p-2009-03-18 (complete)1832627? (TO) 1200.07 1200.81
HydraSAT-Multi 2009-03-22-Multi (complete)1529478? (TO) 1200.08 1200.51
SApperloT base (complete)1532514? (TO) 1200.08 1200.41
VARSAT-random 2009-03-22 (complete)1513613? (TO) 1200.08 1200.41
VARSAT-crafted 2009-03-22 (complete)1513611? (TO) 1200.09 1200.41
HydraSAT 2009-03-22-Base (complete)1529480? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1513612? (TO) 1200.09 1200.41
IUT_BMB_SAT 1.0 (complete)1532516? (TO) 1200.1 1200.71
HydraSAT-Flat 2009-03-22-Flat (complete)1529479? (TO) 1200.1 1200.41
CSat 2009-03-22 (complete)1520742? (TO) 1200.1 1200.52
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525107? (TO) 1200.1 601.725
slstc 1.0 (incomplete)1513614? (TO) 1200.1 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525106? (TO) 1200.11 601.726
kw 2009-03-20 (complete)1519695? (TO) 1200.13 1200.53
SApperloT hrp (complete)1532515? (TO) 1200.14 1200.54
ttsth-5-0 2009-03-19 (complete)1531096? (TO) 1200.18 601.872
satake 2009-03-22 (complete)1543436? (TO) 1200.23 602.219
SAT4J CORE 2.1 RC1 (complete)1513603? (TO) 1200.26 1199.92

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