Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Cernet_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 5 
DFA transitions: 84
Problem file: data/zoo_json_alt_waypoint1/Cernet_4.json
Switches to update: 56

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

real 2.02
user 3.50
sys 0.51
