| Name | additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig |
| MD5SUM | f3ed7c7a3f8302b1954f685b0ca75f35 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 15.8826 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461719 | UNSAT | 15.8826 | 15.8891 |
| picoaigersat 2007-05-15 | 460949 | UNSAT | 16.2025 | 16.2063 |
| aig-cmusat 2007-05-15 | 460952 | UNSAT | 29.4505 | 29.464 |
| aigsat-wc 2007-05-15 | 460950 | UNSAT | 56.0415 | 56.0589 |
| aigsat-sp 2007-05-15 | 460951 | UNSAT | 131.096 | 131.163 |