Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Bren_4.json -E -C -R -O -V Low
DFA generation time: 0.041 seconds 
DFA states: 33 
DFA transitions: 208
Problem file: data/zoo_json_waypoint4/Bren_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.08 seconds
Subproblem verification time: 5.295 seconds
Subproblem verification time: 0.407 seconds
Subproblem verification time: 0.647 seconds
Subproblem verification time: 0.467 seconds
Subproblem verification time: 0.442 seconds
Subproblem verification time: 0.41 seconds
Subproblem verification time: 0.405 seconds
Subproblem verification time: 0.415 seconds
Minimum batches required: 3
[[27, 28, 0, 22, 64, 65, 37, 59, 101, 102, 74, 96, 138, 139, 111, 133, 175, 176, 148, 170, 212, 213, 185, 207, 249, 250, 222, 244, 286, 287, 259, 281], [3, 25, 40, 62, 77, 99, 114, 136, 151, 173, 188, 210, 225, 247, 262, 284], [34, 2, 21, 11, 10, 17, 71, 39, 58, 48, 47, 54, 108, 76, 95, 85, 84, 91, 145, 113, 132, 122, 121, 128, 182, 150, 169, 159, 158, 165, 219, 187, 206, 196, 195, 202, 256, 224, 243, 233, 232, 239, 293, 261, 280, 270, 269, 276]]
Total program runtime: 9.133 seconds

real 9.43
user 11.07
sys 0.72
