Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201101_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: dataND/zoo_json_MF/Garr201101_4.json
Switches to update: 72

Decomposed topology into 8 subproblems
Topological decomposition took 0.052 seconds
Subproblem verification time: 0.773 seconds
Subproblem verification time: 0.262 seconds
Subproblem verification time: 0.265 seconds
Subproblem verification time: 0.256 seconds
Subproblem verification time: 0.262 seconds
Subproblem verification time: 0.276 seconds
Subproblem verification time: 0.266 seconds
Subproblem verification time: 0.255 seconds
Minimum batches required: 3
[[41, 50, 29, 92, 101, 80, 143, 152, 131, 194, 203, 182, 245, 254, 233, 296, 305, 284, 347, 356, 335, 398, 407, 386], [40, 6, 32, 30, 12, 91, 57, 83, 81, 63, 142, 108, 134, 132, 114, 193, 159, 185, 183, 165, 244, 210, 236, 234, 216, 295, 261, 287, 285, 267, 346, 312, 338, 336, 318, 397, 363, 389, 387, 369], [44, 95, 146, 197, 248, 299, 350, 401]]
Total program runtime: 3.209 seconds

real 3.55
user 5.23
sys 0.47
