SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/
c32sat-ssort/ssort6.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/
c32sat-ssort/ssort6.aig
MD5SUMd636d4d699211b4d57fcc19b7d47bfc0
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark68.0876
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15461272UNSAT 68.0876 68.1148
minicirc 2007-05-17461799UNSAT 76.4064 76.4343
aigsat-wc 2007-05-15461270? (TO) 1200.08 1200.43
picoaigersat 2007-05-15461269? (TO) 1200.12 1200.81
aigsat-sp 2007-05-15461271? (TO) 1200.15 1200.43