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 benchmark3104.62
(Un)Satisfiability was proved
Number of variables180608
Number of clauses815261
Sum of the clauses size1862226
Maximum clause length10
Minimum clause length1
Number of clauses of size 115232
Number of clauses of size 2655753
Number of clauses of size 3110056
Number of clauses of size 43800
Number of clauses of size 515200
Number of clauses of size over 515220

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422327UNSAT 3104.62 3105.49
Rsat 2007-02-08355629UNSAT 3622.15 3623.58
CMUSAT 2007-02-08367256UNSAT 3661.2 3662.23
MiraXT v3459961UNSAT 4276.28 2165.42
MXC 2007-02-08367496UNSAT 4528.25 4529.68
minisat SAT 2007421886UNSAT 4949.23 4950.64
SATzilla CRAFTED455775UNSAT 6999.3 7002.01
TiniSatELite 2007-02-08355755UNSAT 7838.09 7840.78
SAT7 2007-02-08370269UNSAT 8260.32 8263.42
picosat 535355884? (TO) 10000 10004.2