Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Internetmci_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 73
Problem file: data/zoo_json_reachability/Internetmci_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 0.279 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.082 seconds
Minimum batches required: 3
[[12, 7, 2, 1, 29, 24, 19, 18, 46, 41, 36, 35, 63, 58, 53, 52, 80, 75, 70, 69, 97, 92, 87, 86, 114, 109, 104, 103, 131, 126, 121, 120], [0, 17, 34, 51, 68, 85, 102, 119], [14, 16, 3, 31, 33, 20, 48, 50, 37, 65, 67, 54, 82, 84, 71, 99, 101, 88, 116, 118, 105, 133, 135, 122]]
Total program runtime: 1.411 seconds

real 1.78
user 3.11
sys 0.46
