Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Renater2004_4.json -E -C -R -O -V Low
DFA generation time: 0.017 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: dataND/zoo_json_MF/Renater2004_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 19.391 seconds
Subproblem verification time: 0.278 seconds
Subproblem verification time: 0.283 seconds
Subproblem verification time: 0.29 seconds
Subproblem verification time: 0.281 seconds
Subproblem verification time: 0.289 seconds
Subproblem verification time: 0.275 seconds
Subproblem verification time: 0.283 seconds
Minimum batches required: 3
[[15, 5, 22, 23, 27, 28, 29, 45, 35, 52, 53, 57, 58, 59, 75, 65, 82, 83, 87, 88, 89, 105, 95, 112, 113, 117, 118, 119, 135, 125, 142, 143, 147, 148, 149, 165, 155, 172, 173, 177, 178, 179, 195, 185, 202, 203, 207, 208, 209, 225, 215, 232, 233, 237, 238, 239], [12, 13, 20, 42, 43, 50, 72, 73, 80, 102, 103, 110, 132, 133, 140, 162, 163, 170, 192, 193, 200, 222, 223, 230], [19, 8, 21, 49, 38, 51, 79, 68, 81, 109, 98, 111, 139, 128, 141, 169, 158, 171, 199, 188, 201, 229, 218, 231]]
Total program runtime: 21.975 seconds

real 22.27
user 23.74
sys 0.74
