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 benchmark0.970852
(Un)Satisfiability was proved
Number of variables101078
Number of clauses322159
Sum of the clauses size856454
Maximum clause length3
Minimum clause length1
Number of clauses of size 12710
Number of clauses of size 2104603
Number of clauses of size 3214846
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
minisat SAT 2007422020UNSAT 0.970852 0.973068
MiraXT v3460014UNSAT 1.05884 1.05929
CMUSAT 2007-02-08367407UNSAT 1.69774 1.6996
Rsat 2007-02-08356389UNSAT 2.02269 2.02731
TiniSatELite 2007-02-08356390UNSAT 2.15867 2.16161
picosat 535356391UNSAT 3.53446 3.53521
Siege V4422380UNSAT 3.9314 3.93434
SATzilla CRAFTED455876UNSAT 58.5061 58.5454
MXC 2007-02-08367529UNSAT 5437.4 5439.47
SAT7 2007-02-08370306? (TO) 10000.1 10003.2