Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Geant2012_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 137
Problem file: data/zoo_json_reachability/Geant2012_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.06 seconds
Subproblem verification time: 0.149 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.035 seconds
Minimum batches required: 3
[[4, 5, 23, 42, 43, 61, 80, 81, 99, 118, 119, 137, 156, 157, 175, 194, 195, 213, 232, 233, 251, 270, 271, 289], [2, 40, 78, 116, 154, 192, 230, 268], [32, 34, 24, 25, 9, 29, 28, 27, 70, 72, 62, 63, 47, 67, 66, 65, 108, 110, 100, 101, 85, 105, 104, 103, 146, 148, 138, 139, 123, 143, 142, 141, 184, 186, 176, 177, 161, 181, 180, 179, 222, 224, 214, 215, 199, 219, 218, 217, 260, 262, 252, 253, 237, 257, 256, 255, 298, 300, 290, 291, 275, 295, 294, 293]]
Total program runtime: 0.967 seconds

real 1.36
user 2.81
sys 0.31
