Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Dfn_4.json -R -O -V Low
DFA generation time: 0.166 seconds 
DFA states: 513 
DFA transitions: 2440
Problem file: data/zoo_json_waypoint8/Dfn_4.json
Switches to update: 104

Decomposed topology into 16 subproblems
Topological decomposition took 0.221 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.06 seconds
Minimum batches required: 2
[[2, 56, 57, 50, 34, 35, 60, 114, 115, 108, 92, 93, 118, 172, 173, 166, 150, 151, 176, 230, 231, 224, 208, 209, 234, 288, 289, 282, 266, 267, 292, 346, 347, 340, 324, 325, 350, 404, 405, 398, 382, 383, 408, 462, 463, 456, 440, 441], [49, 52, 51, 19, 20, 46, 45, 107, 110, 109, 77, 78, 104, 103, 165, 168, 167, 135, 136, 162, 161, 223, 226, 225, 193, 194, 220, 219, 281, 284, 283, 251, 252, 278, 277, 339, 342, 341, 309, 310, 336, 335, 397, 400, 399, 367, 368, 394, 393, 455, 458, 457, 425, 426, 452, 451]]
Total program runtime: 1.754 seconds

real 2.08
user 5.18
sys 0.73
