Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Funet_4.json -E -C -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 137
Problem file: data/zoo_json_reachability/Funet_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 15.512 seconds
Subproblem verification time: 3.121 seconds
Subproblem verification time: 3.13 seconds
Subproblem verification time: 3.123 seconds
Subproblem verification time: 3.11 seconds
Subproblem verification time: 3.504 seconds
Subproblem verification time: 3.283 seconds
Subproblem verification time: 3.159 seconds
Minimum batches required: 3
[[25, 2, 3, 51, 28, 29, 77, 54, 55, 103, 80, 81, 129, 106, 107, 155, 132, 133, 181, 158, 159, 207, 184, 185], [6, 32, 58, 84, 110, 136, 162, 188], [18, 23, 24, 4, 5, 8, 9, 13, 12, 7, 44, 49, 50, 30, 31, 34, 35, 39, 38, 33, 70, 75, 76, 56, 57, 60, 61, 65, 64, 59, 96, 101, 102, 82, 83, 86, 87, 91, 90, 85, 122, 127, 128, 108, 109, 112, 113, 117, 116, 111, 148, 153, 154, 134, 135, 138, 139, 143, 142, 137, 174, 179, 180, 160, 161, 164, 165, 169, 168, 163, 200, 205, 206, 186, 187, 190, 191, 195, 194, 189]]
Total program runtime: 38.598 seconds

real 38.92
user 40.00
sys 1.26
