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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark114.886
(Un)Satisfiability was proved
Number of variables892
Number of clauses3006
Sum of the clauses size7828
Maximum clause length17
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21283
Number of clauses of size 31676
Number of clauses of size 418
Number of clauses of size 516
Number of clauses of size over 510

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422040UNSAT 114.886 114.951
SATzilla CRAFTED455898UNSAT 115.858 115.9
MXC 2007-02-08367656UNSAT 141.492 141.544
SAT7 2007-02-08372164UNSAT 155.206 155.247
picosat 535356465UNSAT 318.103 318.171
MiraXT v3460036UNSAT 347.101 174.292
Rsat 2007-02-08356464UNSAT 364.243 364.337
Siege V4422402UNSAT 621.784 621.995
CMUSAT 2007-02-08367427UNSAT 652.81 653.062
TiniSatELite 2007-02-08355786UNSAT 1280.95 1281.51