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-S2059720696-001.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
MD5SUMc4a0eb3415818159d561f36b2a8ffa74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9298
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
hybridGM3 3 (incomplete)1540512SAT 27.9298 27.9396
gNovelty+-T 2009-03-22 (incomplete)1540514SAT 56.3084 28.3156
TNM 2009-03-22 (incomplete)1522655SAT 117.712 117.698
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545250SAT 149.752 149.843
adaptg2wsat2009 2009-03-23 (incomplete)1532542SAT 302.637 302.715
gnovelty+ 2009-03-22 (incomplete)1527783SAT 374.107 374.196
SATzilla2009_R 2009-03-22 (complete)1538507SAT 392.576 392.732
gNovelty+-V.2-T 2009-03-22 (incomplete)1540516SAT 597.207 299.295
gnovelty+2-H 2009-03-22 (incomplete)1527784SAT 619.989 620.137
gnovelty+2 2009-03-22 (incomplete)1527785SAT 678.06 678.298
adaptg2wsat2009++ 2009-03-23 (incomplete)1532543SAT 719.484 723.118
NCVWr 2009-03-22 (incomplete)1522654SAT 727.296 727.533
hybridGM 1 (incomplete)1540511SAT 796.704 797.142
Hybrid2 2009-03-22 (incomplete)1522653SAT 845.444 845.735
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540515SAT 1024.98 513.879
hybridGM7 7 (incomplete)1540513SAT 1064.09 1064.4
SATzilla2009_C 2009-03-22 (complete)1538508? (exit code) 1199 1199.54
SAT07 reference solver: SATzilla RANDOM (complete)1544109? (exit code) 1199.72 1200.25
SATzilla2009_I 2009-03-22 (complete)1538509? (exit code) 1199.83 1200.37
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525131? (TO) 1200.03 601.422
LySAT i/2009-03-20 (complete)1525129? (TO) 1200.03 1200.61
satake 2009-03-22 (complete)1543441? (TO) 1200.04 602.12
SApperloT base (complete)1532539? (TO) 1200.04 1200.41
Rsat 2009-03-22 (complete)1537741? (TO) 1200.04 1200.51
MoRsat 2009-03-03 (complete)1521317? (TO) 1200.05 1200.41
MiniSAT 09z 2009-03-22 (complete)1832638? (TO) 1200.05 1200.41
IUT_BMB_SAT 1.0 (complete)1532541? (TO) 1200.05 1200.71
precosat 236 (complete)1513667? (TO) 1200.05 1200.31
SAT07 reference solver: March KS 2007-02-08 (complete)1544110? (TO) 1200.06 1200.41
VARSAT-industrial 2009-03-22 (complete)1513672? (TO) 1200.06 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1529493? (TO) 1200.06 1200.61
clasp 1.2.0-SAT09-32 (complete)1513668? (TO) 1200.06 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525132? (TO) 1200.07 601.419
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525133? (TO) 1200.07 601.42
CSat 2009-03-22 (complete)1520747? (TO) 1200.07 1200.52
march_nn nn (complete)1513670? (TO) 1200.07 1200.52
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519706? (TO) 1200.08 1200.51
MXC 2009-03-10 (complete)1513665? (TO) 1200.09 1200.41
kw 2009-03-20 (complete)1519705? (TO) 1200.09 1200.53
picosat 913 (complete)1513666? (TO) 1200.09 1200.71
VARSAT-random 2009-03-22 (complete)1513673? (TO) 1200.09 1200.51
minisat_cumr p-2009-03-18 (complete)1832637? (TO) 1200.09 1200.81
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545249? (TO) 1200.09 1200.41
slstc 1.0 (incomplete)1513674? (TO) 1200.09 1200.51
CircUs 2009-03-23 (complete)1524167? (TO) 1200.1 1200.41
glucose 1.0 (complete)1513664? (TO) 1200.1 1200.41
iPAWS 2009-03-22 (incomplete)1521887? (TO) 1200.1 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1529494? (TO) 1200.1 1200.51
HydraSAT 2009-03-22-Base (complete)1529495? (TO) 1200.1 1200.41
march_hi hi (complete)1513669? (TO) 1200.11 1200.52
VARSAT-crafted 2009-03-22 (complete)1513671? (TO) 1200.11 1200.51
LySAT c/2009-03-20 (complete)1525130? (TO) 1200.11 1200.41
SApperloT hrp (complete)1532540? (TO) 1200.12 1200.43
tts tts-5-0 (complete)1531105? (TO) 1200.22 1200.55
SAT4J CORE 2.1 RC1 (complete)1513663? (TO) 1200.23 1200.03
ttsth-5-0 2009-03-19 (complete)1531106? (TO) 1200.32 602.178

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