Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/PionierL3_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: data/zoo_json_reachability/PionierL3_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 4.041 seconds
Subproblem verification time: 0.249 seconds
Subproblem verification time: 0.249 seconds
Subproblem verification time: 0.241 seconds
Subproblem verification time: 0.253 seconds
Subproblem verification time: 0.241 seconds
Subproblem verification time: 0.241 seconds
Subproblem verification time: 0.242 seconds
Minimum batches required: 3
[[36, 35, 34, 6, 20, 74, 73, 72, 44, 58, 112, 111, 110, 82, 96, 150, 149, 148, 120, 134, 188, 187, 186, 158, 172, 226, 225, 224, 196, 210, 264, 263, 262, 234, 248, 302, 301, 300, 272, 286], [27, 65, 103, 141, 179, 217, 255, 293], [31, 32, 15, 33, 25, 26, 69, 70, 53, 71, 63, 64, 107, 108, 91, 109, 101, 102, 145, 146, 129, 147, 139, 140, 183, 184, 167, 185, 177, 178, 221, 222, 205, 223, 215, 216, 259, 260, 243, 261, 253, 254, 297, 298, 281, 299, 291, 292]]
Total program runtime: 6.364 seconds

real 6.73
user 8.37
sys 0.55
