SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/fuhs/
medium/AProVE07-02.aig
MD5SUMf1d635e854f4ec6c0e8029c40100221a
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark703.533
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461582UNSAT 703.533 703.805
aig-cmusat 2007-05-15460404? (TO) 1200.05 1200.53
aigsat-wc 2007-05-15460402? (TO) 1200.06 1200.82
picoaigersat 2007-05-15460401? (TO) 1200.08 1200.81
aigsat-sp 2007-05-15460403? (TO) 1200.09 1200.42