SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/manolios/
manol-pipe-f9n.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/manolios/
manol-pipe-f9n.aig
MD5SUM7322a2fc0166335848f4d67d802f9c5f
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark531.947
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460580UNSAT 531.947 532.103
picoaigersat 2007-05-15460577? (TO) 1200.07 1200.61
minicirc 2007-05-17461626? (TO) 1200.09 1200.61
aigsat-sp 2007-05-15460579? (TO) 1200.15 1200.66
aigsat-wc 2007-05-15460578? (TO) 1200.16 1200.87