Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Iris_3.json -R -O -V Low
DFA generation time: 0.031 seconds 
DFA states: 7 
DFA transitions: 181
Problem file: data/zoo_json_cond_enf1/Iris_3.json
Switches to update: 84

Decomposed topology into 1 subproblems
Topological decomposition took 0.051 seconds
Subproblem verification time: 3.616 seconds
Minimum batches required: 4
[[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, 20], [23], [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: 4.279 seconds

real 4.59
user 6.07
sys 0.27
