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 benchmark2605.68
(Un)Satisfiability was proved
Number of variables133684
Number of clauses555759
Sum of the clauses size1425191
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2393985
Number of clauses of size 3104296
Number of clauses of size 419794
Number of clauses of size 511269
Number of clauses of size over 524343

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08355714SAT 2605.68 2606.65
MiraXT v3460129SAT 4498.77 2258.78
SATzilla CRAFTED455991SAT 5639.6 5643
picosat 535355976SAT 5840.1 5841.82
minisat SAT 2007421977SAT 7786.09 7789.9
MXC 2007-02-08367599? (TO) 10000.1 10002.7
Siege V4422495? (TO) 10000.1 10003
TiniSatELite 2007-02-08355846? (TO) 10000.1 10003.5
SAT7 2007-02-08370384? (TO) 10000.2 10004
CMUSAT 2007-02-08367349? (TO) 10000.2 10002.9