Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Belnet2010_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: data/zoo_json_reachability/Belnet2010_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 26.93 seconds
Subproblem verification time: 0.486 seconds
Subproblem verification time: 0.463 seconds
Subproblem verification time: 0.485 seconds
Subproblem verification time: 0.486 seconds
Subproblem verification time: 0.48 seconds
Subproblem verification time: 0.477 seconds
Subproblem verification time: 0.525 seconds
Minimum batches required: 4
[[15, 14, 19, 0, 3, 37, 36, 41, 22, 25, 59, 58, 63, 44, 47, 81, 80, 85, 66, 69, 103, 102, 107, 88, 91, 125, 124, 129, 110, 113, 147, 146, 151, 132, 135, 169, 168, 173, 154, 157], [7, 2, 29, 24, 51, 46, 73, 68, 95, 90, 117, 112, 139, 134, 161, 156], [4, 20, 21, 12, 13, 26, 42, 43, 34, 35, 48, 64, 65, 56, 57, 70, 86, 87, 78, 79, 92, 108, 109, 100, 101, 114, 130, 131, 122, 123, 136, 152, 153, 144, 145, 158, 174, 175, 166, 167], [17, 18, 39, 40, 61, 62, 83, 84, 105, 106, 127, 128, 149, 150, 171, 172]]
Total program runtime: 30.986 seconds

real 31.39
user 32.60
sys 0.91
