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 benchmark60.4198
(Un)Satisfiability was proved
Number of variables180
Number of clauses720
Sum of the clauses size2880
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 4720
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TTS 4.0370218UNSAT 60.4198 60.4371
MiraXT v3456537UNSAT 309.364 155.249
minisat SAT 2007422282UNSAT 585.835 586.287
MXC 2007-02-08370219UNSAT 1134.94 1135.42
CMUSAT 2007-02-08369333UNSAT 2055.46 2056.12
SATzilla CRAFTED368867? (exit code) 4999.25 5001.02
March KS 2007-02-08369032? (TO) 5000.05 5001.95
Rsat 2007-02-08456535? (TO) 5000.05 5001.51
picosat 535456536? (TO) 5000.08 5001.71