SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
manolios/manol-pipe-c7bidw_i.aig
MD5SUM7ce7f7cc7131f720f64dec6abac0281d
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark206.272
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461623UNSAT 206.272 206.419
aig-cmusat 2007-05-15460568UNSAT 610.456 610.758
picoaigersat 2007-05-15460565? (TO) 1200.09 1200.51
aigsat-wc 2007-05-15460566? (TO) 1200.11 1200.59
aigsat-sp 2007-05-15460567? (TO) 1200.11 1200.8