SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/anbulagan/
hard-unsat/total-5-19-u.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/anbulagan/
hard-unsat/total-5-19-u.aig
MD5SUMfc5f3fb0bb702b461bc06df539022ac0
Bench CategoryALL (all instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aigsat-sp 2007-05-15460271? (MO) 48.6506 48.6763
aigsat-wc 2007-05-15460270? (MO) 57.0313 57.0751
minicirc 2007-05-17461549? (TO) 1200 1200.31
picoaigersat 2007-05-15460269? (TO) 1200.07 1200.51
aig-cmusat 2007-05-15460272? (TO) 1200.13 1200.67