Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Arpanet19728_4.json -R -O -V Low
DFA generation time: 0.044 seconds 
DFA states: 19 
DFA transitions: 789
Problem file: data/zoo_json_cond_enf2/Arpanet19728_4.json
Switches to update: 184

Decomposed topology into 8 subproblems
Topological decomposition took 0.127 seconds
Subproblem verification time: 0.282 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.053 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.051 seconds
Minimum batches required: 5
[[16, 0, 17, 2, 45, 29, 46, 31, 74, 58, 75, 60, 103, 87, 104, 89, 132, 116, 133, 118, 161, 145, 162, 147, 190, 174, 191, 176, 219, 203, 220, 205], [28, 1, 57, 30, 86, 59, 115, 88, 144, 117, 173, 146, 202, 175, 231, 204], [11, 27, 40, 56, 69, 85, 98, 114, 127, 143, 156, 172, 185, 201, 214, 230], [3, 32, 61, 90, 119, 148, 177, 206], [10, 4, 7, 20, 19, 6, 5, 15, 25, 18, 23, 22, 21, 12, 39, 33, 36, 49, 48, 35, 34, 44, 54, 47, 52, 51, 50, 41, 68, 62, 65, 78, 77, 64, 63, 73, 83, 76, 81, 80, 79, 70, 97, 91, 94, 107, 106, 93, 92, 102, 112, 105, 110, 109, 108, 99, 126, 120, 123, 136, 135, 122, 121, 131, 141, 134, 139, 138, 137, 128, 155, 149, 152, 165, 164, 151, 150, 160, 170, 163, 168, 167, 166, 157, 184, 178, 181, 194, 193, 180, 179, 189, 199, 192, 197, 196, 195, 186, 213, 207, 210, 223, 222, 209, 208, 218, 228, 221, 226, 225, 224, 215]]
Total program runtime: 1.466 seconds

real 1.78
user 3.95
sys 0.44
