Le 20/04/2017 à 17:45, François Bobot a écrit : > > PS: starexec seems down so I have not been able to check if I have the last version of the benchmark Now that starexec is up, I can see that all the min examples have been removed in 2016. For this year will they be re-added fixed? -- François Bobot