Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Iris_4.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 9 
DFA transitions: 156
Problem file: data/zoo_json_waypoint2/Iris_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.071 seconds
Subproblem verification time: 36.2 seconds
Subproblem verification time: 0.581 seconds
Subproblem verification time: 0.564 seconds
Subproblem verification time: 0.582 seconds
Subproblem verification time: 0.57 seconds
Subproblem verification time: 0.562 seconds
Subproblem verification time: 0.58 seconds
Subproblem verification time: 0.678 seconds
Minimum batches required: 3
[[11, 12, 24, 31, 33, 32, 45, 46, 58, 65, 67, 66, 79, 80, 92, 99, 101, 100, 113, 114, 126, 133, 135, 134, 147, 148, 160, 167, 169, 168, 181, 182, 194, 201, 203, 202, 215, 216, 228, 235, 237, 236, 249, 250, 262, 269, 271, 270], [23, 29, 57, 63, 91, 97, 125, 131, 159, 165, 193, 199, 227, 233, 261, 267], [19, 18, 14, 28, 27, 30, 53, 52, 48, 62, 61, 64, 87, 86, 82, 96, 95, 98, 121, 120, 116, 130, 129, 132, 155, 154, 150, 164, 163, 166, 189, 188, 184, 198, 197, 200, 223, 222, 218, 232, 231, 234, 257, 256, 252, 266, 265, 268]]
Total program runtime: 40.982 seconds

real 41.30
user 42.76
sys 1.04
