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 benchmark312.783
(Un)Satisfiability was proved
Number of variables454385
Number of clauses1367522
Sum of the clauses size3191290
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 2911962
Number of clauses of size 3451911
Number of clauses of size 42126
Number of clauses of size 518
Number of clauses of size over 5174

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422371UNSAT 312.783 312.899
TiniSatELite 2007-02-08356355UNSAT 619.807 620.241
minisat SAT 2007421911UNSAT 2498.65 2499.68
MXC 2007-02-08367523UNSAT 3257.28 3258.27
SAT7 2007-02-08370300UNSAT 4540.61 4542.45
SATzilla CRAFTED455819UNSAT 4816.06 4817.6
Rsat 2007-02-08355654? (TO) 10000 10003.1
picosat 535355911? (TO) 10000.1 10002.9
CMUSAT 2007-02-08367286? (TO) 10000.2 10003
MiraXT v3460005? (TO) 10000.3 5033.04