Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Digex_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 5 
DFA transitions: 148
Problem file: data/zoo_json_waypoint1/Digex_4.json
Switches to update: 128

Decomposed topology into 16 subproblems
Topological decomposition took 0.065 seconds
Subproblem verification time: 0.111 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.044 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[22, 2, 13, 19, 14, 15, 25, 26, 53, 33, 44, 50, 45, 46, 56, 57, 84, 64, 75, 81, 76, 77, 87, 88, 115, 95, 106, 112, 107, 108, 118, 119, 146, 126, 137, 143, 138, 139, 149, 150, 177, 157, 168, 174, 169, 170, 180, 181, 208, 188, 199, 205, 200, 201, 211, 212, 239, 219, 230, 236, 231, 232, 242, 243], [21, 29, 52, 60, 83, 91, 114, 122, 145, 153, 176, 184, 207, 215, 238, 246], [30, 8, 9, 16, 5, 28, 61, 39, 40, 47, 36, 59, 92, 70, 71, 78, 67, 90, 123, 101, 102, 109, 98, 121, 154, 132, 133, 140, 129, 152, 185, 163, 164, 171, 160, 183, 216, 194, 195, 202, 191, 214, 247, 225, 226, 233, 222, 245]]
Total program runtime: 1.27 seconds

real 1.66
user 3.39
sys 0.60
