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

Decomposed topology into 8 subproblems
Topological decomposition took 0.044 seconds
Subproblem verification time: 0.496 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.092 seconds
Minimum batches required: 3
[[13, 14, 21, 11, 7, 37, 38, 45, 35, 31, 61, 62, 69, 59, 55, 85, 86, 93, 83, 79, 109, 110, 117, 107, 103, 133, 134, 141, 131, 127, 157, 158, 165, 155, 151, 181, 182, 189, 179, 175], [17, 22, 41, 46, 65, 70, 89, 94, 113, 118, 137, 142, 161, 166, 185, 190], [1, 18, 25, 42, 49, 66, 73, 90, 97, 114, 121, 138, 145, 162, 169, 186]]
Total program runtime: 1.674 seconds

real 1.98
user 3.62
sys 0.48
