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 benchmark1184.2
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422005UNSAT 1184.2 1184.64
MXC 2007-02-08367509UNSAT 1757.45 1758
SAT7 2007-02-08370284UNSAT 3823.13 3824.22
MiraXT v3459982UNSAT 7323.94 3671.74
CMUSAT 2007-02-08367270UNSAT 7393.91 7396.12
SATzilla CRAFTED455796? (exit code) 9998.2 10001.8
Siege V4422348? (TO) 10000 10003.3
Rsat 2007-02-08355644? (TO) 10000 10003
picosat 535355899? (TO) 10000 10003.8
TiniSatELite 2007-02-08355771? (TO) 10000 10003