SAT 2011 Competition: main competition (phase 2): solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark91.3041
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3219829SAT 91.3041 91.3115
EagleUP 1.565.350 (incomplete)3219833SAT 658.941 658.921
adaptg2wsat2011 2011-03-02 (incomplete)3446067SAT 974.65 974.623
Satisfiability Solver Selector 2011-03-18 (complete)3219828SAT 1577.24 1577.44
sattime2011 2011-03-02 (incomplete)3426683SAT 2124.25 2124.18
borg-sat 11.03.02-random [DEPRECATED] (complete)3321877SAT 2338.44 298.542
csls pnorm-8cores (incomplete)3417808SAT 2464.27 308.642
borg-sat 11.03.02-par-random (fixed) (complete)3385390SAT 2599.88 410.786
SAT09 reference solver: TNM 2009-03-22 (incomplete)3210027SAT 3464.44 3464.35
borg-sat 11.03.02-seq-random (fixed) (complete)3386590SAT 3523.89 3510.02
ppfolio seq (complete)3219832SAT 3927.33 3927.21
ppfolio par (complete)3219831SAT 37172 4649.91
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3210026? (exit code) 4998.48 4998.32
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3210024? (TO) 5000.03 4999.91
MPhaseSAT_M 2011-02-16 (complete)3219830? (TO) 5000.05 4999.92
march_rw 2011-03-02 (complete)3420403? (TO) 5000.07 4999.93
SAT09 reference solver: march_hi hi (complete)3210025? (TO) 5000.09 5000.01

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:
--too large--