Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/Renater2010_4.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 140
Problem file: data/zoo_json_alt_waypoint1/Renater2010_4.json
Switches to update: 120

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 9.97 seconds
Minimum batches required: 3
[[18, 61, 104, 147, 190, 233, 276, 319, 17, 16, 33, 0, 6, 7, 60, 59, 76, 43, 49, 50, 103, 102, 119, 86, 92, 93, 146, 145, 162, 129, 135, 136, 189, 188, 205, 172, 178, 179, 232, 231, 248, 215, 221, 222, 275, 274, 291, 258, 264, 265, 318, 317, 334, 301, 307, 308], [312, 269, 226, 183, 140, 97, 54, 11], [10, 19, 42, 41, 40, 32, 31, 53, 62, 85, 84, 83, 75, 74, 96, 105, 128, 127, 126, 118, 117, 139, 148, 171, 170, 169, 161, 160, 182, 191, 214, 213, 212, 204, 203, 225, 234, 257, 256, 255, 247, 246, 268, 277, 300, 299, 298, 290, 289, 311, 320, 343, 342, 341, 333, 332]]
Total program runtime: 10.558 seconds

real 10.88
user 12.28
sys 0.40
