Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Iris_4.json -R -O -V Low
DFA generation time: 0.022 seconds 
DFA states: 3 
DFA transitions: 169
Problem file: data/zoo_json_reachability/Iris_4.json
Switches to update: 152

Decomposed topology into 8 subproblems
Topological decomposition took 0.069 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.064 seconds
Minimum batches required: 3
[[19, 28, 38, 18, 14, 27, 30, 29, 39, 69, 78, 88, 68, 64, 77, 80, 79, 89, 119, 128, 138, 118, 114, 127, 130, 129, 139, 169, 178, 188, 168, 164, 177, 180, 179, 189, 219, 228, 238, 218, 214, 227, 230, 229, 239, 269, 278, 288, 268, 264, 277, 280, 279, 289, 319, 328, 338, 318, 314, 327, 330, 329, 339, 369, 378, 388, 368, 364, 377, 380, 379, 389], [32, 23, 20, 82, 73, 70, 132, 123, 120, 182, 173, 170, 232, 223, 220, 282, 273, 270, 332, 323, 320, 382, 373, 370], [11, 12, 24, 26, 13, 33, 47, 61, 62, 74, 76, 63, 83, 97, 111, 112, 124, 126, 113, 133, 147, 161, 162, 174, 176, 163, 183, 197, 211, 212, 224, 226, 213, 233, 247, 261, 262, 274, 276, 263, 283, 297, 311, 312, 324, 326, 313, 333, 347, 361, 362, 374, 376, 363, 383, 397]]
Total program runtime: 1.226 seconds

real 1.58
user 3.35
sys 0.45
