Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/VtlWavenet2011_2.json -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 7 
DFA transitions: 301
Problem file: data/zoo_json_cond_enf1/VtlWavenet2011_2.json
Switches to update: 146

Decomposed topology into 2 subproblems
Topological decomposition took 0.081 seconds
Subproblem verification time: 6.644 seconds
Subproblem verification time: 1.018 seconds
Minimum batches required: 4
[[45, 68, 28, 71, 70, 14, 52, 53, 60, 17, 61, 58, 59, 56, 57, 54, 72, 73, 46, 40, 79, 26, 137, 160, 120, 163, 162, 106, 144, 145, 152, 109, 153, 150, 151, 148, 149, 146, 164, 165, 138, 132, 171, 118], [47, 27, 24, 51, 29, 13, 77, 50, 139, 119, 116, 143, 121, 105, 169, 142], [69, 161], [66, 67, 16, 64, 12, 65, 62, 10, 11, 8, 9, 41, 0, 32, 1, 33, 34, 55, 36, 91, 37, 39, 38, 90, 89, 88, 87, 63, 86, 84, 85, 15, 25, 48, 80, 81, 49, 42, 43, 74, 75, 44, 158, 159, 108, 156, 104, 157, 154, 102, 103, 100, 101, 133, 92, 124, 93, 125, 126, 147, 128, 183, 129, 131, 130, 182, 181, 180, 179, 155, 178, 176, 177, 107, 117, 140, 172, 173, 141, 134, 135, 166, 167, 136]]
Total program runtime: 8.414 seconds

real 8.74
user 10.41
sys 0.44
