SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
grieu/vmpc_30.aig
MD5SUM08053e2a693d0d1a8e4ebe279d8af8d9
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark421.708
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aigsat-wc 2007-05-15460622SAT 421.708 421.916
minicirc 2007-05-17461637? (TO) 1200.03 1200.51
picoaigersat 2007-05-15460621? (TO) 1200.04 1200.81
aigsat-sp 2007-05-15460623? (TO) 1200.11 1200.56
aig-cmusat 2007-05-15460624? (TO) 1200.13 1200.43