Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Uninett2011_4.json -R -O -V Low
DFA generation time: 0.218 seconds 
DFA states: 513 
DFA transitions: 2456
Problem file: data/zoo_json_waypoint8/Uninett2011_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.267 seconds
Subproblem verification time: 0.134 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[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, 330, 327, 376, 337, 318, 361, 362, 368, 420, 393, 390, 439, 400, 381, 424, 425, 431, 483, 456, 453, 502, 463, 444, 487, 488, 494], [56, 119, 182, 245, 308, 371, 434, 497], [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: 1.475 seconds

real 1.82
user 4.47
sys 0.56
