Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Renater2010_4.json -R -O -V Low
DFA generation time: 0.045 seconds 
DFA states: 33 
DFA transitions: 216
Problem file: data/zoo_json_waypoint4/Renater2010_4.json
Switches to update: 120

Decomposed topology into 8 subproblems
Topological decomposition took 0.083 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[18, 17, 16, 33, 0, 6, 7, 61, 60, 59, 76, 43, 49, 50, 104, 103, 102, 119, 86, 92, 93, 147, 146, 145, 162, 129, 135, 136, 190, 189, 188, 205, 172, 178, 179, 233, 232, 231, 248, 215, 221, 222, 276, 275, 274, 291, 258, 264, 265, 319, 318, 317, 334, 301, 307, 308], [11, 54, 97, 140, 183, 226, 269, 312], [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: 1.005 seconds

real 1.35
user 3.08
sys 0.39
