[SMT-COMP] QF_FP, min and zeros

François Bobot francois.bobot at cea.fr
Thu Apr 20 12:45:15 EDT 2017

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

More information about the SMT-COMP mailing list