[SMTCOMP] WiSA benchmarks

[Leonardo de Moura]

Hi

I'm looking for more benchmarks from the Wisconsin Safety Analyzer  
(WiSA) project.
SMT-LIB has only five instances of these benchmarks.
Does anyone know where I can find them?

Thanks,
Leonardo