| Name | industrial-aig/babic/ hsatv17/hsat_vc11944.aig |
| MD5SUM | b11f83c9a5299fee3457a067173dfbac |
| 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.42102 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460548 | UNSAT | 6.42102 | 6.42872 |
| picoaigersat 2007-05-15 | 460545 | UNSAT | 19.55 | 19.5514 |
| aigsat-sp 2007-05-15 | 460547 | UNSAT | 63.2714 | 63.3035 |
| aigsat-wc 2007-05-15 | 460546 | UNSAT | 97.9591 | 97.9957 |
| minicirc 2007-05-17 | 461618 | ? (problem) | 17.4094 | 17.4152 |