Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/BeyondTheNetwork_4.json -R -O -V Low
DFA generation time: 0.211 seconds 
DFA states: 513 
DFA transitions: 2408
Problem file: data/zoo_json_waypoint8/BeyondTheNetwork_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.215 seconds
Subproblem verification time: 0.128 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 3
[[51, 49, 35, 9, 8, 104, 102, 88, 62, 61, 157, 155, 141, 115, 114, 210, 208, 194, 168, 167, 263, 261, 247, 221, 220, 316, 314, 300, 274, 273, 369, 367, 353, 327, 326, 422, 420, 406, 380, 379], [52, 105, 158, 211, 264, 317, 370, 423], [43, 25, 47, 45, 96, 78, 100, 98, 149, 131, 153, 151, 202, 184, 206, 204, 255, 237, 259, 257, 308, 290, 312, 310, 361, 343, 365, 363, 414, 396, 418, 416]]
Total program runtime: 1.419 seconds

real 1.76
user 4.33
sys 0.54
