Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201108_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/Garr201108_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 1.458 seconds
Subproblem verification time: 0.484 seconds
Subproblem verification time: 0.493 seconds
Subproblem verification time: 0.485 seconds
Subproblem verification time: 0.507 seconds
Subproblem verification time: 0.519 seconds
Subproblem verification time: 0.516 seconds
Subproblem verification time: 0.479 seconds
Minimum batches required: 3
[[33, 53, 14, 87, 107, 68, 141, 161, 122, 195, 215, 176, 249, 269, 230, 303, 323, 284, 357, 377, 338, 411, 431, 392], [44, 4, 10, 47, 32, 98, 58, 64, 101, 86, 152, 112, 118, 155, 140, 206, 166, 172, 209, 194, 260, 220, 226, 263, 248, 314, 274, 280, 317, 302, 368, 328, 334, 371, 356, 422, 382, 388, 425, 410], [35, 34, 89, 88, 143, 142, 197, 196, 251, 250, 305, 304, 359, 358, 413, 412]]
Total program runtime: 5.557 seconds

real 5.87
user 7.61
sys 0.51
