| Name | industrial-aig/babic/ hsatv17/hsat_vc12070.aig |
| MD5SUM | 54af503136905c9d626e64b55c33e7a5 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 6.603 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460536 | UNSAT | 6.603 | 6.60628 |
| picoaigersat 2007-05-15 | 460533 | UNSAT | 20.3339 | 20.3392 |
| aigsat-wc 2007-05-15 | 460534 | UNSAT | 23.0405 | 23.0503 |
| aigsat-sp 2007-05-15 | 460535 | UNSAT | 23.8804 | 23.8958 |
| minicirc 2007-05-17 | 461615 | ? (problem) | 19.62 | 19.6226 |