Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Agis_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 108
Problem file: data/zoo_json_waypoint1/Agis_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.936 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.113 seconds
Minimum batches required: 3
[[23, 24, 9, 10, 14, 48, 49, 34, 35, 39, 73, 74, 59, 60, 64, 98, 99, 84, 85, 89, 123, 124, 109, 110, 114, 148, 149, 134, 135, 139, 173, 174, 159, 160, 164, 198, 199, 184, 185, 189], [17, 42, 67, 92, 117, 142, 167, 192], [3, 6, 7, 19, 28, 31, 32, 44, 53, 56, 57, 69, 78, 81, 82, 94, 103, 106, 107, 119, 128, 131, 132, 144, 153, 156, 157, 169, 178, 181, 182, 194]]
Total program runtime: 2.307 seconds

real 2.65
user 4.44
sys 0.44
