Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/TataNld_2.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 107
Problem file: data/zoo_json_reachability/TataNld_2.json
Switches to update: 100

Decomposed topology into 2 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 0.177 seconds
Subproblem verification time: 0.041 seconds
Minimum batches required: 3
[[83, 128, 86, 107, 47, 126, 94, 88, 87, 67, 98, 97, 75, 82, 81, 26, 20, 52, 132, 131, 32, 117, 112, 110, 109, 226, 271, 229, 250, 190, 269, 237, 231, 230, 210, 241, 240, 218, 225, 224, 169, 163, 195, 275, 274, 175, 260, 255, 253, 252], [46, 141, 189, 284], [142, 40, 41, 123, 122, 119, 120, 95, 71, 60, 69, 79, 56, 59, 58, 51, 136, 135, 134, 130, 129, 113, 115, 285, 183, 184, 266, 265, 262, 263, 238, 214, 203, 212, 222, 199, 202, 201, 194, 279, 278, 277, 273, 272, 256, 258]]
Total program runtime: 0.775 seconds

real 1.13
user 2.28
sys 0.34
