| Name | additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig |
| MD5SUM | dc321c879fc0f9d72182db0c33d1ec21 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.99254 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 460928 | UNSAT | 2.99254 | 2.99538 |
| picoaigersat 2007-05-15 | 460925 | UNSAT | 3.60845 | 3.6056 |
| aigsat-sp 2007-05-15 | 460927 | UNSAT | 4.15037 | 4.15455 |
| aigsat-wc 2007-05-15 | 460926 | UNSAT | 4.63429 | 4.63572 |
| minicirc 2007-05-17 | 461713 | UNSAT | 8.03678 | 8.04122 |