- entry_type: violation_sequence
  metadata:
    format_version: '2.0'
    uuid: ddc5252e-96c4-4838-b60d-891f69353841
    creation_time: '2024-08-01T23:43:54+02:00'
    producer:
      name: Automizer
      version: 0.2.4-wip.fs.yaml-violation-witnesses-bf1304b-m
    task:
      input_files:
      - /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
      input_file_hashes:
        /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
      specification: |+
        CHECK( init(main()), LTL(G ! call(reach_error())) )

      data_model: 32bit
      language: C
  content:
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 142
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1844
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1846
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 147
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 152
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 157
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1775
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1777
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 162
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1752
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 1754
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 167
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 172
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 174
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 176
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 178
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 180
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 182
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 184
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 186
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 188
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 190
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 192
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 194
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 196
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 198
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 200
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 202
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 204
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 206
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 208
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 210
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 212
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 214
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 216
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 218
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 220
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 222
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 224
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 229
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 245
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 251
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 253
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 264
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 267
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 269
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 277
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 283
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 285
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 288
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 290
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 296
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 309
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 315
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 317
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 328
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 331
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 333
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 354
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 356
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 358
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 360
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 362
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 368
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 370
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 372
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 378
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 380
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 390
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 397
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 399
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 406
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 410
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 414
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 422
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 424
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 429
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 431
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 438
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 446
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 450
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 454
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 462
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 464
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 471
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 475
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 479
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 487
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 508
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 510
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 512
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 514
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 516
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'false'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 522
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: branching
        constraint:
          value: 'true'
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 536
          column: 2
          function: main
        action: follow
  - segment:
    - waypoint:
        type: target
        location:
          file_name: /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded-reduced/pals_floodmax.3.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c
          file_hash: 2559d3a6c04b61173c16b2e753022225b6e6ebf2029cdd5907fde2e04c0fda92
          line: 538
          column: 3
          function: main
        action: follow
