Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/Uninett2011_3.json -R -O -V Low
DFA generation time: 0.032 seconds 
DFA states: 9 
DFA transitions: 88
Problem file: data/zoo_json_alt_waypoint2/Uninett2011_3.json
Switches to update: 72

Decomposed topology into 2 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 93.008 seconds
Subproblem verification time: 0.043 seconds
Minimum batches required: 5
[[60, 62, 42, 129, 131, 111, 198, 200, 180, 2, 3, 44, 31, 71, 72, 113, 100, 140, 141, 182, 169, 267, 269, 249, 209, 210, 251, 238], [153, 197, 84, 70, 128, 15, 1, 222, 208, 266], [181, 112, 43, 59, 250], [139, 274, 275, 207, 239, 219, 263, 237], [67, 68, 0, 32, 12, 56, 30, 136, 137, 69, 101, 81, 125, 99, 205, 206, 138, 170, 150, 194, 168]]
Total program runtime: 93.648 seconds

real 93.96
user 93.93
sys 1.18
