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-S1906075351-024.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
MD5SUMad3646e0a0cdbfbd5513a638946c9f2e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark53.7128
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)1532508SAT 53.7128 53.7318
adaptg2wsat2009 2009-03-23 (incomplete)1532507SAT 60.2518 60.2737
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545236SAT 70.9482 70.9921
hybridGM3 3 (incomplete)1540470SAT 71.6701 71.6851
NCVWr 2009-03-22 (incomplete)1522633SAT 112.897 112.935
TNM 2009-03-22 (incomplete)1522634SAT 118.622 118.652
gnovelty+2 2009-03-22 (incomplete)1527764SAT 149.27 149.317
SATzilla2009_R 2009-03-22 (complete)1538486SAT 183.951 184.026
hybridGM7 7 (incomplete)1540471SAT 195.036 195.093
gNovelty+-T 2009-03-22 (incomplete)1540472SAT 219.797 110.243
Hybrid2 2009-03-22 (incomplete)1522632SAT 335.344 335.466
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545235SAT 392.181 392.289
hybridGM 1 (incomplete)1540469SAT 484.865 484.982
iPAWS 2009-03-22 (incomplete)1521880SAT 673.473 673.721
gNovelty+-V.2-T 2009-03-22 (incomplete)1540474SAT 766.926 384.335
gnovelty+2-H 2009-03-22 (incomplete)1527763SAT 888.668 888.917
gnovelty+ 2009-03-22 (incomplete)1527762SAT 962.449 962.706
SATzilla2009_I 2009-03-22 (complete)1538488? (exit code) 1198.84 1199.41
SATzilla2009_C 2009-03-22 (complete)1538487? (exit code) 1198.98 1199.65
SAT07 reference solver: SATzilla RANDOM (complete)1544095? (exit code) 1199.79 1200.31
march_hi hi (complete)1513585? (TO) 1200.03 1200.32
minisat_cumr p-2009-03-18 (complete)1832623? (TO) 1200.03 1200.51
CSat 2009-03-22 (complete)1520740? (TO) 1200.04 1200.42
slstc 1.0 (incomplete)1513590? (TO) 1200.04 1200.41
LySAT i/2009-03-20 (complete)1525094? (TO) 1200.04 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540473? (TO) 1200.05 601.412
Rsat 2009-03-22 (complete)1537734? (TO) 1200.05 1200.61
march_nn nn (complete)1513586? (TO) 1200.06 1200.52
IUT_BMB_SAT 1.0 (complete)1532506? (TO) 1200.06 1200.51
VARSAT-random 2009-03-22 (complete)1513589? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1513587? (TO) 1200.06 1200.51
SApperloT base (complete)1532504? (TO) 1200.07 1200.51
LySAT c/2009-03-20 (complete)1525095? (TO) 1200.07 1200.61
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519692? (TO) 1200.08 1207.02
precosat 236 (complete)1513583? (TO) 1200.08 1200.41
MiniSAT 09z 2009-03-22 (complete)1832624? (TO) 1200.08 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525097? (TO) 1200.09 601.42
SApperloT hrp (complete)1532505? (TO) 1200.09 1200.54
CircUs 2009-03-23 (complete)1524160? (TO) 1200.09 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1529472? (TO) 1200.09 1200.61
HydraSAT 2009-03-22-Base (complete)1529474? (TO) 1200.09 1200.41
picosat 913 (complete)1513582? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1513588? (TO) 1200.09 1200.41
clasp 1.2.0-SAT09-32 (complete)1513584? (TO) 1200.09 1200.41
glucose 1.0 (complete)1513580? (TO) 1200.09 1200.62
HydraSAT-Flat 2009-03-22-Flat (complete)1529473? (TO) 1200.11 1200.42
MoRsat 2009-03-03 (complete)1521310? (TO) 1200.11 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1544096? (TO) 1200.11 1200.71
tts tts-5-0 (complete)1531091? (TO) 1200.11 1200.43
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525098? (TO) 1200.11 601.219
MXC 2009-03-10 (complete)1513581? (TO) 1200.11 1200.51
kw 2009-03-20 (complete)1519691? (TO) 1200.13 1200.43
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525096? (TO) 1200.14 601.725
SAT4J CORE 2.1 RC1 (complete)1513579? (TO) 1200.21 1199.94
satake 2009-03-22 (complete)1543434? (TO) 1200.22 602.222
ttsth-5-0 2009-03-19 (complete)1531092? (TO) 1200.38 601.978

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