Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Iris_3.json -T -R -O -V Low
DFA generation time: 0.164 seconds 
DFA states: 513 
DFA transitions: 2392
Problem file: data/zoo_json_waypoint8/Iris_3.json
Switches to update: 84

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 128.424 seconds
Minimum batches required: 3
[[19, 28, 69, 78, 119, 128, 169, 178, 18, 14, 27, 30, 29, 37, 45, 44, 68, 64, 77, 80, 79, 87, 95, 94, 118, 114, 127, 130, 129, 137, 145, 144, 168, 164, 177, 180, 179, 187, 195, 194], [173, 170, 123, 120, 73, 70, 23, 20], [11, 12, 24, 31, 33, 32, 47, 48, 49, 61, 62, 74, 81, 83, 82, 97, 98, 99, 111, 112, 124, 131, 133, 132, 147, 148, 149, 161, 162, 174, 181, 183, 182, 197, 198, 199]]
Total program runtime: 138.6 seconds

real 138.91
user 141.92
sys 0.75
