| Name | industrial-aig/babic/ xinetd/itox_vc1044.aig |
| MD5SUM | c7ccb0e90fb0bafeeb6b2468508f1a36 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 29.1336 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460484 | SAT | 29.1336 | 29.1592 |
| aigsat-sp 2007-05-15 | 460483 | SAT | 29.4935 | 29.5048 |
| picoaigersat 2007-05-15 | 460481 | SAT | 37.3553 | 37.3635 |
| aigsat-wc 2007-05-15 | 460482 | SAT | 519.78 | 520.128 |
| minicirc 2007-05-17 | 461602 | ? (problem) | 14.0259 | 14.0368 |