| Name | industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig |
| MD5SUM | 997d5045a823c6b26e489d4c233c2142 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 202.58 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461521 | UNSAT | 202.58 | 202.654 |
| aig-cmusat 2007-05-15 | 460160 | UNSAT | 284.031 | 284.141 |
| aigsat-wc 2007-05-15 | 460158 | UNSAT | 488.649 | 488.775 |
| aigsat-sp 2007-05-15 | 460159 | UNSAT | 532.243 | 532.399 |
| picoaigersat 2007-05-15 | 460157 | UNSAT | 1081.2 | 1081.86 |