Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Karen_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 108
Problem file: data/zoo_json_waypoint2/Karen_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.777 seconds
Subproblem verification time: 0.124 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.123 seconds
Subproblem verification time: 0.121 seconds
Subproblem verification time: 0.112 seconds
Subproblem verification time: 0.116 seconds
Minimum batches required: 3
[[21, 14, 2, 5, 46, 39, 27, 30, 71, 64, 52, 55, 96, 89, 77, 80, 121, 114, 102, 105, 146, 139, 127, 130, 171, 164, 152, 155, 196, 189, 177, 180], [0, 9, 25, 34, 50, 59, 75, 84, 100, 109, 125, 134, 150, 159, 175, 184], [23, 24, 3, 48, 49, 28, 73, 74, 53, 98, 99, 78, 123, 124, 103, 148, 149, 128, 173, 174, 153, 198, 199, 178]]
Total program runtime: 2.272 seconds

real 2.60
user 4.36
sys 0.44
