[SMTCOMP] SMT-COMP info

[Leonardo de Moura]

Hi,

The deadline for submitting solvers is August 8. We will *not* extend  
the deadline
this year.

The organizers will post their solvers on August 7 before the other  
participants
submit the magic numbers for the pseudo-random selection of benchmarks.

We updated the benchmarks in the SMT-COMP and SMT-LIB websites.
They are synchronized now. The new benchmarks contain minor  
modifications:

   - broke egt family in QF_UFBV32.

   - removed nonlinear (simplify) benchmark from AUFLIA.

   - removed one non QF_UFIDL benchmark (UCLID-pred/BRP/BRP0.smt)

   - replaced uninterpreted sort with Int sort in a couple of  
benchmarks in QF_AUFLIA/swap.

All benchmarks were validated, and this is the official benchmark
library for SMT-COMP'06.

Best wishes,
Leonardo for Aaron and Clark too.