SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_29.aig
MD5SUM37fb48f0ea4d98589a779daebd5924be
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark179.379
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460636SAT 179.379 179.457
picoaigersat 2007-05-15460633SAT 675.169 675.489
aigsat-wc 2007-05-15460634SAT 699.697 700.031
minicirc 2007-05-17461640? (TO) 1200.04 1200.51
aigsat-sp 2007-05-15460635? (TO) 1200.15 1201.05