| Name | industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig |
| MD5SUM | 3609fe838f6e618c2540a0bfb78d559f |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 169.919 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461522 | UNSAT | 169.919 | 170.01 |
| aigsat-wc 2007-05-15 | 460162 | UNSAT | 205.311 | 205.369 |
| aigsat-sp 2007-05-15 | 460163 | UNSAT | 283.223 | 283.303 |
| picoaigersat 2007-05-15 | 460161 | UNSAT | 787.014 | 787.313 |
| aig-cmusat 2007-05-15 | 460164 | UNSAT | 886.178 | 886.532 |