| Name | additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig |
| MD5SUM | edfe28a0475483ab79aa8f10304a7809 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 8.5427 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461072 | UNSAT | 8.5427 | 8.55103 |
| picoaigersat 2007-05-15 | 461069 | UNSAT | 13.6639 | 13.6659 |
| aigsat-wc 2007-05-15 | 461070 | UNSAT | 14.8917 | 14.8971 |
| minicirc 2007-05-17 | 461749 | UNSAT | 16.9074 | 16.9137 |
| aigsat-sp 2007-05-15 | 461071 | UNSAT | 25.4161 | 25.4245 |