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 benchmark2.71359
(Un)Satisfiability was proved
Number of variables280900
Number of clauses926808
Sum of the clauses size2471229
Maximum clause length3
Minimum clause length1
Number of clauses of size 15452
Number of clauses of size 2298291
Number of clauses of size 3623065
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
minisat SAT 2007422023UNSAT 2.71359 2.71659
MiraXT v3460017UNSAT 2.93555 2.93862
CMUSAT 2007-02-08367410UNSAT 4.62929 4.63328
TiniSatELite 2007-02-08356401UNSAT 8.28374 8.29372
Siege V4422383UNSAT 21.6877 21.6937
Rsat 2007-02-08356400UNSAT 46.6229 46.648
picosat 535356402UNSAT 472.117 472.28
SATzilla CRAFTED455879? (TO) 10000.1 10003.5
MXC 2007-02-08367531? (TO) 10000.2 10003.1
SAT7 2007-02-08370309? (TO) 10000.2 10004.3