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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark51.9541
(Un)Satisfiability was proved
Number of variables179493
Number of clauses541172
Sum of the clauses size1263192
Maximum clause length19
Minimum clause length1
Number of clauses of size 1729
Number of clauses of size 2361070
Number of clauses of size 3177947
Number of clauses of size 41262
Number of clauses of size 521
Number of clauses of size over 5143

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356353UNSAT 51.9541 51.9973
Siege V4422369UNSAT 62.0576 62.0857
Rsat 2007-02-08356352UNSAT 107.566 107.75
minisat SAT 2007422015UNSAT 148.116 148.168
MXC 2007-02-08367638UNSAT 199.363 199.456
picosat 535356354UNSAT 212.311 212.368
SAT7 2007-02-08372125UNSAT 345.545 345.658
SATzilla CRAFTED455817UNSAT 378.038 378.282
CMUSAT 2007-02-08367402UNSAT 795.874 796.086
MiraXT v3460003UNSAT 922.106 494.117