Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Geant2010_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/Geant2010_4.json
Switches to update: 120

Decomposed topology into 8 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 51.608 seconds
Subproblem verification time: 2.735 seconds
Subproblem verification time: 2.537 seconds
Subproblem verification time: 2.509 seconds
Subproblem verification time: 2.589 seconds
Subproblem verification time: 2.934 seconds
Subproblem verification time: 2.618 seconds
Subproblem verification time: 2.478 seconds
Minimum batches required: 3
[[4, 26, 13, 10, 2, 41, 63, 50, 47, 39, 78, 100, 87, 84, 76, 115, 137, 124, 121, 113, 152, 174, 161, 158, 150, 189, 211, 198, 195, 187, 226, 248, 235, 232, 224, 263, 285, 272, 269, 261], [32, 12, 69, 49, 106, 86, 143, 123, 180, 160, 217, 197, 254, 234, 291, 271], [35, 36, 27, 3, 5, 20, 19, 11, 72, 73, 64, 40, 42, 57, 56, 48, 109, 110, 101, 77, 79, 94, 93, 85, 146, 147, 138, 114, 116, 131, 130, 122, 183, 184, 175, 151, 153, 168, 167, 159, 220, 221, 212, 188, 190, 205, 204, 196, 257, 258, 249, 225, 227, 242, 241, 233, 294, 295, 286, 262, 264, 279, 278, 270]]
Total program runtime: 70.684 seconds

real 70.99
user 71.16
sys 2.04
