Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Evolink_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 9 
DFA transitions: 140
Problem file: data/zoo_json_waypoint2/Evolink_4.json
Switches to update: 104

Decomposed topology into 16 subproblems
Topological decomposition took 0.06 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.221 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.15 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.156 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.158 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.199 seconds

real 2.51
user 4.31
sys 0.71
