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

Decomposed topology into 8 subproblems
Topological decomposition took 0.052 seconds
Subproblem verification time: 27.122 seconds
Subproblem verification time: 2.66 seconds
Subproblem verification time: 2.649 seconds
Subproblem verification time: 2.526 seconds
Subproblem verification time: 2.647 seconds
Subproblem verification time: 2.702 seconds
Subproblem verification time: 2.628 seconds
Subproblem verification time: 3.042 seconds
Minimum batches required: 3
[[4, 6, 0, 15, 24, 26, 20, 35, 44, 46, 40, 55, 64, 66, 60, 75, 84, 86, 80, 95, 104, 106, 100, 115, 124, 126, 120, 135, 144, 146, 140, 155], [11, 14, 31, 34, 51, 54, 71, 74, 91, 94, 111, 114, 131, 134, 151, 154], [19, 8, 9, 7, 1, 18, 17, 16, 39, 28, 29, 27, 21, 38, 37, 36, 59, 48, 49, 47, 41, 58, 57, 56, 79, 68, 69, 67, 61, 78, 77, 76, 99, 88, 89, 87, 81, 98, 97, 96, 119, 108, 109, 107, 101, 118, 117, 116, 139, 128, 129, 127, 121, 138, 137, 136, 159, 148, 149, 147, 141, 158, 157, 156]]
Total program runtime: 46.582 seconds

real 46.87
user 47.57
sys 1.53
