Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Karen_4.json -E -C -R -O -V Low
DFA generation time: 0.032 seconds 
DFA states: 5 
DFA transitions: 100
Problem file: data/zoo_json_alt_waypoint1/Karen_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.052 seconds
Subproblem verification time: 0.479 seconds
Subproblem verification time: 0.112 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.162 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.11 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: 1.903 seconds

real 2.21
user 3.79
sys 0.50
