Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Interoute_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 5 
DFA transitions: 140
Problem file: data/zoo_json_alt_waypoint1/Interoute_3.json
Switches to update: 124

Decomposed topology into 8 subproblems
Topological decomposition took 0.063 seconds
Subproblem verification time: 0.111 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.038 seconds
Minimum batches required: 3
[[15, 36, 89, 39, 9, 8, 7, 19, 12, 27, 51, 88, 76, 87, 124, 145, 198, 148, 118, 117, 116, 128, 121, 136, 160, 197, 185, 196, 233, 254, 307, 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, 16, 53, 123, 125, 162, 232, 234, 271, 341, 343, 380], [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, 362, 327, 430, 429, 361, 373, 348, 338, 399, 383, 384, 377, 422, 413]]
Total program runtime: 1.004 seconds

real 1.33
user 2.91
sys 0.36
