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 benchmark3240.96
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367537UNSAT 3240.96 3241.91
SATzilla CRAFTED455899UNSAT 4657.99 4659.34
minisat SAT 2007421918UNSAT 5408.92 5410.5
SAT7 2007-02-08370317UNSAT 9474.3 9476.89
TiniSatELite 2007-02-08355787? (TO) 10000 10003
Rsat 2007-02-08355661? (TO) 10000 10003.9
Siege V4422403? (TO) 10000.1 10003.4
picosat 535355920? (TO) 10000.1 10003.5
CMUSAT 2007-02-08367293? (TO) 10000.1 10003.2
MiraXT v3460037? (TO) 10000.1 5013.27