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 benchmark3.62345
(Un)Satisfiability was proved
Number of variables75527
Number of clauses272784
Sum of the clauses size668836
Maximum clause length97
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2203631
Number of clauses of size 351557
Number of clauses of size 4937
Number of clauses of size 512836
Number of clauses of size over 53822

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422059SAT 3.62345 3.62995
picosat 535356548SAT 4.20736 4.21554
CMUSAT 2007-02-08367449SAT 4.23036 4.23369
TiniSatELite 2007-02-08356547SAT 4.33234 4.36083
Rsat 2007-02-08356546SAT 4.63029 4.63898
MXC 2007-02-08367675SAT 6.28051 3.20881
SAT7 2007-02-08372200SAT 8.04878 8.05822
Siege V4422436SAT 9.2176 9.22834
MiraXT v3460070SAT 15.8936 13.7964
SATzilla CRAFTED455932SAT 93.4268 93.5188