
====== Starting search for domain size 3. ======

----- ALL_MODELS EXIT (8 models) -----

====== Starting search for domain size 8. ======

----- ALL_MODELS EXIT (61 models) -----

====== Starting search for domain size 6. ======

----- ALL_MODELS EXIT (5 models) -----
