| Name | industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig |
| MD5SUM | ea70058307b64e3878591bebd2d40061 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3.48047 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461646 | UNSAT | 3.48047 | 3.47678 |
| aig-cmusat 2007-05-15 | 460660 | UNSAT | 5.62714 | 5.62935 |
| aigsat-wc 2007-05-15 | 460658 | UNSAT | 6.96794 | 6.97216 |
| aigsat-sp 2007-05-15 | 460659 | UNSAT | 7.70683 | 7.70782 |
| picoaigersat 2007-05-15 | 460657 | UNSAT | 13.008 | 13.0047 |