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

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 1.067 seconds
Subproblem verification time: 0.274 seconds
Subproblem verification time: 0.27 seconds
Subproblem verification time: 0.271 seconds
Subproblem verification time: 0.28 seconds
Subproblem verification time: 0.27 seconds
Subproblem verification time: 0.264 seconds
Subproblem verification time: 0.267 seconds
Minimum batches required: 3
[[41, 56, 36, 98, 113, 93, 155, 170, 150, 212, 227, 207, 269, 284, 264, 326, 341, 321, 383, 398, 378, 440, 455, 435], [52, 34, 109, 91, 166, 148, 223, 205, 280, 262, 337, 319, 394, 376, 451, 433], [46, 14, 32, 18, 4, 103, 71, 89, 75, 61, 160, 128, 146, 132, 118, 217, 185, 203, 189, 175, 274, 242, 260, 246, 232, 331, 299, 317, 303, 289, 388, 356, 374, 360, 346, 445, 413, 431, 417, 403]]
Total program runtime: 3.552 seconds

real 3.84
user 5.55
sys 0.42
