Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Xspedius_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 108
Problem file: data/zoo_json_waypoint2/Xspedius_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.601 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.125 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.099 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.962 seconds

real 2.29
user 3.95
sys 0.41
