Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Cernet_4.json -R -O -V Low
DFA generation time: 0.049 seconds 
DFA states: 33 
DFA transitions: 160
Problem file: data/zoo_json_waypoint4/Cernet_4.json
Switches to update: 56

Decomposed topology into 16 subproblems
Topological decomposition took 0.075 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.051 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.055 seconds
Minimum batches required: 2
[[15, 24, 3, 48, 57, 36, 81, 90, 69, 114, 123, 102, 147, 156, 135, 180, 189, 168, 213, 222, 201, 246, 255, 234], [29, 23, 32, 2, 62, 56, 65, 35, 95, 89, 98, 68, 128, 122, 131, 101, 161, 155, 164, 134, 194, 188, 197, 167, 227, 221, 230, 200, 260, 254, 263, 233]]
Total program runtime: 1.521 seconds

real 1.86
user 3.57
sys 0.66
