Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201001_4.json -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.053 seconds
Subproblem verification time: 0.255 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Minimum batches required: 3
[[16, 28, 48, 30, 52, 49, 31, 32, 69, 81, 101, 83, 105, 102, 84, 85, 122, 134, 154, 136, 158, 155, 137, 138, 175, 187, 207, 189, 211, 208, 190, 191, 228, 240, 260, 242, 264, 261, 243, 244, 281, 293, 313, 295, 317, 314, 296, 297, 334, 346, 366, 348, 370, 367, 349, 350, 387, 399, 419, 401, 423, 420, 402, 403], [12, 19, 65, 72, 118, 125, 171, 178, 224, 231, 277, 284, 330, 337, 383, 390], [8, 39, 27, 61, 92, 80, 114, 145, 133, 167, 198, 186, 220, 251, 239, 273, 304, 292, 326, 357, 345, 379, 410, 398]]
Total program runtime: 1.059 seconds

real 1.43
user 2.74
sys 0.36
