Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Bren_4.json -E -C -R -O -V Low
DFA generation time: 0.153 seconds 
DFA states: 513 
DFA transitions: 2432
Problem file: data/zoo_json_waypoint8/Bren_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.187 seconds
Subproblem verification time: 4.739 seconds
Subproblem verification time: 0.428 seconds
Subproblem verification time: 0.625 seconds
Subproblem verification time: 0.454 seconds
Subproblem verification time: 0.429 seconds
Subproblem verification time: 0.419 seconds
Subproblem verification time: 0.405 seconds
Subproblem verification time: 0.455 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: 8.842 seconds

real 9.15
user 11.64
sys 0.63
