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

[David R. Cok]

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?