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

Decomposed topology into 8 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 1.103 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.096 seconds
Minimum batches required: 3
[[8, 16, 15, 14, 2, 11, 25, 33, 32, 31, 19, 28, 42, 50, 49, 48, 36, 45, 59, 67, 66, 65, 53, 62, 76, 84, 83, 82, 70, 79, 93, 101, 100, 99, 87, 96, 110, 118, 117, 116, 104, 113, 127, 135, 134, 133, 121, 130], [0, 17, 34, 51, 68, 85, 102, 119], [6, 7, 3, 23, 24, 20, 40, 41, 37, 57, 58, 54, 74, 75, 71, 91, 92, 88, 108, 109, 105, 125, 126, 122]]
Total program runtime: 2.388 seconds

real 2.69
user 4.45
sys 0.48
