Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201001_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 129
Problem file: dataND/zoo_json_MF/Garr201001_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 19.781 seconds
Subproblem verification time: 0.172 seconds
Subproblem verification time: 0.17 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.183 seconds
Subproblem verification time: 0.211 seconds
Subproblem verification time: 0.165 seconds
Subproblem verification time: 0.179 seconds
Minimum batches required: 3
[[32, 52, 31, 30, 49, 28, 48, 16, 85, 105, 84, 83, 102, 81, 101, 69, 138, 158, 137, 136, 155, 134, 154, 122, 191, 211, 190, 189, 208, 187, 207, 175, 244, 264, 243, 242, 261, 240, 260, 228, 297, 317, 296, 295, 314, 293, 313, 281, 350, 370, 349, 348, 367, 346, 366, 334, 403, 423, 402, 401, 420, 399, 419, 387], [12, 19, 65, 72, 118, 125, 171, 178, 224, 231, 277, 284, 330, 337, 383, 390], [27, 39, 8, 80, 92, 61, 133, 145, 114, 186, 198, 167, 239, 251, 220, 292, 304, 273, 345, 357, 326, 398, 410, 379]]
Total program runtime: 21.611 seconds

real 21.90
user 23.50
sys 0.87
