Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/BeyondTheNetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 116
Problem file: data/zoo_json_waypoint2/BeyondTheNetwork_4.json
Switches to update: 80

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

real 2.43
user 4.21
sys 0.47
