Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Interoute_3.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 133
Problem file: data/zoo_json_reachability/Interoute_3.json
Switches to update: 100

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 5.155 seconds
Minimum batches required: 3
[[56, 19, 165, 128, 274, 237, 383, 346, 16, 27, 7, 8, 9, 39, 36, 125, 136, 116, 117, 118, 148, 145, 234, 245, 225, 226, 227, 257, 254, 343, 354, 334, 335, 336, 366, 363], [339, 384, 230, 275, 121, 166, 12, 57], [92, 55, 54, 38, 52, 26, 18, 47, 46, 34, 102, 103, 0, 35, 201, 164, 163, 147, 161, 135, 127, 156, 155, 143, 211, 212, 109, 144, 310, 273, 272, 256, 270, 244, 236, 265, 264, 252, 320, 321, 218, 253, 419, 382, 381, 365, 379, 353, 345, 374, 373, 361, 429, 430, 327, 362]]
Total program runtime: 5.758 seconds

real 6.06
user 7.55
sys 0.36
