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

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

real 1.36
user 2.97
sys 0.30
