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

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 25.068 seconds
Subproblem verification time: 0.516 seconds
Subproblem verification time: 0.515 seconds
Subproblem verification time: 0.529 seconds
Subproblem verification time: 0.51 seconds
Subproblem verification time: 0.517 seconds
Subproblem verification time: 0.516 seconds
Subproblem verification time: 0.619 seconds
Minimum batches required: 3
[[12, 14, 9, 2, 6, 4, 30, 32, 27, 20, 24, 22, 48, 50, 45, 38, 42, 40, 66, 68, 63, 56, 60, 58, 84, 86, 81, 74, 78, 76, 102, 104, 99, 92, 96, 94, 120, 122, 117, 110, 114, 112, 138, 140, 135, 128, 132, 130], [3, 21, 39, 57, 75, 93, 111, 129], [5, 10, 16, 1, 8, 17, 0, 23, 28, 34, 19, 26, 35, 18, 41, 46, 52, 37, 44, 53, 36, 59, 64, 70, 55, 62, 71, 54, 77, 82, 88, 73, 80, 89, 72, 95, 100, 106, 91, 98, 107, 90, 113, 118, 124, 109, 116, 125, 108, 131, 136, 142, 127, 134, 143, 126]]
Total program runtime: 29.401 seconds

real 29.73
user 30.90
sys 0.90
