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 benchmark2352.91
(Un)Satisfiability was proved
Number of variables141860
Number of clauses629461
Sum of the clauses size1429872
Maximum clause length10
Minimum clause length1
Number of clauses of size 112030
Number of clauses of size 2515511
Number of clauses of size 374900
Number of clauses of size 43000
Number of clauses of size 512000
Number of clauses of size over 512020

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422324UNSAT 2352.91 2353.78
MXC 2007-02-08367493UNSAT 4782.04 4783.32
Rsat 2007-02-08355626UNSAT 7069.05 7071.05
MiraXT v3459958UNSAT 7716.11 3901.45
minisat SAT 2007421883UNSAT 8203.46 8206.47
CMUSAT 2007-02-08367253UNSAT 9493.31 9495.95
SATzilla CRAFTED455772? (exit code) 9998 10002
picosat 535355881? (TO) 10000 10003.9
SAT7 2007-02-08370266? (TO) 10000.1 10004.2
TiniSatELite 2007-02-08355752? (TO) 10000.1 10006