Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/GtsCe_2.json -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.117 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.082 seconds
Minimum batches required: 3
[[136, 87, 51, 20, 27, 24, 81, 123, 15, 3, 14, 2, 128, 45, 44, 41, 18, 103, 99, 9, 8, 7, 6, 284, 235, 199, 168, 175, 172, 229, 271, 163, 151, 162, 150, 276, 193, 192, 189, 166, 251, 247, 157, 156, 155, 154], [147, 112, 144, 134, 94, 125, 131, 124, 295, 260, 292, 282, 242, 273, 279, 272], [146, 111, 90, 132, 17, 93, 96, 95, 16, 4, 294, 259, 238, 280, 165, 241, 244, 243, 164, 152]]
Total program runtime: 1.034 seconds

real 1.39
user 2.78
sys 0.41
