Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/Intellifiber_3.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 132
Problem file: data/zoo_json_alt_waypoint2/Intellifiber_3.json
Switches to update: 108

Decomposed topology into 2 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 141.255 seconds
Subproblem verification time: 0.046 seconds
Minimum batches required: 5
[[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, 16, 24, 29, 232, 240, 245], [188, 116, 44, 260], [101, 242, 277, 239, 257, 223, 252, 251, 278, 247, 219, 218], [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]]
Total program runtime: 141.92 seconds

real 142.24
user 142.42
sys 1.58
