Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Integra_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 108
Problem file: data/zoo_json_waypoint1/Integra_4.json
Switches to update: 96

Decomposed topology into 8 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 0.191 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.038 seconds
Minimum batches required: 5
[[0, 8, 25, 26, 27, 35, 52, 53, 54, 62, 79, 80, 81, 89, 106, 107, 108, 116, 133, 134, 143, 160, 161, 162, 170, 187, 188, 189, 197, 214, 215], [3, 5, 30, 32, 57, 59, 84, 86, 111, 113, 140, 165, 167, 192, 194], [4, 6, 7, 1, 20, 15, 31, 33, 34, 28, 47, 42, 58, 60, 61, 55, 74, 69, 85, 87, 88, 82, 101, 96, 112, 114, 115, 109, 128, 123, 135, 166, 168, 169, 163, 182, 177, 193, 195, 196, 190, 209, 204], [138], [139, 141, 142, 136, 155, 150]]
Total program runtime: 1.178 seconds

real 1.52
user 2.99
sys 0.50
