Fig. 7
From: Deciding floating-point logic with abstract conflict driven clause learning
Effects of generalisations in conflict analysis. Circles indicate unsatisfiable instances, triangles satisfiable ones. Points on the borders indicate timeouts (1200 s)