Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Dfn_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 9 
DFA transitions: 148
Problem file: data/zoo_json_waypoint2/Dfn_4.json
Switches to update: 104

Decomposed topology into 16 subproblems
Topological decomposition took 0.08 seconds
Subproblem verification time: 0.14 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.057 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.489 seconds

real 1.83
user 3.63
sys 0.61
