Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Missouri_3.json -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 7 
DFA transitions: 213
Problem file: data/zoo_json_cond_enf1/Missouri_3.json
Switches to update: 72

Decomposed topology into 3 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 0.174 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 65.615 seconds
Minimum batches required: 4
[[59, 53, 60, 61, 62, 1, 54, 46, 51, 50, 41, 242, 175, 108, 126, 120, 193, 187, 260, 254, 127, 128, 129, 68, 121, 113, 118, 117, 194, 195, 196, 135, 188, 180, 185, 184, 261, 262, 263, 202, 255, 247, 252, 251], [66, 2, 44, 267, 203, 200, 136, 133, 69], [64, 265, 198, 131], [63, 57, 65, 264, 197, 130, 124, 132, 111, 191, 199, 178, 258, 266, 245]]
Total program runtime: 66.497 seconds

real 66.82
user 67.93
sys 1.06
