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 benchmark38.4102
(Un)Satisfiability was proved
Number of variables196689
Number of clauses912286
Sum of the clauses size2345308
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2717679
Number of clauses of size 3188110
Number of clauses of size 41747
Number of clauses of size 5138
Number of clauses of size over 54336

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356321SAT 38.4102 38.4573
minisat SAT 2007422008SAT 74.7786 74.8547
TiniSatELite 2007-02-08356322SAT 100.003 100.126
MXC 2007-02-08367632SAT 104.665 104.742
picosat 535356323SAT 147.353 147.405
SAT7 2007-02-08372115SAT 235.679 235.757
SATzilla CRAFTED455809SAT 261.86 261.979
MiraXT v3459995SAT 519.604 288.531
Siege V4422361SAT 663.914 664.1
CMUSAT 2007-02-08367282SAT 3746.79 3747.83