Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Ntelos_3.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 109
Problem file: data/zoo_json_reachability/Ntelos_3.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 0.193 seconds
Subproblem verification time: 0.68 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.67 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.643 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.601 seconds
Minimum batches required: 3
[[18, 41, 45, 46, 47, 38, 39, 24, 66, 89, 93, 94, 95, 86, 87, 72, 114, 137, 141, 142, 143, 134, 135, 120, 162, 185, 189, 190, 191, 182, 183, 168], [17, 8, 65, 56, 113, 104, 161, 152], [19, 44, 37, 34, 31, 32, 33, 9, 67, 92, 85, 82, 79, 80, 81, 57, 115, 140, 133, 130, 127, 128, 129, 105, 163, 188, 181, 178, 175, 176, 177, 153]]
Total program runtime: 3.56 seconds

real 3.88
user 5.35
sys 0.45
