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

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

real 1.28
user 2.50
sys 0.28
