Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/CrlNetworkServices_3.json -T -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 101
Problem file: dataND/zoo_json_MF/CrlNetworkServices_3.json
Switches to update: 96

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 0.584 seconds
Minimum batches required: 3
[[18, 51, 84, 117, 9, 8, 6, 1, 0, 42, 41, 39, 34, 33, 75, 74, 72, 67, 66, 108, 107, 105, 100, 99], [116, 83, 50, 17], [16, 15, 22, 21, 20, 19, 25, 26, 27, 31, 32, 23, 24, 2, 49, 48, 55, 54, 53, 52, 58, 59, 60, 64, 65, 56, 57, 35, 82, 81, 88, 87, 86, 85, 91, 92, 93, 97, 98, 89, 90, 68, 115, 114, 121, 120, 119, 118, 124, 125, 126, 130, 131, 122, 123, 101, 13, 10, 11, 46, 43, 44, 79, 76, 77, 112, 109, 110]]
Total program runtime: 1.077 seconds

real 1.37
user 2.61
sys 0.17
