SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/pico-java/
prop16_len17_base.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/pico-java/
prop16_len17_base.aig
MD5SUM91cad9bec0c01a097808d95a2353fd8c
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001998
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15461352Wrong UNSAT 0.003998 0.006802
picoaigersat 2007-05-15461349Wrong UNSAT 0.006998 0.007831
minicirc 2007-05-17461819Wrong UNSAT 0.120981 0.119628
aigsat-sp 2007-05-15461351Wrong Cert. 0.001998 0.005182
aigsat-wc 2007-05-15461350Wrong Cert. 0.002998 0.005554