Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Evolink_4.json -E -C -R -O -V Low
DFA generation time: 0.168 seconds 
DFA states: 513 
DFA transitions: 2432
Problem file: data/zoo_json_waypoint8/Evolink_4.json
Switches to update: 104

Decomposed topology into 16 subproblems
Topological decomposition took 0.287 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.232 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.163 seconds
Subproblem verification time: 0.02 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.02 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.021 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.162 seconds
Minimum batches required: 3
[[12, 22, 35, 34, 32, 33, 48, 58, 71, 70, 68, 69, 84, 94, 107, 106, 104, 105, 120, 130, 143, 142, 140, 141, 156, 166, 179, 178, 176, 177, 192, 202, 215, 214, 212, 213, 228, 238, 251, 250, 248, 249, 264, 274, 287, 286, 284, 285], [17, 14, 53, 50, 89, 86, 125, 122, 161, 158, 197, 194, 233, 230, 269, 266], [2, 3, 0, 6, 11, 38, 39, 36, 42, 47, 74, 75, 72, 78, 83, 110, 111, 108, 114, 119, 146, 147, 144, 150, 155, 182, 183, 180, 186, 191, 218, 219, 216, 222, 227, 254, 255, 252, 258, 263]]
Total program runtime: 2.731 seconds

real 3.03
user 6.20
sys 0.76
