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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 5.821 seconds
Minimum batches required: 3
[[4, 42, 80, 118, 156, 194, 232, 270, 5, 23, 43, 61, 81, 99, 119, 137, 157, 175, 195, 213, 233, 251, 271, 289], [268, 230, 192, 154, 116, 78, 40, 2], [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: 6.407 seconds

real 6.75
user 8.52
sys 0.36
