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 benchmark76.8953
(Un)Satisfiability was proved
Number of variables36005
Number of clauses160448
Sum of the clauses size412614
Maximum clause length20
Minimum clause length1
Number of clauses of size 1303
Number of clauses of size 2124826
Number of clauses of size 317687
Number of clauses of size 47200
Number of clauses of size 53144
Number of clauses of size over 57288

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356600UNSAT 76.8953 76.9291
SATzilla CRAFTED455977UNSAT 97.0092 97.0506
minisat SAT 2007422072UNSAT 98.742 98.7706
MXC 2007-02-08367686UNSAT 219.631 219.71
TiniSatELite 2007-02-08356601UNSAT 319.181 319.286
CMUSAT 2007-02-08367463UNSAT 340.522 340.613
MiraXT v3460115UNSAT 341.111 172.114
SAT7 2007-02-08372224UNSAT 361.932 362.057
picosat 535356602UNSAT 383.447 383.56
Siege V4422481UNSAT 1443.69 1444.3