Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Intellifiber_1.json -R -O -V Low
DFA generation time: 0.028 seconds 
DFA states: 19 
DFA transitions: 121
Problem file: data/zoo_json_cond_enf2/Intellifiber_1.json
Switches to update: 19

Decomposed topology into 2 subproblems
Topological decomposition took 0.032 seconds
Subproblem verification time: 0.139 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[15, 38, 13, 32, 4, 71, 72, 63, 64], [39, 1, 41], [40, 28, 27, 14, 7, 0, 3]]
Total program runtime: 0.666 seconds

real 1.06
user 2.05
sys 0.16
