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

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 46.612 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 52.686 seconds
Minimum batches required: 3
[[136, 51, 87, 81, 24, 27, 20, 6, 7, 8, 9, 14, 99, 103, 18, 41, 44, 45, 128, 2, 3, 15, 123, 284, 199, 235, 229, 172, 175, 168, 154, 155, 156, 157, 162, 247, 251, 166, 189, 192, 193, 276, 150, 151, 163, 271], [147, 112, 134, 144, 94, 125, 131, 124, 295, 260, 282, 292, 242, 273, 279, 272], [146, 90, 111, 4, 16, 95, 96, 93, 17, 132, 294, 238, 259, 152, 164, 243, 244, 241, 165, 280]]
Total program runtime: 100.357 seconds

real 100.68
user 100.91
sys 1.96
