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 benchmark826.819
(Un)Satisfiability was proved
Number of variables368888
Number of clauses1100500
Sum of the clauses size2567832
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2733666
Number of clauses of size 3366833
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
CMUSAT 2007-02-08367448UNSAT 826.819 827.071
TiniSatELite 2007-02-08355800UNSAT 3465.29 3466.83
Siege V4422435UNSAT 4101.52 4102.7
MiraXT v3460069UNSAT 4126.88 2089.91
Rsat 2007-02-08355672UNSAT 4979.1 4980.52
minisat SAT 2007421932? (TO) 10000.1 10003.1
MXC 2007-02-08367551? (TO) 10000.1 10004
picosat 535355931? (TO) 10000.1 10003
SAT7 2007-02-08370337? (TO) 10000.2 10003
SATzilla CRAFTED455931? (TO) 10000.2 10003