| tag name | smtcomp2012-resubmission (17f9d5293df79718ff490778789f5739d0f3b3d1) |
| tag date | 2012-12-06 17:17:36 +0100 |
| tagged by | François Bobot <francois@bobot.eu> |
| tagged object | commit 2f282e67ed... |
The official resubmission to SMT-COMP 2012, which fixes a couple of bugs exposed in the demo track (QF_LIA) and main track (QF_UFLIA).