SAT 2009 Competition: minisat hack track: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.04
(Un)Satisfiability was proved
Number of variables15214
Number of clauses45082
Sum of the clauses size105190
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230054
Number of clauses of size 315027
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
MiniSAT 09z 2009-03-22 (complete)1821996UNSAT 3.04 3.04761
minisat_cumr p-2009-03-18 (complete)1821994UNSAT 3.95 3.96186
BinMiniSat 2009-03-21 (complete)1821998UNSAT 4.36 4.35324
minisat_cumr r-2009-03-18 (complete)1821995UNSAT 4.37 4.37329
APTUSAT 2009-03-22 (complete)1821999UNSAT 11.37 11.374
minisat2 070721/core (complete)1849447UNSAT 14.03 14.0325
MiniSat2hack 2009-03-23 (complete)1821997UNSAT 14.03 14.0408

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: