Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Xspedius_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 100
Problem file: data/zoo_json_waypoint1/Xspedius_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.511 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.095 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.97 seconds

real 2.26
user 3.72
sys 0.45
