Verification Result: unsafe
Total Time: 0.959 secs
Arnoldi Iterations: 63
Counter-example Time: 1.919
Counter-example Rel-Error: [0.00000001]
