Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/GtsCe_2.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 97
Problem file: dataND/zoo_json_MF/GtsCe_2.json
Switches to update: 86

Decomposed topology into 8 subproblems
Topological decomposition took 0.043 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.077 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, 100, 11, 294, 259, 238, 280, 165, 241, 244, 243, 164, 152, 248, 159]]
Total program runtime: 0.993 seconds

real 1.32
user 2.94
sys 0.33
