Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Sprint_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 7 
DFA transitions: 101
Problem file: data/zoo_json_cond_enf1/Sprint_4.json
Switches to update: 40

Decomposed topology into 2 subproblems
Topological decomposition took 0.032 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 31.439 seconds
Minimum batches required: 3
[[10, 7, 87, 76, 65, 54, 43, 32, 21, 18, 29, 40, 51, 62, 73, 84], [8, 85, 74, 63, 52, 41, 30, 19], [4, 6, 15, 17, 26, 28, 37, 39, 48, 50, 59, 61, 70, 72, 81, 83]]
Total program runtime: 32.065 seconds

real 32.38
user 33.08
sys 0.61
