Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Digex_4.json -E -C -R -O -V Low
DFA generation time: 0.165 seconds 
DFA states: 513 
DFA transitions: 2448
Problem file: data/zoo_json_waypoint8/Digex_4.json
Switches to update: 128

Decomposed topology into 16 subproblems
Topological decomposition took 0.25 seconds
Subproblem verification time: 5.206 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.179 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.186 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.164 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.189 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.184 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.164 seconds
Subproblem verification time: 0.024 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: 7.671 seconds

real 7.97
user 10.93
sys 0.87
