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 benchmark29.2196
(Un)Satisfiability was proved
Number of variables404382
Number of clauses1204273
Sum of the clauses size2809969
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2802848
Number of clauses of size 3401424
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
Rsat 2007-02-08356528UNSAT 29.2196 29.3079
MiraXT v3460063UNSAT 69.0245 45.6369
TiniSatELite 2007-02-08356529UNSAT 203.911 204.038
picosat 535356530UNSAT 216.819 216.877
CMUSAT 2007-02-08367442UNSAT 440.466 440.594
SATzilla CRAFTED455925UNSAT 562.405 562.491
SAT7 2007-02-08372194UNSAT 761.995 762.256
minisat SAT 2007422055UNSAT 803.404 803.697
Siege V4422429UNSAT 1555.91 1556.44
MXC 2007-02-08367546? (TO) 10000.2 10004