Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Abvt_4.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 7 
DFA transitions: 293
Problem file: data/zoo_json_cond_enf1/Abvt_4.json
Switches to update: 128

Decomposed topology into 8 subproblems
Topological decomposition took 0.082 seconds
Subproblem verification time: 0.188 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.049 seconds
Minimum batches required: 4
[[8, 0, 15, 2, 3, 10, 14, 13, 16, 31, 23, 38, 25, 26, 33, 37, 36, 39, 54, 46, 61, 48, 49, 56, 60, 59, 62, 77, 69, 84, 71, 72, 79, 83, 82, 85, 100, 92, 107, 94, 95, 102, 106, 105, 108, 123, 115, 130, 117, 118, 125, 129, 128, 131, 146, 138, 153, 140, 141, 148, 152, 151, 154, 169, 161, 176, 163, 164, 171, 175, 174, 177], [22, 5, 9, 45, 28, 32, 68, 51, 55, 91, 74, 78, 114, 97, 101, 137, 120, 124, 160, 143, 147, 183, 166, 170], [11, 34, 57, 80, 103, 126, 149, 172], [12, 1, 21, 35, 24, 44, 58, 47, 67, 81, 70, 90, 104, 93, 113, 127, 116, 136, 150, 139, 159, 173, 162, 182]]
Total program runtime: 1.167 seconds

real 1.50
user 3.35
sys 0.45
