[SMT-LIB] SMT-COMP results on QF_FP

[Tjark Weber]

Zhoulai,

On Fri, 2015-12-18 at 12:08 -0800, Zhoulai wrote:
> I have tried Z3 on the QF_FP theory, and I am looking into this year's
> SMT-COMP results as reported here:
> http://smtcomp.sourceforge.net/2015/results-QF_FP.shtml?v=1446209369
> 
> By reading the table in the link above,  Z3 should finish +30,000
> benchmarks within a total time of 10,000 seconds (i.e, < 3 hours). But I
> just tried Z3 version 4.4.2 with one single benchmark from Griggio, which
> takes already 2 hours without yielding any sat/unsat results.  Do I need to
> allocate more memory in some way to see the results as in the competition?
> I am using a Mac Os with 16G memory.

Please check which benchmarks were eligible for the competition. See
http://smtcomp.sourceforge.net/2015/benchmarks.shtml for further
information.

Best,
Tjark