[SMT-COMP] QF_LRA: problem with typo in Form

[Aina Niemetz]

Hi all,

we had a problem with a typo for logic QF_LRA in the SQ and UC tracks in
the submission form which propagated throughout our job submission
scripts. We apologize for that.

Here's the list of solvers and tracks who participate in QF_LRA:

SQ track:
- CVC4
- Ctrl-Ergo
- MathSAT
- OpenSMT2
- Par4
- SMTInterpol
- SPASS-SATT
- Yices
- Z3
- veriT

Incremental track:
- CVC4-inc
- MathSAT
- SMTInterpol
- Yices
- Z3

UC track:
- CVC4-uc
- MathSAT
- SMTInterpol
- Yices

Please let us know if any of this is incorrect.

Thanks,
Aina

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190530/34fdf5e6/attachment.asc>