SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2425.37
(Un)Satisfiability was proved
Number of variables206904
Number of clauses861029
Sum of the clauses size2210241
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2611020
Number of clauses of size 3161906
Number of clauses of size 430714
Number of clauses of size 517499
Number of clauses of size over 537818

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421981SAT 2425.37 2426.15
picosat 535355981SAT 2614.3 2615.16
Rsat 2007-02-08355719SAT 3239.47 3240.52
CMUSAT 2007-02-08367355SAT 4744.56 4745.89
MiraXT v3460136SAT 4809.56 2419.96
TiniSatELite 2007-02-08355851? (TO) 10000 10005.5
MXC 2007-02-08367604? (TO) 10000.1 10003.9
SATzilla CRAFTED455998? (TO) 10000.1 10002.7
Siege V4422502? (TO) 10000.1 10003
SAT7 2007-02-08370391? (TO) 10000.2 10004.1