Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Geant2012_4.json -E -C -R -O -V Low
DFA generation time: 0.019 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.058 seconds
Subproblem verification time: 3.178 seconds
Subproblem verification time: 0.656 seconds
Subproblem verification time: 0.651 seconds
Subproblem verification time: 0.647 seconds
Subproblem verification time: 0.648 seconds
Subproblem verification time: 0.644 seconds
Subproblem verification time: 0.661 seconds
Subproblem verification time: 0.653 seconds
Minimum batches required: 3
[[23, 5, 4, 61, 43, 42, 99, 81, 80, 137, 119, 118, 175, 157, 156, 213, 195, 194, 251, 233, 232, 289, 271, 270], [2, 40, 78, 116, 154, 192, 230, 268], [27, 28, 29, 9, 25, 24, 34, 32, 65, 66, 67, 47, 63, 62, 72, 70, 103, 104, 105, 85, 101, 100, 110, 108, 141, 142, 143, 123, 139, 138, 148, 146, 179, 180, 181, 161, 177, 176, 186, 184, 217, 218, 219, 199, 215, 214, 224, 222, 255, 256, 257, 237, 253, 252, 262, 260, 293, 294, 295, 275, 291, 290, 300, 298]]
Total program runtime: 8.384 seconds

real 8.73
user 10.21
sys 0.70
