Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Renater2008_4.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 129
Problem file: dataND/zoo_json_MF/Renater2008_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[31, 18, 30, 21, 17, 64, 51, 63, 54, 50, 97, 84, 96, 87, 83, 130, 117, 129, 120, 116, 163, 150, 162, 153, 149, 196, 183, 195, 186, 182, 229, 216, 228, 219, 215, 262, 249, 261, 252, 248], [20, 32, 53, 65, 86, 98, 119, 131, 152, 164, 185, 197, 218, 230, 251, 263], [23, 24, 0, 6, 7, 3, 4, 56, 57, 33, 39, 40, 36, 37, 89, 90, 66, 72, 73, 69, 70, 122, 123, 99, 105, 106, 102, 103, 155, 156, 132, 138, 139, 135, 136, 188, 189, 165, 171, 172, 168, 169, 221, 222, 198, 204, 205, 201, 202, 254, 255, 231, 237, 238, 234, 235]]
Total program runtime: 0.98 seconds

real 1.29
user 2.85
sys 0.38
