Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Renater2004_4.json -R -O -V Low
DFA generation time: 0.019 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: 0.155 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.061 seconds
Minimum batches required: 3
[[29, 23, 15, 28, 27, 22, 5, 59, 53, 45, 58, 57, 52, 35, 89, 83, 75, 88, 87, 82, 65, 119, 113, 105, 118, 117, 112, 95, 149, 143, 135, 148, 147, 142, 125, 179, 173, 165, 178, 177, 172, 155, 209, 203, 195, 208, 207, 202, 185, 239, 233, 225, 238, 237, 232, 215], [12, 13, 20, 42, 43, 50, 72, 73, 80, 102, 103, 110, 132, 133, 140, 162, 163, 170, 192, 193, 200, 222, 223, 230], [21, 8, 19, 51, 38, 49, 81, 68, 79, 111, 98, 109, 141, 128, 139, 171, 158, 169, 201, 188, 199, 231, 218, 229]]
Total program runtime: 1.219 seconds

real 1.54
user 3.18
sys 0.50
