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 benchmark18.5632
(Un)Satisfiability was proved
Number of variables193016
Number of clauses885873
Sum of the clauses size2034196
Maximum clause length10
Minimum clause length1
Number of clauses of size 116194
Number of clauses of size 2700175
Number of clauses of size 3133124
Number of clauses of size 44040
Number of clauses of size 516160
Number of clauses of size over 516180

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356245UNSAT 18.5632 18.61
TiniSatELite 2007-02-08356246UNSAT 33.6729 33.6959
minisat SAT 2007421992UNSAT 36.2855 36.3538
Siege V4422291UNSAT 40.0839 40.1118
MXC 2007-02-08367616UNSAT 50.9642 50.989
CMUSAT 2007-02-08367377UNSAT 51.6222 51.6374
SAT7 2007-02-08372082UNSAT 107.365 107.402
SATzilla CRAFTED455739UNSAT 125.714 125.78
picosat 535356247UNSAT 134.451 134.489
MiraXT v3459925UNSAT 180.2 116.11