Hi, I am playing Z3 with Griggio's benchmark ( http://www.cs.nyu.edu/~barrett/smtlib/QF_FP_Hierarchy.zip, in the QF_FP folder) It seems all of these benchmarks have 'unknown status'. I wonder whether there is a link where you have already updated the status of these benchmarks to 'sat' or 'unsat'? Thanks for your help. -- Zhoulai