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

Result page for benchmark
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
MD5SUMa3624ecf3a9b6c1696f882edd6a86cc4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.441932
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses2556
Sum of the clauses size12780
Maximum clause length5
Minimum clause length5
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 52556
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_R 2009-03-22 (complete)1539014SAT 0.441932 0.44201
NCVWr 2009-03-22 (incomplete)1523161SAT 0.699893 0.699995
iPAWS 2009-03-22 (incomplete)1522056SAT 0.740886 0.741861
hybridGM 1 (incomplete)1541525SAT 0.972851 0.972913
gnovelty+2 2009-03-22 (incomplete)1528292SAT 1.10083 1.10119
gnovelty+ 2009-03-22 (incomplete)1528290SAT 1.17382 1.17321
MoRsat 2009-03-03 (complete)1521486SAT 1.2828 1.28166
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1541529SAT 1.56876 0.790814
gNovelty+-V.2-T 2009-03-22 (incomplete)1541530SAT 1.83472 0.922584
gnovelty+2-H 2009-03-22 (incomplete)1528291SAT 2.16567 2.16624
adaptg2wsat2009++ 2009-03-23 (incomplete)1533388SAT 2.25266 2.25195
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545587SAT 2.29865 2.29993
TNM 2009-03-22 (incomplete)1523162SAT 2.33564 2.33599
slstc 1.0 (incomplete)1515702SAT 2.46262 2.46341
gNovelty+-T 2009-03-22 (incomplete)1541528SAT 2.94555 1.54911
adaptg2wsat2009 2009-03-23 (incomplete)1533387SAT 3.03454 3.0358
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545588SAT 3.50947 3.51111
Hybrid2 2009-03-22 (incomplete)1523160SAT 4.02839 4.02875
hybridGM7 7 (incomplete)1541527SAT 4.17037 4.17233
hybridGM3 3 (incomplete)1541526SAT 6.03808 6.04093
SAT07 reference solver: SATzilla RANDOM (complete)1544447SAT 6.56 6.56427
march_hi hi (complete)1515697SAT 113.944 113.979
march_nn nn (complete)1515698SAT 114.143 114.181
SAT07 reference solver: March KS 2007-02-08 (complete)1544448SAT 221.16 221.254
SATzilla2009_I 2009-03-22 (complete)1539016? (exit code) 1198.98 1199.52
SATzilla2009_C 2009-03-22 (complete)1539015? (exit code) 1199 1199.6
HydraSAT-Multi 2009-03-22-Multi (complete)1530000? (TO) 1200.03 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525978? (TO) 1200.03 601.42
IUT_BMB_SAT 1.0 (complete)1533386? (TO) 1200.04 1200.61
glucose 1.0 (complete)1515692? (TO) 1200.04 1200.71
HydraSAT-Flat 2009-03-22-Flat (complete)1530001? (TO) 1200.04 1200.61
minisat_cumr p-2009-03-18 (complete)1832975? (TO) 1200.05 1200.91
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525976? (TO) 1200.05 601.419
VARSAT-crafted 2009-03-22 (complete)1515699? (TO) 1200.06 1200.51
picosat 913 (complete)1515694? (TO) 1200.06 1200.51
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520044? (TO) 1200.06 1199.91
clasp 1.2.0-SAT09-32 (complete)1515696? (TO) 1200.06 1200.41
CSat 2009-03-22 (complete)1520916? (TO) 1200.07 1200.41
satake 2009-03-22 (complete)1543610? (TO) 1200.07 652.259
MXC 2009-03-10 (complete)1515693? (TO) 1200.07 1200.41
Rsat 2009-03-22 (complete)1537910? (TO) 1200.07 1200.41
LySAT i/2009-03-20 (complete)1525974? (TO) 1200.07 1200.41
SApperloT base (complete)1533384? (TO) 1200.09 1200.41
VARSAT-random 2009-03-22 (complete)1515701? (TO) 1200.09 1200.41
LySAT c/2009-03-20 (complete)1525975? (TO) 1200.09 1200.41
CircUs 2009-03-23 (complete)1524336? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1515700? (TO) 1200.09 1200.41
precosat 236 (complete)1515695? (TO) 1200.09 1200.41
SApperloT hrp (complete)1533385? (TO) 1200.1 1200.55
kw 2009-03-20 (complete)1520043? (TO) 1200.11 1200.52
HydraSAT 2009-03-22-Base (complete)1530002? (TO) 1200.11 1200.51
MiniSAT 09z 2009-03-22 (complete)1832976? (TO) 1200.12 1200.71
tts tts-5-0 (complete)1531443? (TO) 1200.14 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525977? (TO) 1200.17 601.419
SAT4J CORE 2.1 RC1 (complete)1515691? (TO) 1200.25 1200.15
ttsth-5-0 2009-03-19 (complete)1531444? (TO) 1200.29 602.029

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 0