| Name | industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig |
| MD5SUM | 06f2ca77358b0c06f281d52020ed007e |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 145.661 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| picoaigersat 2007-05-15 | 460217 | SAT | 145.661 | 145.717 |
| aigsat-sp 2007-05-15 | 460219 | ? (MO) | 319.98 | 320.278 |
| aigsat-wc 2007-05-15 | 460218 | ? (MO) | 403.592 | 403.962 |
| minicirc 2007-05-17 | 461536 | ? (TO) | 1200.09 | 1200.41 |
| aig-cmusat 2007-05-15 | 460220 | ? (TO) | 1200.11 | 1200.98 |