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 benchmark282.282
(Un)Satisfiability was proved
Number of variables69148
Number of clauses208728
Sum of the clauses size487544
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2139492
Number of clauses of size 368730
Number of clauses of size 4102
Number of clauses of size 513
Number of clauses of size over 5135

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356356UNSAT 282.282 282.372
Siege V4422372UNSAT 997.565 997.932
Rsat 2007-02-08355655UNSAT 1426.17 1426.61
CMUSAT 2007-02-08367287UNSAT 1830.84 1831.61
minisat SAT 2007421912UNSAT 3379.84 3380.89
picosat 535355912UNSAT 4853.11 4855.06
MiraXT v3460006UNSAT 9733.41 4884.25
SATzilla CRAFTED455820? (exit code) 9997.6 10000.4
MXC 2007-02-08367524? (TO) 10000.1 10003.8
SAT7 2007-02-08370301? (TO) 10000.2 10004.3