SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_27.aig
MD5SUMb86ae9dee30902e920d7d78e1065054b
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark74.4373
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aigsat-wc 2007-05-15460606SAT 74.4373 37.3052
aigsat-sp 2007-05-15460607SAT 90.4792 90.5474
aig-cmusat 2007-05-15460608SAT 107.683 107.814
minicirc 2007-05-17461633SAT 389.558 389.67
picoaigersat 2007-05-15460605? (TO) 1200.01 1200.71