SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/fuhs/
medium/AProVE07-04.aig
MD5SUMa631b7256cc55990c2460b3cbcf073a8
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark255.089
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461579UNSAT 255.089 255.169
aig-cmusat 2007-05-15460392UNSAT 379.487 379.587
aigsat-wc 2007-05-15460390UNSAT 610.395 610.562
aigsat-sp 2007-05-15460391UNSAT 825.586 825.868
picoaigersat 2007-05-15460389? (TO) 1200.04 1200.41