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 benchmark55.0316
(Un)Satisfiability was proved
Number of variables521046
Number of clauses13376161
Sum of the clauses size39197797
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28713411
Number of clauses of size 34208212
Number of clauses of size 425250
Number of clauses of size 515675
Number of clauses of size over 5413612

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367696SAT 55.0316 55.0839
minisat SAT 2007422085SAT 55.6935 55.7171
Rsat 2007-02-08356647SAT 94.7506 95.0838
SAT7 2007-02-08372235SAT 134.509 134.6
Siege V4422520SAT 156.737 156.974
picosat 535356649SAT 158.714 158.873
SATzilla CRAFTED456016SAT 262.88 263.336
TiniSatELite 2007-02-08356648SAT 278.621 278.996
MiraXT v3460154? 13.293 13.525
CMUSAT 2007-02-08367373? (MO) 32.1161 32.1427