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.8527
(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
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3219139SAT 21.8527 21.8541
EagleUP 1.565.350 (incomplete)3219143SAT 46.7969 46.7976
SAT09 reference solver: TNM 2009-03-22 (incomplete)3209567SAT 150.955 150.952
csls pnorm-8cores (incomplete)3417693SAT 237.986 29.8218
sattime2011 2011-03-02 (incomplete)3426568SAT 306.605 306.599
borg-sat 11.03.02-seq-random (fixed) (complete)3386475SAT 381.972 380.959
borg-sat 11.03.02-par-random (fixed) (complete)3385275SAT 413.244 55.9298
borg-sat 11.03.02-random [DEPRECATED] (complete)3321762SAT 478.815 64.7323
adaptg2wsat2011 2011-03-02 (incomplete)3445952SAT 567.962 567.944
ppfolio seq (complete)3219142SAT 1012.43 1012.41
ppfolio par (complete)3219141SAT 1774.85 222.107
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3209566SAT 1979.96 1979.92
Satisfiability Solver Selector 2011-03-18 (complete)3219138? (TO) 4999.97 5000.02
MPhaseSAT_M 2011-02-16 (complete)3219140? (TO) 5000.03 4999.91
march_rw 2011-03-02 (complete)3420288? (TO) 5000.05 4999.91
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3209564? (TO) 5000.05 4999.81
SAT09 reference solver: march_hi hi (complete)3209565? (TO) 5000.1 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--