[SMTCOMP] Bit vector problems

[Kenneth Roe]

Since we do not have a bit vector division currently, I think it would be 
good to get some of the
problems well before the June 1st date proposed in the SMT-COMP rules.  I 
know CVC Lite has
a substantial library of problems.  However, they all look like small test 
cases.  It would be nice to
get a few large test cases within a month or two.  I've heard rumors that 
Intel might donate some
test cases.  Can someone fill me in on the plans?

Also, I've heard noises about quantifier problems and adding substantially 
to the other sections.
What is the story here?

                                                      - Ken