| Name | additional-aig/pico-java/ prop08_len18_step.aig |
| MD5SUM | e21b9034ac9a06fee6d6ee2aa1fcdf83 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 5.9281 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461820 | UNSAT | 5.9281 | 5.93589 |
| aigsat-sp 2007-05-15 | 461355 | ? (problem) | 0.019996 | 0.020815 |
| aigsat-wc 2007-05-15 | 461354 | ? (problem) | 0.021996 | 0.022704 |
| picoaigersat 2007-05-15 | 461353 | ? (problem) | 0.031995 | 0.031787 |
| aig-cmusat 2007-05-15 | 461356 | ? (problem) | 0.032994 | 0.034176 |