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

Result page for benchmark
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
MD5SUM7e03cd843234dc424776ba0f93603598
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
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 51917
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+2 2009-03-22 (incomplete)1629080SAT 0.011997 0.012761
SATzilla2009_R 2009-03-22 (complete)1630415SAT 0.022996 0.0227301
hybridGM3 3 (incomplete)1627365SAT 0.064989 0.0658519
TNM 2009-03-22 (incomplete)1632129SAT 0.067988 0.0687621
iPAWS 2009-03-22 (incomplete)1631025SAT 0.077987 0.078922
adaptg2wsat2009++ 2009-03-23 (incomplete)1629079SAT 0.100984 0.101608
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1632131SAT 0.103983 0.104215
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1632130SAT 0.144977 0.145445
gNovelty+-T 2009-03-22 (incomplete)1783159SAT 0.239962 0.240954
SAT07 reference solver: SATzilla RANDOM (complete)1626392SAT 5.07023 5.07264
SAT07 reference solver: March KS 2007-02-08 (complete)1626393SAT 9.79551 9.79828
march_hi hi (complete)1627975SAT 18.5192 18.5248

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 0