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 benchmark17.5383
(Un)Satisfiability was proved
Number of variables294246
Number of clauses1384270
Sum of the clauses size3202814
Maximum clause length10
Minimum clause length1
Number of clauses of size 124517
Number of clauses of size 21066262
Number of clauses of size 3238391
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356270SAT 17.5383 17.5693
picosat 535356271SAT 68.9055 68.9428
Siege V4422306SAT 107.333 107.425
MiraXT v3459940SAT 139.144 85.2003
CMUSAT 2007-02-08367384SAT 183.225 183.232
Rsat 2007-02-08356269SAT 389.45 389.712
minisat SAT 2007421865SAT 1350.22 1350.7
SATzilla CRAFTED455754SAT 2870.52 2871.5
SAT7 2007-02-08370249SAT 3944.77 3946.09
MXC 2007-02-08367476? (TO) 10000.1 10002.8