Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/HurricaneElectric_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: dataND/zoo_json_MF/HurricaneElectric_4.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 0.284 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.088 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.133 seconds
Minimum batches required: 3
[[3, 23, 4, 27, 47, 28, 51, 71, 52, 75, 95, 76, 99, 119, 100, 123, 143, 124, 147, 167, 148, 171, 191, 172], [13, 37, 61, 85, 109, 133, 157, 181], [2, 0, 12, 9, 26, 24, 36, 33, 50, 48, 60, 57, 74, 72, 84, 81, 98, 96, 108, 105, 122, 120, 132, 129, 146, 144, 156, 153, 170, 168, 180, 177]]
Total program runtime: 1.541 seconds

real 1.84
user 3.35
sys 0.49
