Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/Interoute_3.json -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 9 
DFA transitions: 148
Problem file: data/zoo_json_alt_waypoint2/Interoute_3.json
Switches to update: 124

Decomposed topology into 4 subproblems
Topological decomposition took 0.064 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 7.22 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.036 seconds
Minimum batches required: 4
[[15, 36, 89, 124, 145, 198, 233, 254, 307, 39, 9, 8, 7, 19, 12, 27, 51, 88, 76, 87, 148, 118, 117, 116, 128, 121, 136, 160, 197, 185, 196, 257, 227, 226, 225, 237, 230, 245, 269, 306, 294, 305, 342, 363, 416, 366, 336, 335, 334, 346, 339, 354, 378, 415, 403, 414], [14, 234, 271, 232, 125, 162, 123, 16, 341, 343, 380], [53, 362, 327, 430, 429, 361, 373, 348, 338, 399, 383, 384, 377, 422, 413], [35, 0, 103, 102, 34, 46, 21, 11, 72, 56, 57, 50, 95, 86, 144, 109, 212, 211, 143, 155, 130, 120, 181, 165, 166, 159, 204, 195, 253, 218, 321, 320, 252, 264, 239, 229, 290, 274, 275, 268, 313, 304]]
Total program runtime: 8.088 seconds

real 8.40
user 10.05
sys 0.38
