Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/BeyondTheNetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.131 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.173 seconds
Subproblem verification time: 0.915 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.109 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.103 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.499 seconds

real 2.78
user 5.37
sys 0.54
