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 benchmark58.1572
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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)3219145SAT 58.1572 58.1637
SAT09 reference solver: TNM 2009-03-22 (incomplete)3209571SAT 249.501 249.499
sattime2011 2011-03-02 (incomplete)3426569SAT 295.825 295.816
borg-sat 11.03.02-seq-random (fixed) (complete)3386476SAT 464.996 463.842
csls pnorm-8cores (incomplete)3417694SAT 584.292 73.1701
adaptg2wsat2011 2011-03-02 (incomplete)3445953SAT 827.008 826.983
borg-sat 11.03.02-random [DEPRECATED] (complete)3321763SAT 1410.82 184.234
Satisfiability Solver Selector 2011-03-18 (complete)3219144SAT 2913.37 2913.5
ppfolio seq (complete)3219148SAT 3366.65 3366.55
borg-sat 11.03.02-par-random (fixed) (complete)3385276SAT 5010.65 636.355
ppfolio par (complete)3219147SAT 9554.17 1195.41
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3209570? (exit code) 4999.26 4999.14
SAT09 reference solver: march_hi hi (complete)3209569? (TO) 5000.02 5000.02
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3209568? (TO) 5000.04 4999.91
EagleUP 1.565.350 (incomplete)3219149? (TO) 5000.06 4999.91
march_rw 2011-03-02 (complete)3420289? (TO) 5000.08 4999.92
MPhaseSAT_M 2011-02-16 (complete)3219146? (TO) 5000.11 5000.02

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--