| Name | additional-aig/ibm/ ibm29_len26_sat.aig |
| MD5SUM | 99b61eef15ce0a69ac264516f1c7da87 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 10.3744 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461789 | SAT | 10.3744 | 10.3819 |
| aig-cmusat 2007-05-15 | 461232 | SAT | 34.7477 | 34.7664 |
| aigsat-sp 2007-05-15 | 461231 | SAT | 35.1847 | 35.2065 |
| picoaigersat 2007-05-15 | 461229 | SAT | 45.0901 | 45.1132 |
| aigsat-wc 2007-05-15 | 461230 | SAT | 117.709 | 117.755 |