On Thu, 2017-06-15 at 01:10 +0200, Tjark Weber wrote: > * For the (incremental) application track: ABVFP, BV, BVFP, QF_ABVFP, > QF_BVFP, QF_FP BV, QF_BVFP and QF_FP were already present in the solver submission form, so for those we will use the choices that you submitted earlier if we do not hear from you. Apologies for the confusion! Best, Tjark