[SMT-COMP] [SMT-LIB] How to submit benchmarks to smtlib

David R. Cok dcok at grammatech.com
Tue Mar 17 09:38:54 EDT 2015


This brings to the fore the outstanding issue of standardized naming of 
logics, even before they are accepted as standard.

- David

On 3/17/2015 9:22 AM, Florian Schanda wrote:
> I will also have benchmarks that combine pretty much everything (AUFBVFPNIRA);
> where should something like that go?



More information about the SMT-COMP mailing list