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

Decomposed topology into 4 subproblems
Topological decomposition took 0.078 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 5.254 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.052 seconds
Minimum batches required: 4
[[72, 66, 71, 70, 69, 68, 26, 14, 12, 13, 145, 139, 218, 212, 291, 285, 364, 358, 437, 431, 144, 143, 142, 141, 99, 87, 85, 86, 217, 216, 215, 214, 172, 160, 158, 159, 290, 289, 288, 287, 245, 233, 231, 232, 363, 362, 361, 360, 318, 306, 304, 305, 436, 435, 434, 433, 391, 379, 377, 378, 510, 504, 509, 508, 507, 506, 464, 452, 450, 451, 583, 577, 582, 581, 580, 579, 537, 525, 523, 524], [67, 64, 432, 359, 356, 286, 283, 213, 210, 140, 137, 505, 502, 578, 575], [65, 2, 3, 1, 8, 15, 31, 429, 503, 440, 441, 439, 446, 453, 469, 576, 513, 514, 512, 519, 526, 542], [138, 75, 76, 74, 81, 88, 104, 211, 148, 149, 147, 154, 161, 177, 284, 221, 222, 220, 227, 234, 250, 357, 294, 295, 293, 300, 307, 323, 430, 367, 368, 366, 373, 380, 396]]
Total program runtime: 6.197 seconds

real 6.53
user 8.13
sys 0.44
