| Name | additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig |
| MD5SUM | ff8ac452d2d2e22b78b4f7606474ec19 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.68674 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461168 | UNSAT | 1.68674 | 1.69951 |
| minicirc 2007-05-17 | 461773 | UNSAT | 2.06169 | 2.06119 |
| picoaigersat 2007-05-15 | 461165 | UNSAT | 2.12768 | 2.12762 |
| aigsat-wc 2007-05-15 | 461166 | UNSAT | 2.82757 | 2.83091 |
| aigsat-sp 2007-05-15 | 461167 | UNSAT | 3.16652 | 3.16823 |