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

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 1.285 seconds
Subproblem verification time: 0.446 seconds
Subproblem verification time: 0.453 seconds
Subproblem verification time: 0.456 seconds
Subproblem verification time: 0.459 seconds
Subproblem verification time: 0.452 seconds
Subproblem verification time: 0.433 seconds
Subproblem verification time: 0.461 seconds
Minimum batches required: 3
[[31, 16, 19, 84, 69, 72, 137, 122, 125, 190, 175, 178, 243, 228, 231, 296, 281, 284, 349, 334, 337, 402, 387, 390], [42, 48, 8, 95, 101, 61, 148, 154, 114, 201, 207, 167, 254, 260, 220, 307, 313, 273, 360, 366, 326, 413, 419, 379], [25, 52, 29, 24, 78, 105, 82, 77, 131, 158, 135, 130, 184, 211, 188, 183, 237, 264, 241, 236, 290, 317, 294, 289, 343, 370, 347, 342, 396, 423, 400, 395]]
Total program runtime: 5.0 seconds

real 5.36
user 6.93
sys 0.54
