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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark981.31
(Un)Satisfiability was proved
Number of variables165064
Number of clauses686589
Sum of the clauses size1761641
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2487000
Number of clauses of size 3128986
Number of clauses of size 424474
Number of clauses of size 513939
Number of clauses of size over 530118

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED455985SAT 981.31 981.608
Rsat 2007-02-08355710SAT 3032.24 3033.57
MiraXT v3460123SAT 3083.81 1551.35
picosat 535355970SAT 3287.48 3288.55
Siege V4422489SAT 4097.14 4098.26
MXC 2007-02-08367593SAT 5675.93 5677.95
SAT7 2007-02-08370378SAT 5884.27 5886.34
TiniSatELite 2007-02-08355840SAT 7461.9 7466.96
minisat SAT 2007421971? (TO) 10000.2 10003
CMUSAT 2007-02-08367343? (TO) 10000.2 10003.1