Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/AttMpls_4.json -E -C -R -O -V Low
DFA generation time: 0.04 seconds 
DFA states: 19 
DFA transitions: 341
Problem file: data/zoo_json_cond_enf2/AttMpls_4.json
Switches to update: 40

Decomposed topology into 11 subproblems
Topological decomposition took 0.063 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 9.554 seconds
Minimum batches required: 3
[[0, 16, 25, 41, 50, 66, 75, 91, 100, 116, 175, 150, 125, 191, 166, 141], [1, 15, 26, 40, 51, 65, 76, 90, 101, 115, 190, 176, 165, 151, 140, 126], [6, 31, 56, 81, 106, 181, 156, 131]]
Total program runtime: 10.53 seconds

real 10.85
user 12.56
sys 0.57
