| Name | industrial-aig/babic/ hsatv17/hsat_vc12062.aig |
| MD5SUM | 049b902c894d8ade529168a83bd3a70b |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 5.96409 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460564 | UNSAT | 5.96409 | 5.96779 |
| picoaigersat 2007-05-15 | 460561 | UNSAT | 18.5252 | 18.5302 |
| aigsat-sp 2007-05-15 | 460563 | UNSAT | 49.1495 | 49.1666 |
| aigsat-wc 2007-05-15 | 460562 | UNSAT | 116.812 | 116.846 |
| minicirc 2007-05-17 | 461622 | ? (problem) | 19.814 | 19.8173 |