As mentioned above, the main difference is that SYPHON is two orders of magnitude faster than their system thanks to a novel decomposition and efficient SMT encoding.
we impose extra restrictions on the hypothesis space (i.e.