[SMT-LIB] Command line to produce the competition results for the QF_FP division

[Tjark Weber]

Dear Zhoulai,

On Tue, 2016-01-19 at 09:31 -0800, Zhoulai wrote:
> I am trying to produce the competition results for the QF_FP division as
> reported at this page:
> http://smtcomp.sourceforge.net/2015/results-QF_FP.shtml?v=1446209369
> 
> I have two questions for doing so:
> 
> 1. What do Z3 (FP) and Z3 (IJCAR14) refer to respectively?
> 2. What are the  command line options used to run these benchmarks?

All competition solvers, including the wrapper scripts that were used
to run them, are available from StarExec; see in particular
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=90736

Best,
Tjark