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

Decomposed topology into 2 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 81.896 seconds
Subproblem verification time: 0.042 seconds
Minimum batches required: 4
[[9, 48, 17, 81, 120, 89, 153, 192, 161, 46, 42, 5, 6, 1, 71, 70, 68, 67, 118, 114, 77, 78, 73, 143, 142, 140, 139, 190, 186, 149, 150, 145, 215, 214, 212, 211, 225, 264, 233, 262, 258, 221, 222, 217, 287, 286, 284, 283], [160, 168, 173, 88, 96, 101, 16, 24, 29, 232, 240, 245], [188, 116, 44, 260], [26, 61, 23, 41, 7, 36, 35, 62, 31, 3, 2, 98, 133, 95, 113, 79, 108, 107, 134, 103, 75, 74, 170, 205, 167, 185, 151, 180, 179, 206, 175, 147, 146, 242, 277, 239, 257, 223, 252, 251, 278, 247, 219, 218]]
Total program runtime: 82.555 seconds

real 82.88
user 83.36
sys 1.17
