| tag name | smtcomp2012-resubmission-2 (e2f57474088cbac70ef1be7353f1224dfc139b7d) |
| tag date | 2012-12-06 17:21:04 +0100 |
| tagged by | François Bobot <francois@bobot.eu> |
| tagged object | commit 7fcf0cb48a... |
The actual resubmission to SMT-COMP 2012, which fixes both the arith and BV bugs found in the competition.