Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Sunet_4.json -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 7 
DFA transitions: 357
Problem file: data/zoo_json_cond_enf1/Sunet_4.json
Switches to update: 144

Decomposed topology into 16 subproblems
Topological decomposition took 0.103 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.027 seconds
Minimum batches required: 4
[[15, 8, 5, 16, 25, 21, 41, 34, 31, 42, 51, 47, 67, 60, 57, 68, 77, 73, 93, 86, 83, 94, 103, 99, 119, 112, 109, 120, 129, 125, 145, 138, 135, 146, 155, 151, 171, 164, 161, 172, 181, 177, 197, 190, 187, 198, 207, 203], [9, 11, 20, 35, 37, 46, 61, 63, 72, 87, 89, 98, 113, 115, 124, 139, 141, 150, 165, 167, 176, 191, 193, 202], [10, 36, 62, 88, 114, 140, 166, 192], [12, 13, 4, 0, 6, 1, 2, 24, 38, 39, 30, 26, 32, 27, 28, 50, 64, 65, 56, 52, 58, 53, 54, 76, 90, 91, 82, 78, 84, 79, 80, 102, 116, 117, 108, 104, 110, 105, 106, 128, 142, 143, 134, 130, 136, 131, 132, 154, 168, 169, 160, 156, 162, 157, 158, 180, 194, 195, 186, 182, 188, 183, 184, 206]]
Total program runtime: 1.441 seconds

real 1.76
user 3.80
sys 0.60
