| Name | additional-aig/pico-java/ prop02_len66_step.aig |
| MD5SUM | 6968c7137f0674678bc86dca099f1103 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 252.326 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461815 | UNSAT | 252.326 | 252.389 |
| aigsat-sp 2007-05-15 | 461335 | ? (problem) | 0.158975 | 0.160868 |
| aigsat-wc 2007-05-15 | 461334 | ? (problem) | 0.170973 | 0.173216 |
| picoaigersat 2007-05-15 | 461333 | ? (problem) | 0.25796 | 0.255786 |
| aig-cmusat 2007-05-15 | 461336 | ? (problem) | 0.262959 | 0.263029 |