| Name | additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig |
| MD5SUM | f1c39bc7d32a3e750896fff16fb68b62 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.20566 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460888 | UNSAT | 2.20566 | 2.21046 |
| picoaigersat 2007-05-15 | 460885 | UNSAT | 3.10153 | 3.10091 |
| aigsat-wc 2007-05-15 | 460886 | UNSAT | 3.33749 | 3.34001 |
| aigsat-sp 2007-05-15 | 460887 | UNSAT | 3.84542 | 3.84867 |
| minicirc 2007-05-17 | 461703 | UNSAT | 5.32619 | 5.32966 |