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

Decomposed topology into 16 subproblems
Topological decomposition took 0.078 seconds
Subproblem verification time: 4.757 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.164 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.164 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.162 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.162 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.028 seconds
Minimum batches required: 3
[[15, 14, 19, 13, 2, 22, 26, 25, 46, 45, 50, 44, 33, 53, 57, 56, 77, 76, 81, 75, 64, 84, 88, 87, 108, 107, 112, 106, 95, 115, 119, 118, 139, 138, 143, 137, 126, 146, 150, 149, 170, 169, 174, 168, 157, 177, 181, 180, 201, 200, 205, 199, 188, 208, 212, 211, 232, 231, 236, 230, 219, 239, 243, 242], [21, 29, 52, 60, 83, 91, 114, 122, 145, 153, 176, 184, 207, 215, 238, 246], [5, 16, 9, 8, 30, 28, 36, 47, 40, 39, 61, 59, 67, 78, 71, 70, 92, 90, 98, 109, 102, 101, 123, 121, 129, 140, 133, 132, 154, 152, 160, 171, 164, 163, 185, 183, 191, 202, 195, 194, 216, 214, 222, 233, 226, 225, 247, 245]]
Total program runtime: 6.854 seconds

real 7.18
user 9.09
sys 0.65
