| Name | additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig |
| MD5SUM | 3ac41647bf6fc1915b1b78fae02e79fc |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 18.1542 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461020 | UNSAT | 18.1542 | 18.1712 |
| minicirc 2007-05-17 | 461736 | UNSAT | 28.0277 | 28.0402 |
| aigsat-wc 2007-05-15 | 461018 | UNSAT | 29.5995 | 29.6155 |
| aigsat-sp 2007-05-15 | 461019 | UNSAT | 39.9609 | 39.9742 |
| picoaigersat 2007-05-15 | 461017 | UNSAT | 57.9622 | 57.9761 |