Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Psinet_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 153
Problem file: dataND/zoo_json_MF/Psinet_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.069 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Minimum batches required: 3
[[22, 23, 7, 46, 47, 31, 70, 71, 55, 94, 95, 79, 118, 119, 103, 142, 143, 127, 166, 167, 151, 190, 191, 175], [14, 38, 62, 86, 110, 134, 158, 182], [15, 2, 1, 4, 5, 8, 9, 13, 12, 3, 39, 26, 25, 28, 29, 32, 33, 37, 36, 27, 63, 50, 49, 52, 53, 56, 57, 61, 60, 51, 87, 74, 73, 76, 77, 80, 81, 85, 84, 75, 111, 98, 97, 100, 101, 104, 105, 109, 108, 99, 135, 122, 121, 124, 125, 128, 129, 133, 132, 123, 159, 146, 145, 148, 149, 152, 153, 157, 156, 147, 183, 170, 169, 172, 173, 176, 177, 181, 180, 171]]
Total program runtime: 0.998 seconds

real 1.37
user 2.89
sys 0.34
