SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/fuhs/
medium/AProVE07-21.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/fuhs/
medium/AProVE07-21.aig
MD5SUM679d0647237437d62794c0cbd1a55b6e
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark584.99
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461584UNSAT 584.99 585.117
aig-cmusat 2007-05-15460412UNSAT 801.606 802.07
aigsat-sp 2007-05-15460411UNSAT 1033.44 1034.04
aigsat-wc 2007-05-15460410UNSAT 1140.19 1140.49
picoaigersat 2007-05-15460409? (TO) 1200.09 1200.81