[SMT-LIB] How to submit benchmarks to smtlib

[Christoph Wintersteiger]

Hi Florian,

That sounds great, we definitely want your benchmarks! I'm the keeper of the library for all things FP and BV, so somehow we need to get them from you to me. Are they small enough for an email attachment?

Cheers,
Christoph


Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | research.microsoft.com/people/cwinter


Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB 

-----Original Message-----
From: smt-lib-bounces at cs.nyu.edu [mailto:smt-lib-bounces at cs.nyu.edu] On Behalf Of Florian Schanda
Sent: 17 March 2015 11:49
To: smt-lib at cs.nyu.edu
Subject: [SMT-LIB] How to submit benchmarks to smtlib

Hi,

I am compiling benchmarks for QF_FP and QF_FPBV (and probably more) that have been inspired by the kind of floating point issues we and our users have in SPARK (http://www.spark-2014.org)

I've looked on smt-lib.org but I could not actually find any instructions on how I would go about submitting them. What should I do?

Thanks,

	Florian
_______________________________________________
SMT-LIB mailing list
SMT-LIB at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/smt-lib