TRIVIAL-HARDTopREAL-EIGENS-FOCUS

S-FOCUS


FLOW: (x_1',x_2')=(-x_1-x_2,x_1-x_2)
Empty jump relation
Init: 2.5 <= x1 <= 3/\x2=0
Unsafe: x1>3 \/x2>3
The state space: [0,4]×[0,4]

Input file


TRIVIAL-HARDTopREAL-EIGENS-FOCUS