Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Uninett2010_4.json -R -O -V Low
DFA generation time: 0.21 seconds 
DFA states: 513 
DFA transitions: 2464
Problem file: data/zoo_json_waypoint8/Uninett2010_4.json
Switches to update: 152

Decomposed topology into 8 subproblems
Topological decomposition took 0.285 seconds
Subproblem verification time: 0.156 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[72, 66, 71, 70, 69, 68, 26, 14, 12, 13, 145, 139, 144, 143, 142, 141, 99, 87, 85, 86, 218, 212, 217, 216, 215, 214, 172, 160, 158, 159, 291, 285, 290, 289, 288, 287, 245, 233, 231, 232, 364, 358, 363, 362, 361, 360, 318, 306, 304, 305, 437, 431, 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, 140, 137, 213, 210, 286, 283, 359, 356, 432, 429, 505, 502, 578, 575], [65, 2, 3, 1, 8, 15, 31, 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, 503, 440, 441, 439, 446, 453, 469, 576, 513, 514, 512, 519, 526, 542]]
Total program runtime: 1.61 seconds

real 1.99
user 4.87
sys 0.55
