| Name | additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig |
| MD5SUM | e1c6c8f649970fae23ab568189df67f2 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 38.9671 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460836 | UNSAT | 38.9671 | 38.9985 |
| minicirc 2007-05-17 | 461690 | UNSAT | 41.5337 | 41.5558 |
| aigsat-wc 2007-05-15 | 460834 | UNSAT | 46.9259 | 46.9428 |
| aigsat-sp 2007-05-15 | 460835 | UNSAT | 57.1863 | 57.2249 |
| picoaigersat 2007-05-15 | 460833 | UNSAT | 83.9062 | 83.9262 |