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 benchmark24.2383
(Un)Satisfiability was proved
Number of variables684
Number of clauses2300
Sum of the clauses size5992
Maximum clause length15
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 2978
Number of clauses of size 31284
Number of clauses of size 416
Number of clauses of size 512
Number of clauses of size over 57

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422041UNSAT 24.2383 24.2454
SATzilla CRAFTED455900UNSAT 29.4065 29.4338
MXC 2007-02-08367657UNSAT 37.8302 37.8543
SAT7 2007-02-08372166UNSAT 39.1311 39.1432
Rsat 2007-02-08356467UNSAT 58.2032 58.2359
CMUSAT 2007-02-08367428UNSAT 62.7585 62.7735
MiraXT v3460038UNSAT 65.504 32.8938
Siege V4422404UNSAT 70.2143 70.2327
picosat 535356469UNSAT 88.5805 88.5793
TiniSatELite 2007-02-08356468UNSAT 106.136 106.174