Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Xspedius_4.json -E -C -R -O -V Low
DFA generation time: 0.055 seconds 
DFA states: 33 
DFA transitions: 176
Problem file: data/zoo_json_waypoint4/Xspedius_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.067 seconds
Subproblem verification time: 0.522 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.122 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.092 seconds
Minimum batches required: 3
[[25, 2, 3, 27, 57, 34, 35, 59, 89, 66, 67, 91, 121, 98, 99, 123, 153, 130, 131, 155, 185, 162, 163, 187, 217, 194, 195, 219, 249, 226, 227, 251], [31, 26, 63, 58, 95, 90, 127, 122, 159, 154, 191, 186, 223, 218, 255, 250], [24, 30, 29, 56, 62, 61, 88, 94, 93, 120, 126, 125, 152, 158, 157, 184, 190, 189, 216, 222, 221, 248, 254, 253]]
Total program runtime: 1.898 seconds

real 2.21
user 4.01
sys 0.44
