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 benchmark106.434
(Un)Satisfiability was proved
Number of variables1321
Number of clauses7617
Sum of the clauses size63333
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2290
Number of clauses of size 31224
Number of clauses of size 4162
Number of clauses of size 5918
Number of clauses of size over 54990

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422275UNSAT 106.434 106.475
MXC 2007-02-08370190UNSAT 155.625 155.681
CMUSAT 2007-02-08370191UNSAT 193.337 193.411
Rsat 2007-02-08456460UNSAT 388.831 388.931
picosat 535456461UNSAT 434.94 435.056
MiraXT v3456462UNSAT 449.706 225.693
SATzilla CRAFTED370189UNSAT 743.023 743.431
March KS 2007-02-08369012? (TO) 5000.05 5001.81
TTS 4.0368714? (TO) 5000.23 5001.66