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 benchmark14.3678
(Un)Satisfiability was proved
Number of variables265408
Number of clauses1248556
Sum of the clauses size2888786
Maximum clause length10
Minimum clause length1
Number of clauses of size 122117
Number of clauses of size 2961748
Number of clauses of size 3214991
Number of clauses of size 45520
Number of clauses of size 522080
Number of clauses of size over 522100

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422302SAT 14.3678 14.4439
picosat 535356263SAT 21.6767 21.7036
CMUSAT 2007-02-08367381SAT 27.7968 27.8096
TiniSatELite 2007-02-08356262SAT 58.2291 58.2697
Rsat 2007-02-08356261SAT 76.0204 76.0556
minisat SAT 2007421996SAT 125.605 125.806
MiraXT v3459936SAT 183.21 105.439
MXC 2007-02-08367473SAT 1608.71 1609.34
SATzilla CRAFTED455750? (TO) 10000.1 10003.4
SAT7 2007-02-08370245? (TO) 10000.2 10003.4