Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Digex_4.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 9 
DFA transitions: 156
Problem file: data/zoo_json_waypoint2/Digex_4.json
Switches to update: 128

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

real 9.12
user 10.85
sys 0.68
