Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Digex_4.json -R -O -V Low
DFA generation time: 0.037 seconds 
DFA states: 19 
DFA transitions: 597
Problem file: data/zoo_json_cond_enf2/Digex_4.json
Switches to update: 128

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

real 2.91
user 4.94
sys 0.46
