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 benchmark44.0693
(Un)Satisfiability was proved
Number of variables432
Number of clauses14889
Sum of the clauses size59645
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 21078
Number of clauses of size 38535
Number of clauses of size 411
Number of clauses of size 513
Number of clauses of size over 55217

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08370098UNSAT 44.0693 44.0968
minisat SAT 2007422245UNSAT 53.3769 53.392
SATzilla CRAFTED370097UNSAT 60.8847 60.9584
CMUSAT 2007-02-08370099UNSAT 83.5503 83.5773
MiraXT v3456084UNSAT 122.29 61.6678
Rsat 2007-02-08456082UNSAT 147.231 147.291
picosat 535456083UNSAT 216.748 216.837
March KS 2007-02-08368902? (TO) 5000.04 5001.61
TTS 4.0368593? (TO) 5000.16 5001.67