SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameadditional-aig/
c32sat-ssort/ssort8.aig
MD5SUM19e9b0d7e2551b918bfbc18d6c3d1c12
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark822.831
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15461296UNSAT 822.831 823.079
picoaigersat 2007-05-15461293? (TO) 1200.01 1200.71
minicirc 2007-05-17461805? (TO) 1200.1 1200.91
aigsat-wc 2007-05-15461294? (TO) 1200.11 1200.56
aigsat-sp 2007-05-15461295? (TO) 1200.18 1200.52