Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Uninett2011_4.json -T -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 164
Problem file: data/zoo_json_waypoint2/Uninett2011_4.json
Switches to update: 112

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 14.133 seconds
Minimum batches required: 3
[[42, 105, 168, 231, 294, 357, 420, 483, 15, 12, 61, 22, 3, 46, 47, 53, 78, 75, 124, 85, 66, 109, 110, 116, 141, 138, 187, 148, 129, 172, 173, 179, 204, 201, 250, 211, 192, 235, 236, 242, 267, 264, 313, 274, 255, 298, 299, 305, 330, 327, 376, 337, 318, 361, 362, 368, 393, 390, 439, 400, 381, 424, 425, 431, 456, 453, 502, 463, 444, 487, 488, 494], [497, 434, 371, 308, 245, 182, 119, 56], [43, 62, 1, 0, 106, 125, 64, 63, 169, 188, 127, 126, 232, 251, 190, 189, 295, 314, 253, 252, 358, 377, 316, 315, 421, 440, 379, 378, 484, 503, 442, 441]]
Total program runtime: 14.808 seconds

real 15.14
user 17.63
sys 0.47
