Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Renater2010_3.json -E -C -R -O -V Low
DFA generation time: 0.151 seconds 
DFA states: 513 
DFA transitions: 2372
Problem file: data/zoo_json_waypoint8/Renater2010_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.126 seconds
Subproblem verification time: 27.988 seconds
Subproblem verification time: 0.619 seconds
Subproblem verification time: 0.649 seconds
Subproblem verification time: 0.687 seconds
Minimum batches required: 3
[[11, 10, 19, 42, 41, 40, 54, 53, 62, 85, 84, 83, 97, 96, 105, 128, 127, 126, 140, 139, 148, 171, 170, 169], [32, 75, 118, 161], [17, 16, 33, 0, 4, 31, 30, 60, 59, 76, 43, 47, 74, 73, 103, 102, 119, 86, 90, 117, 116, 146, 145, 162, 129, 133, 160, 159]]
Total program runtime: 30.709 seconds

real 31.09
user 33.00
sys 0.99
