Name | additional-aig/pico-java/ prop16_len17_base.aig |
MD5SUM | 91cad9bec0c01a097808d95a2353fd8c |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.001998 |
Satisfiable | YES |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 461352 | Wrong UNSAT | 0.003998 | 0.006802 |
picoaigersat 2007-05-15 | 461349 | Wrong UNSAT | 0.006998 | 0.007831 |
minicirc 2007-05-17 | 461819 | Wrong UNSAT | 0.120981 | 0.119628 |
aigsat-sp 2007-05-15 | 461351 | Wrong Cert. | 0.001998 | 0.005182 |
aigsat-wc 2007-05-15 | 461350 | Wrong Cert. | 0.002998 | 0.005554 |