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 benchmark622.684
(Un)Satisfiability was proved
Number of variables1111
Number of clauses3756
Sum of the clauses size9786
Maximum clause length19
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21603
Number of clauses of size 32090
Number of clauses of size 430
Number of clauses of size 518
Number of clauses of size over 512

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367658UNSAT 622.684 622.929
SATzilla CRAFTED455901UNSAT 718.059 718.248
minisat SAT 2007422042UNSAT 822.258 822.472
SAT7 2007-02-08372168UNSAT 1059.62 1060.03
MiraXT v3460039UNSAT 2857.41 1432.48
picosat 535355921UNSAT 3440.58 3441.32
Rsat 2007-02-08355662UNSAT 3609.41 3610.64
Siege V4422405? (TO) 10000 10005.8
TiniSatELite 2007-02-08355788? (TO) 10000.1 10002.8
CMUSAT 2007-02-08367294? (TO) 10000.1 10003