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

Result page for benchmark
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
MD5SUM96f5a7b5e0d4bc00c89d90487d4d5b74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.110982
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
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 52343
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)1538930SAT 0.110982 0.111493
TNM 2009-03-22 (incomplete)1523078SAT 0.136978 0.137472
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545531SAT 0.215966 0.215758
hybridGM 1 (incomplete)1541357SAT 0.389939 0.389004
adaptg2wsat2009 2009-03-23 (incomplete)1533247SAT 0.455929 0.456009
slstc 1.0 (incomplete)1515366SAT 0.491924 0.492092
gnovelty+2 2009-03-22 (incomplete)1528208SAT 0.496923 0.497223
hybridGM7 7 (incomplete)1541359SAT 0.592909 0.592507
gNovelty+-V.2-T 2009-03-22 (incomplete)1541362SAT 0.883865 0.446182
iPAWS 2009-03-22 (incomplete)1522028SAT 0.898863 0.899466
gNovelty+-T 2009-03-22 (incomplete)1541360SAT 0.973851 0.560677
adaptg2wsat2009++ 2009-03-23 (incomplete)1533248SAT 1.09883 1.0984
MoRsat 2009-03-03 (complete)1521458SAT 1.15082 1.15167
gnovelty+2-H 2009-03-22 (incomplete)1528207SAT 1.62175 1.62245
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545532SAT 2.02469 2.0404
Hybrid2 2009-03-22 (incomplete)1523076SAT 2.37364 2.37511
hybridGM3 3 (incomplete)1541358SAT 2.47362 2.47583
gnovelty+ 2009-03-22 (incomplete)1528206SAT 3.20251 3.20342
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1541361SAT 4.40533 2.21058
NCVWr 2009-03-22 (incomplete)1523077SAT 12.5681 12.5716
march_hi hi (complete)1515361SAT 204.34 204.397
march_nn nn (complete)1515362SAT 218.772 218.843
SAT07 reference solver: March KS 2007-02-08 (complete)1544392SAT 780.292 780.629
SATzilla2009_I 2009-03-22 (complete)1538932? (exit code) 1198.97 1199.36
SATzilla2009_C 2009-03-22 (complete)1538931? (exit code) 1198.99 1199.5
SAT07 reference solver: SATzilla RANDOM (complete)1544391? (exit code) 1199.43 1199.7
ManySAT 1.1 aimd 1/2009-03-20 (complete)1525837? (TO) 1200.01 601.624
ManySAT 1.1 aimd 0/2009-03-20 (complete)1525836? (TO) 1200.02 601.119
CircUs 2009-03-23 (complete)1524308? (TO) 1200.02 1200.31
MXC 2009-03-10 (complete)1515357? (TO) 1200.02 1200.51
kw 2009-03-20 (complete)1519987? (TO) 1200.03 1200.42
HydraSAT-Multi 2009-03-22-Multi (complete)1529916? (TO) 1200.04 1200.41
SApperloT base (complete)1533244? (TO) 1200.05 1200.51
LySAT i/2009-03-20 (complete)1525834? (TO) 1200.05 1200.51
HydraSAT 2009-03-22-Base (complete)1529918? (TO) 1200.05 1200.51
CSat 2009-03-22 (complete)1520888? (TO) 1200.06 1200.51
SApperloT hrp (complete)1533245? (TO) 1200.07 1200.52
clasp 1.2.0-SAT09-32 (complete)1515360? (TO) 1200.08 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1529917? (TO) 1200.08 1200.51
LySAT c/2009-03-20 (complete)1525835? (TO) 1200.08 1200.51
IUT_BMB_SAT 1.0 (complete)1533246? (TO) 1200.08 1200.61
VARSAT-random 2009-03-22 (complete)1515365? (TO) 1200.09 1200.41
Rsat 2009-03-22 (complete)1537882? (TO) 1200.09 1200.71
VARSAT-industrial 2009-03-22 (complete)1515364? (TO) 1200.09 1200.51
VARSAT-crafted 2009-03-22 (complete)1515363? (TO) 1200.09 1200.41
precosat 236 (complete)1515359? (TO) 1200.1 1200.51
picosat 913 (complete)1515358? (TO) 1200.1 1200.51
MiniSAT 09z 2009-03-22 (complete)1832920? (TO) 1200.1 1200.61
minisat_cumr p-2009-03-18 (complete)1832919? (TO) 1200.11 1200.71
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519988? (TO) 1200.11 1200.51
glucose 1.0 (complete)1515356? (TO) 1200.11 1200.61
ttsth-5-0 2009-03-19 (complete)1531388? (TO) 1200.14 601.922
ManySAT 1.1 aimd 2/2009-03-20 (complete)1525838? (TO) 1200.15 601.419
tts tts-5-0 (complete)1531387? (TO) 1200.15 1200.5
satake 2009-03-22 (complete)1543582? (TO) 1200.25 678.376
SAT4J CORE 2.1 RC1 (complete)1515355? (TO) 1200.27 1199.91

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 0