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 benchmark21.0608
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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
EagleUP 1.565.350 (incomplete)3219527SAT 21.0608 21.0609
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3219523SAT 69.6174 69.6224
borg-sat 11.03.02-seq-random (fixed) (complete)3386539SAT 323.528 322.665
sattime2011 2011-03-02 (incomplete)3426632SAT 363.275 363.271
csls pnorm-8cores (incomplete)3417757SAT 502.106 62.886
borg-sat 11.03.02-random [DEPRECATED] (complete)3321826SAT 545.833 72.1371
borg-sat 11.03.02-par-random (fixed) (complete)3385339SAT 571.631 75.2685
adaptg2wsat2011 2011-03-02 (incomplete)3446016SAT 790.488 790.488
SAT09 reference solver: TNM 2009-03-22 (incomplete)3209823SAT 1087.56 1087.53
Satisfiability Solver Selector 2011-03-18 (complete)3219522SAT 1183.81 1183.99
MPhaseSAT_M 2011-02-16 (complete)3219524SAT 1226.58 1226.55
ppfolio seq (complete)3219526SAT 1976.74 1976.68
ppfolio par (complete)3219525SAT 7690.15 962.013
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3209822? (exit code) 4998.98 4998.86
march_rw 2011-03-02 (complete)3420352? (TO) 5000.06 4999.92
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3209820? (TO) 5000.06 4999.91
SAT09 reference solver: march_hi hi (complete)3209821? (TO) 5000.06 4999.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:
--too large--