Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Xspedius_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 113
Problem file: dataND/zoo_json_MF/Xspedius_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 4.574 seconds
Subproblem verification time: 0.331 seconds
Subproblem verification time: 0.292 seconds
Subproblem verification time: 0.297 seconds
Subproblem verification time: 0.293 seconds
Subproblem verification time: 0.31 seconds
Subproblem verification time: 0.292 seconds
Subproblem verification time: 0.286 seconds
Minimum batches required: 3
[[8, 33, 32, 30, 29, 42, 67, 66, 64, 63, 76, 101, 100, 98, 97, 110, 135, 134, 132, 131, 144, 169, 168, 166, 165, 178, 203, 202, 200, 199, 212, 237, 236, 234, 233, 246, 271, 270, 268, 267], [26, 60, 94, 128, 162, 196, 230, 264], [17, 16, 23, 0, 3, 27, 51, 50, 57, 34, 37, 61, 85, 84, 91, 68, 71, 95, 119, 118, 125, 102, 105, 129, 153, 152, 159, 136, 139, 163, 187, 186, 193, 170, 173, 197, 221, 220, 227, 204, 207, 231, 255, 254, 261, 238, 241, 265]]
Total program runtime: 7.275 seconds

real 7.58
user 9.26
sys 0.54
