| Name | industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig |
| MD5SUM | c6003735feed0e1f38aa7fa918c3d486 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 71.0862 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461658 | UNSAT | 71.0862 | 71.1159 |
| picoaigersat 2007-05-15 | 460705 | UNSAT | 461.599 | 461.893 |
| aigsat-wc 2007-05-15 | 460706 | UNSAT | 599.86 | 600.027 |
| aig-cmusat 2007-05-15 | 460708 | ? (TO) | 1200.07 | 1200.54 |
| aigsat-sp 2007-05-15 | 460707 | ? (TO) | 1200.17 | 1201.07 |