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 benchmark143.815
(Un)Satisfiability was proved
Number of variables48689
Number of clauses204055
Sum of the clauses size609397
Maximum clause length4
Minimum clause length1
Number of clauses of size 1187
Number of clauses of size 284682
Number of clauses of size 336898
Number of clauses of size 482288
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356487SAT 143.815 143.858
MiraXT v3460045SAT 174.849 88.3871
SATzilla CRAFTED455907SAT 188.063 188.157
MXC 2007-02-08367664SAT 199.955 200.084
picosat 535356489SAT 268.522 268.62
SAT7 2007-02-08372176SAT 381.882 382.052
TiniSatELite 2007-02-08356488SAT 571.321 571.51
Siege V4422411SAT 595.907 596.38
minisat SAT 2007422047SAT 632.973 633.186
CMUSAT 2007-02-08367432SAT 886.384 886.65