26 changes: 26 additions & 0 deletions 26 2023/slides/presresults/input_for_certificates.tex Original file line numberDiff line numberDiff line change @@ -0,0 +1,26 @@ \MakeOnePage{COLIBRI}{}{}{\withtrack{QF\_ABVFPLRA}{\seq,\paral,\unsat,\fast}, \withtrack{QF\_FP}{\unsat,\fa...