-- Safety --

State Space:
    x1: -2.2, 2.2
    x2: -2.2, 2.2
    x3: -2.2, 2.2
    x4: -2.2, 2.2
    x5: -2.2, 2.2
    x6: -2.2, 2.2
    x7: -2.2, 2.2
    x8: -2.2, 2.2

Initial State:
    x1: 0.9, 1.1
    x2: 0.9, 1.1
    x3: 0.9, 1.1
    x4: 0.9, 1.1
    x5: 0.9, 1.1
    x6: 0.9, 1.1
    x7: 0.9, 1.1
    x8: 0.9, 1.1

Unsafe State(s):
    x1: -2.2, -1.8
    x2: -2.2, -1.8
    x3: -2.2, -1.8
    x4: -2.2, -1.8
    x5: -2.2, -1.8
    x6: -2.2, -1.8
    x7: -2.2, -1.8
    x8: -2.2, -1.8
