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 benchmark628.965
(Un)Satisfiability was proved
Number of variables185149
Number of clauses552412
Sum of the clauses size1288960
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2368274
Number of clauses of size 3184137
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367445UNSAT 628.965 629.137
TiniSatELite 2007-02-08356539UNSAT 1165.02 1165.44
Rsat 2007-02-08356538UNSAT 1173.17 1173.51
Siege V4422432UNSAT 1304.93 1305.28
MiraXT v3460066UNSAT 2504.32 1273.85
picosat 535355929UNSAT 2506.74 2507.52
SATzilla CRAFTED455928UNSAT 4531.24 4532.49
minisat SAT 2007421930UNSAT 6931.1 6935.09
MXC 2007-02-08367548UNSAT 8744.51 8748.53
SAT7 2007-02-08370334? (TO) 10000.1 10003