Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Aarnet_4.json -E -C -R -O -V Low
DFA generation time: 0.039 seconds 
DFA states: 19 
DFA transitions: 469
Problem file: data/zoo_json_cond_enf2/Aarnet_4.json
Switches to update: 72

Decomposed topology into 7 subproblems
Topological decomposition took 0.083 seconds
Subproblem verification time: 0.545 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 31.662 seconds
Minimum batches required: 4
[[3, 16, 18, 22, 35, 37, 41, 54, 56, 60, 73, 75, 79, 92, 94, 98, 111, 113, 136, 149, 117, 130, 151, 132], [14, 17, 33, 36, 52, 55, 71, 74, 90, 93, 109, 112, 147, 150, 128, 131], [13, 32, 51, 70, 89, 108, 146, 127], [10, 2, 15, 29, 21, 34, 48, 40, 53, 67, 59, 72, 86, 78, 91, 105, 97, 110, 143, 135, 148, 124, 116, 129]]
Total program runtime: 33.288 seconds

real 33.62
user 35.14
sys 0.81
