Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Columbus_3.json -T -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 177
Problem file: dataND/zoo_json_MF/Columbus_3.json
Switches to update: 152

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 78.467 seconds
Minimum batches required: 3
[[24, 94, 164, 234, 25, 53, 11, 5, 4, 7, 1, 34, 3, 2, 61, 69, 60, 68, 95, 123, 81, 75, 74, 77, 71, 104, 73, 72, 131, 139, 130, 138, 165, 193, 151, 145, 144, 147, 141, 174, 143, 142, 201, 209, 200, 208, 235, 263, 221, 215, 214, 217, 211, 244, 213, 212, 271, 279, 270, 278], [232, 162, 92, 22], [54, 8, 48, 57, 56, 55, 16, 17, 58, 59, 44, 31, 13, 29, 124, 78, 118, 127, 126, 125, 86, 87, 128, 129, 114, 101, 83, 99, 194, 148, 188, 197, 196, 195, 156, 157, 198, 199, 184, 171, 153, 169, 264, 218, 258, 267, 266, 265, 226, 227, 268, 269, 254, 241, 223, 239, 21, 20, 47, 91, 90, 117, 161, 160, 187, 231, 230, 257, 32, 102, 172, 242, 26, 15, 12, 66, 96, 85, 82, 136, 166, 155, 152, 206, 236, 225, 222, 276]]
Total program runtime: 79.047 seconds

real 79.35
user 80.11
sys 1.48
