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 benchmark927.4
(Un)Satisfiability was proved
Number of variables24415
Number of clauses711050
Sum of the clauses size2091630
Maximum clause length161
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2605924
Number of clauses of size 386384
Number of clauses of size 4614
Number of clauses of size 5475
Number of clauses of size over 517652

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18 (complete)1821940UNSAT 927.4 927.318
minisat2 070721/core (complete)1849445? (TO) 1200.01 1199.93
APTUSAT 2009-03-22 (complete)1821945? (TO) 1200.01 1199.93
MiniSat2hack 2009-03-23 (complete)1821943? (TO) 1200.06 1200.04
minisat_cumr r-2009-03-18 (complete)1821941? (TO) 1200.06 1200.05
MiniSAT 09z 2009-03-22 (complete)1821942? (TO) 1200.09 1200.03
BinMiniSat 2009-03-21 (complete)1821944? (TO) 1200.09 1200.04

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: