| Name | industrial-aig/fuhs/ medium/AProVE07-06.aig |
| MD5SUM | 9e7c7ba8983e562e07ba789575b424c4 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 183.647 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460408 | UNSAT | 183.647 | 183.78 |
| minicirc 2007-05-17 | 461583 | UNSAT | 296.913 | 296.992 |
| aigsat-sp 2007-05-15 | 460407 | UNSAT | 530.296 | 530.429 |
| aigsat-wc 2007-05-15 | 460406 | UNSAT | 796.455 | 796.901 |
| picoaigersat 2007-05-15 | 460405 | UNSAT | 892.203 | 892.435 |