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 benchmark440.435
(Un)Satisfiability was proved
Number of variables237485
Number of clauses705220
Sum of the clauses size1645512
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2470146
Number of clauses of size 3235073
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-08367443UNSAT 440.435 440.565
TiniSatELite 2007-02-08356532UNSAT 458.616 458.986
picosat 535356533UNSAT 661.212 661.436
minisat SAT 2007422056UNSAT 907.74 908.053
MiraXT v3460064UNSAT 1294.16 656.456
Rsat 2007-02-08355671UNSAT 2602.75 2603.53
SAT7 2007-02-08370333UNSAT 2676.09 2677.11
SATzilla CRAFTED455926UNSAT 3177.51 3178.36
Siege V4422430UNSAT 4672.08 4673.53
MXC 2007-02-08367547UNSAT 9862.01 9865.22