-
POTTIER Francois authored
This leads to slightly fewer questions in the main analysis (-10% on c.mly) and many fewer nodes considered during backward search (4K instead of 60K on c.mly), yet it is slightly slower (+10% on c.mly).
a97a63ae
This leads to slightly fewer questions in the main analysis (-10% on c.mly) and many fewer nodes considered during backward search (4K instead of 60K on c.mly), yet it is slightly slower (+10% on c.mly).