| Name | industrial-aig/manolios/ manol-pipe-c10nidw_s.aig |
| MD5SUM | 3827751f2ffa2dd0bb5b3e8640284d4c |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 122.735 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| picoaigersat 2007-05-15 | 460593 | UNSAT | 122.735 | 122.761 |
| minicirc 2007-05-17 | 461630 | UNSAT | 201.873 | 201.987 |
| aig-cmusat 2007-05-15 | 460596 | UNSAT | 442.544 | 442.872 |
| aigsat-sp 2007-05-15 | 460595 | ? (TO) | 1200.19 | 1200.7 |
| aigsat-wc 2007-05-15 | 460594 | ? (TO) | 1200.2 | 1201.04 |