Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Garr200902_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: data/zoo_json_reachability/Garr200902_4.json
Switches to update: 56

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.207 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.083 seconds
Minimum batches required: 3
[[31, 16, 84, 69, 137, 122, 190, 175, 243, 228, 296, 281, 349, 334, 402, 387], [48, 19, 101, 72, 154, 125, 207, 178, 260, 231, 313, 284, 366, 337, 419, 390], [29, 24, 8, 82, 77, 61, 135, 130, 114, 188, 183, 167, 241, 236, 220, 294, 289, 273, 347, 342, 326, 400, 395, 379]]
Total program runtime: 1.395 seconds

real 1.71
user 3.12
sys 0.44
