SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_26.aig
MD5SUM71b5fa082a4a5d7ef59827986ab9da40
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.8546
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460628SAT 48.8546 48.8855
aigsat-wc 2007-05-15460626SAT 269.414 269.609
minicirc 2007-05-17461638SAT 476.289 476.386
picoaigersat 2007-05-15460625? (TO) 1200.06 1200.61
aigsat-sp 2007-05-15460627? (TO) 1200.14 1200.55