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 benchmark17.8123
(Un)Satisfiability was proved
Number of variables4336
Number of clauses214585
Sum of the clauses size431502
Maximum clause length11
Minimum clause length1
Number of clauses of size 189
Number of clauses of size 2213987
Number of clauses of size 3252
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5257

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456038UNSAT 17.8123 17.8267
MXC 2007-02-08370052UNSAT 23.7114 23.732
SATzilla CRAFTED370051UNSAT 24.8422 24.887
CMUSAT 2007-02-08370053UNSAT 25.6911 25.7013
MiraXT v3456039UNSAT 27.0809 16.2036
Rsat 2007-02-08456037UNSAT 38.2522 38.2689
minisat SAT 2007422230UNSAT 75.9025 75.9346
March KS 2007-02-08368888? (TO) 5000.03 5001.81
TTS 4.0368589? (TO) 5000.09 5001.54