| Name | additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig |
| MD5SUM | 6d323af344ca9e6d1edfe837ad43c248 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 21.2678 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461076 | UNSAT | 21.2678 | 21.2961 |
| minicirc 2007-05-17 | 461750 | UNSAT | 25.1162 | 25.1167 |
| aigsat-wc 2007-05-15 | 461074 | UNSAT | 36.6774 | 36.6915 |
| picoaigersat 2007-05-15 | 461073 | UNSAT | 43.6504 | 43.6665 |
| aigsat-sp 2007-05-15 | 461075 | UNSAT | 59.8969 | 59.9149 |