SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark339.256
(Un)Satisfiability was proved
Number of variables900
Number of clauses71378
Sum of the clauses size143596
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 271348
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08370236UNSAT 339.256 339.597
MiraXT v3456573UNSAT 1714.37 862.513
minisat SAT 2007422217UNSAT 2314.56 2315.49
SATzilla CRAFTED368875UNSAT 2323.62 2324.41
CMUSAT 2007-02-08369340UNSAT 2504.3 2504.99
picosat 535456572UNSAT 3797.19 3798.29
Rsat 2007-02-08456571? (TO) 5000.04 5001.62
TTS 4.0368743? (TO) 5000.25 5002.36
March KS 2007-02-08369043Signal 4502.17 4503.66