Figure 18: Time (in s) to build the instances and check their constraints as a function of the number of userspace events. Lines represent linear regressions of the data.