SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_28.aig
MD5SUMb03f32c21091e217ef6a488c0f025d84
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.5988
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aigsat-wc 2007-05-15460618SAT 60.5988 60.6299
aigsat-sp 2007-05-15460619SAT 423.012 423.236
aig-cmusat 2007-05-15460620SAT 452.526 452.693
picoaigersat 2007-05-15460617? (TO) 1200.01 1200.51
minicirc 2007-05-17461636? (TO) 1200.02 1200.81