Updated version of test script: timeout for z3
Updated version of test script: timeout for z3

git-svn-id: c2262568bd2331711548f1dde06ba484336b6874@155 041b043f-8d7c-46b2-b46e-ef0dd855326e

lememta/lustrec,lememta/lustrec,lememta/lustrec