Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Cernet_4.json -R -O -V Low
DFA generation time: 0.185 seconds 
DFA states: 513 
DFA transitions: 2384
Problem file: data/zoo_json_waypoint8/Cernet_4.json
Switches to update: 56

Decomposed topology into 16 subproblems
Topological decomposition took 0.238 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.051 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.054 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.886 seconds

real 2.22
user 4.98
sys 0.72
