| Name | industrial-aig/babic/ xinetd/itox_vc965.aig |
| MD5SUM | 3fac9c1784354c17ee2dfe264af8860a |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3.15352 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460476 | UNSAT | 3.15352 | 3.15652 |
| minicirc 2007-05-17 | 461600 | UNSAT | 10.1155 | 10.1251 |
| picoaigersat 2007-05-15 | 460473 | UNSAT | 10.6714 | 10.6721 |
| aigsat-sp 2007-05-15 | 460475 | UNSAT | 13.9579 | 13.966 |
| aigsat-wc 2007-05-15 | 460474 | UNSAT | 14.7967 | 14.8069 |