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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark387.798
(Un)Satisfiability was proved
Number of variables311
Number of clauses2216
Sum of the clauses size9872
Maximum clause length6
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 41384
Number of clauses of size 5656
Number of clauses of size over 5176

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3456297SAT 387.798 194.432
minisat SAT 2007422266SAT 723.628 724.031
SATzilla CRAFTED368801SAT 1247.53 1247.92
CMUSAT 2007-02-08369263SAT 4200.63 4201.84
MXC 2007-02-08369115? (TO) 5000.02 5001.51
picosat 535456296? (TO) 5000.02 5001.61
Rsat 2007-02-08456295? (TO) 5000.06 5001.51
March KS 2007-02-08368959? (TO) 5000.08 5001.53
TTS 4.0368659? (TO) 5000.31 5001.84