[YICES-HELP] works with -tc, crashes without

[Johannes Waldmann]

I am using yices-1.0.9-i686-pc-linux-gnu-static-gmp
on Linux box 2.6.16.13-4-smp (openSuse 10.1)

and when I run it on the attached program,
it works (prints "sat") with "-tc" but it segfaults without.

Is this a known bug, is there a recommended workaround?

Thanks, Johannes Waldmann.