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

Decomposed topology into 8 subproblems
Topological decomposition took 0.04 seconds
Subproblem verification time: 0.513 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.071 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.894 seconds

real 2.26
user 2.88
sys 0.49
