SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/
grieu/vmpc_25.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_25.aig
MD5SUM46a54492df301717dd0fea94d83a12a1
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.6775
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460612SAT 16.6775 16.686
picoaigersat 2007-05-15460609SAT 97.7571 97.7817
minicirc 2007-05-17461634SAT 172.272 172.366
aigsat-sp 2007-05-15460611SAT 242.555 242.634
aigsat-wc 2007-05-15460610SAT 506.241 506.522