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

Decomposed topology into 4 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 0.18 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.043 seconds
Subproblem verification time: 0.045 seconds
Minimum batches required: 4
[[60, 62, 42, 2, 3, 44, 31, 129, 131, 111, 71, 72, 113, 100, 198, 200, 180, 140, 141, 182, 169, 267, 269, 249, 209, 210, 251, 238], [15, 1, 59, 84, 70, 128, 153, 139, 197, 222, 208, 266], [43, 112, 181, 250], [67, 68, 0, 32, 12, 56, 30, 136, 137, 69, 101, 81, 125, 99, 205, 206, 138, 170, 150, 194, 168, 274, 275, 207, 239, 219, 263, 237]]
Total program runtime: 0.885 seconds

real 1.22
user 2.48
sys 0.25
