Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Uninett2011_3.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 5 
DFA transitions: 80
Problem file: data/zoo_json_alt_waypoint1/Uninett2011_3.json
Switches to update: 72

Decomposed topology into 2 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 39.622 seconds
Subproblem verification time: 0.04 seconds
Minimum batches required: 4
[[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, 59, 222, 208, 266], [181, 139, 112, 43, 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: 40.222 seconds

real 40.54
user 41.24
sys 0.72
