[SMTCOMP] SMT-COMP info

[Leonardo de Moura]

Hi,

Some additional information regarding SMT-COM'06:

- We are planning to use 100 benchmarks/division and
a 20 minutes timeout.

- If you didn't pre-register yet, please pre-register as soon as  
possible.

- Execution environment:

OS: GNU/Linux version 2.6.14
Processor: Pentium 4, 3.00 GHz
Memory: 2 Gb (1.5 GB memory limit for solver processes enforced)
Cache: 2 Mb
GCC: version 4.0.2

- The scrambler was updated again.

Best wishes,
Leonardo for Aaron and Clark too.