| Name | industrial-aig/babic/ xinetd/itox_vc909.aig |
| MD5SUM | 12e4881d891fca4fb908211fbc106f45 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 12.7631 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460456 | SAT | 12.7631 | 12.7791 |
| picoaigersat 2007-05-15 | 460453 | SAT | 23.7924 | 23.7995 |
| aigsat-sp 2007-05-15 | 460455 | SAT | 202.483 | 202.656 |
| aigsat-wc 2007-05-15 | 460454 | SAT | 958.909 | 959.684 |
| minicirc 2007-05-17 | 461595 | ? (problem) | 14.6498 | 14.6549 |