Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Interoute_3.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 153
Problem file: dataND/zoo_json_MF/Interoute_3.json
Switches to update: 124

Decomposed topology into 4 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 0.177 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.078 seconds
Minimum batches required: 3
[[87, 56, 19, 16, 27, 7, 8, 9, 39, 36, 76, 88, 51, 89, 196, 165, 128, 125, 136, 116, 117, 118, 148, 145, 185, 197, 160, 198, 305, 274, 237, 234, 245, 225, 226, 227, 257, 254, 294, 306, 269, 307, 414, 383, 346, 343, 354, 334, 335, 336, 366, 363, 403, 415, 378, 416], [12, 57, 94, 121, 166, 203, 230, 275, 312, 339, 384, 421], [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: 0.975 seconds

real 1.29
user 2.78
sys 0.35
