Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Quest_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 5 
DFA transitions: 76
Problem file: data/zoo_json_alt_waypoint1/Quest_4.json
Switches to update: 56

Decomposed topology into 8 subproblems
Topological decomposition took 0.033 seconds
Subproblem verification time: 0.203 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.077 seconds
Minimum batches required: 3
[[7, 6, 14, 26, 25, 33, 45, 44, 52, 64, 63, 71, 83, 82, 90, 102, 101, 109, 121, 120, 128, 140, 139, 147], [17, 36, 55, 74, 93, 112, 131, 150], [4, 13, 16, 23, 32, 35, 42, 51, 54, 61, 70, 73, 80, 89, 92, 99, 108, 111, 118, 127, 130, 137, 146, 149]]
Total program runtime: 1.202 seconds

real 1.51
user 2.79
sys 0.42
