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 benchmark1.71574
(Un)Satisfiability was proved
Number of variables864
Number of clauses32700
Sum of the clauses size256765
Maximum clause length11
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 228
Number of clauses of size 3180
Number of clauses of size 4348
Number of clauses of size 51746
Number of clauses of size over 530396

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456074UNSAT 1.71574 1.7206
minisat SAT 2007422242UNSAT 1.9357 1.93821
MiraXT v3456075UNSAT 1.9407 1.94337
CMUSAT 2007-02-08370090UNSAT 2.01669 2.01816
SATzilla CRAFTED370089UNSAT 20.7978 20.8366
TTS 4.0370088UNSAT 110.757 110.799
Rsat 2007-02-08456073UNSAT 621.782 621.939
MXC 2007-02-08369060? (TO) 5000.02 5001.52
March KS 2007-02-08368899? (TO) 5000.1 5001.61