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 benchmark109.125
(Un)Satisfiability was proved
Number of variables1004933
Number of clauses4426834
Sum of the clauses size11901940
Maximum clause length4335
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22485540
Number of clauses of size 31662546
Number of clauses of size 4144019
Number of clauses of size 55160
Number of clauses of size over 5129568

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421998SAT 109.125 109.21
Rsat 2007-02-08356287SAT 162.642 163.107
TiniSatELite 2007-02-08356288SAT 172.167 173.214
SAT7 2007-02-08372100SAT 200.677 200.75
MXC 2007-02-08367623SAT 259.841 259.948
picosat 535356289SAT 570.092 570.311
SATzilla CRAFTED455786SAT 802.57 803.01
CMUSAT 2007-02-08367267SAT 1391.96 1392.38
Siege V4422338? 0.004998 0.00750589
MiraXT v3459972? (MO) 5.79212 5.30881