Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Cwix_3.json -E -C -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 65
Problem file: data/zoo_json_reachability/Cwix_3.json
Switches to update: 52

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 13.446 seconds
Subproblem verification time: 0.194 seconds
Subproblem verification time: 0.186 seconds
Subproblem verification time: 0.195 seconds
Minimum batches required: 3
[[19, 20, 21, 2, 27, 26, 34, 54, 55, 56, 37, 62, 61, 69, 89, 90, 91, 72, 97, 96, 104, 124, 125, 126, 107, 132, 131, 139], [3, 6, 38, 41, 73, 76, 108, 111], [24, 9, 0, 1, 59, 44, 35, 36, 94, 79, 70, 71, 129, 114, 105, 106]]
Total program runtime: 14.621 seconds

real 14.93
user 15.85
sys 0.51
