| | Score |
| FavoniaFLL16 | 0.0 | |
| XuE13-1 | 0.0 | |
| DaggittGG18 | 0.0 | |
| HuH09-9 | 0.0 | |
| SwierstraA08 | 0.0 | |
| CortinasS18 | 0.0 | |
| ValliappanRC22 | 0.0 | |
| McBride14-2 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2103.05581 | 0.0 | |
| KoG13-1 | 0.0 | |
| Danielsson13 | 0.0 | |
| ChapmanDMM10 | 0.0 | |
| JeffreyP11 | 0.0 | |
| OConnor16-0 | 0.0 | |
| BernardyJP10 | 0.0 | |
| DagandM14 | 0.0 | |
| PickardH21 | 0.0 | |
| AllaisA0MM18 | 0.0 | |
| GadducciLT23 | 0.0 | |
| OConnor19 | 0.0 | |
| BoveDS12 | 0.0 | |
| CicconeP20 | 0.0 | |
| ethos-10314 | 0.0 | |
| hal-3916 | 0.0 | |
| Benjamin21-0 | 0.0 | |
| WeirichC10 | 0.0 | |
| 000110-2 | 0.0 | |
| AltenkirchDK17 | 0.0 | |
| LohM11 | 0.0 | |
| ChapmanUV17 | 0.0 | |
| ThiemannC12 | 0.0 | |
| RouvoetPKV20 | 0.0 | |
| VeltriV23 | 0.0 | |
| Prieto-Cubides22 | 0.0 | |
| DanielssonN08 | 0.0 | |
| OmarVHAH17 | 0.0 | |
| Pouillard11 | 0.0 | |
| HuL20 | 0.0 | |
| IonescuJ11 | 0.0 | |
| TasistroCS15 | 0.0 | |
| FlorSS15 | 0.0 | |
| Zeilberger08 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2205.08718 | 0.0 | |
| Danielsson10 | 0.0 | |
| JeffreyR11 | 0.0 | |
| AltenkirchC09 | 0.0 | |
| JacobsND19 | 0.0 | |
| PrinzKL22 | 0.0 | |
| Norell09 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2103.09092 | 0.0 | |
| AlgehedB19 | 0.0 | |
| KidneyYW24 | 0.0 | |
| AltenkirchK16 | 0.0 | |
| Jeffrey12 | 0.0 | |
| CockxD17 | 0.0 | |
| FlorenceYTF19 | 0.0 | |
| Dagand17 | 0.0 | |
| FioreS22 | 0.0 | |
| CockxDP14 | 0.0 | |
| hal-19381 | 0.0 | |
| Asai19 | 0.0 | |
| LicataS13 | 0.0 | |
| Allais19 | 0.0 | |
| KokkeSW20 | 0.0 | |
| DoreCM24 | 0.0 | |
| 0001OV18 | 0.0 | |
| FirsovU15 | 0.0 | |
| Norell2007towardsapractical | 0.0 | |
| https:-doi.org-10.48550-arxiv.2110.05771 | 0.0 | |
| SerranoM18 | 0.0 | |
| basesearch-7836 | 0.0 | |
| AbelV14 | 0.0 | |
| WaltS12 | 0.0 | |
| RouvoetKV21 | 0.0 | |
| VezzosiMA21 | 0.0 | |
| CopelloTB14 | 0.0 | |
| LabradaTTD22 | 0.0 | |
| FosterS11-0 | 0.0 | |
| RestPRVM22 | 0.0 | |
| Kahl14 | 0.0 | |
| CeulemansND25 | 0.0 | |
| LjungstromM23 | 0.0 | |
| Chapman09 | 0.0 | |
| CarrJMMS22 | 0.0 | |
| CockxME0N22 | 0.0 | |
| Genestier20 | 0.0 | |
| LicataH09 | 0.0 | |
| CaretteS16-0 | 0.0 | |
| Setzer0PT14 | 0.0 | |
| BrunerieLM22 | 0.0 | |
| Al-hassyK15 | 0.0 | |
| Kahl11-0 | 0.0 | |
| KinoshitaP14 | 0.0 | |
| CockxPD14 | 0.0 | |
| Montin2022 | 0.0 | |
| Veltri15 | 0.0 | |
| SchwaabS13 | 0.0 | |
| FirsovU15-0 | 0.0 | |
| PoulsenRTKV18 | 0.0 | |
| AhrensHLM20 | 0.0 | 0.0 |
| UustaluVZ18 | 0.0 | |
| Escardo13-0 | 0.0 | |
| VassenaR16 | 0.0 | |
| Allais17 | 0.0 | |
| KrausECA13 | 0.0 | |
| FelicissimoBB23 | 0.0 | |
| VezzosiM019 | 0.0 | |
| Jeffrey13-1 | 0.0 | |
| MorgensternL10 | 0.0 | |
| DiehlS13 | 0.0 | |
| felicissimo:hal-03343699 | 0.0 | |
| WissmannM24 | 0.0 | |
| CaiGRO14 | 0.0 | |
| DevrieseP13 | 0.0 | |
| CicconeDZ21 | 0.0 | |
| LicataZH08 | 0.0 | |
| OlmosFSGGP20 | 0.0 | |
| CockxDP16 | 0.0 | |
| GhaniMFS13 | 0.0 | |
| Norell13 | 0.0 | |
| LicataB15 | 0.0 | |
| SpallMT22 | 0.0 | |
| KoCL22-0 | 0.0 | |
| Bove09 | 0.0 | |
| AlhabardiS23-0 | 0.0 | |
| AltenkirchLR14 | 0.0 | |
| SculthorpeH14 | 0.0 | |
| ChengHM18 | 0.0 | |
| Jeffrey14 | 0.0 | |
| Danielsson08 | 0.0 | |
| LamiauxLM23 | 0.0 | |
| 0001VW17 | 0.0 | |
| AltenkirchD10 | 0.0 | |
| SwierstraB19 | 0.0 | |
| ethos-1592 | 0.0 | |
| CockxDP16-0 | 0.0 | |
| BernardyJP12 | 0.0 | |
| MiraldoCMSS21 | 0.0 | |
| LicataF14-0 | 0.0 | |
| DagandM12 | 0.0 | |
| MaarandU19 | 0.0 | |
| PouillardP12 | 0.0 | |
| EscardoS16 | 0.0 | |
| from2021teaching | 0.0 | |
| Jeffrey13-0 | 0.0 | |
| Swierstra10 | 0.0 | |
| AltenkirchMS07 | 0.0 | |
| AngiuliMLH16 | 0.0 | |
| MortbergP20 | 0.0 | |
| AlhabardiS23 | 0.0 | |
| FirsovU13 | 0.0 | |
| AhrensCS15 | 0.0 | |
| Danielsson12 | 0.0 | |
| SinkarovsC21 | 0.0 | |
| KnispelM0HJDN24 | 0.0 | |
| VassenaRGRS19 | 0.0 | |
| BoveD08 | 0.0 | |
| StuckiG21 | 0.0 | |
| FredrikssonG14-0 | 0.0 | |
| ZmigrodDG18 | 0.0 | |
| McBride15 | 0.0 | |
| AhmanS13 | 0.0 | |
| Allais0MM17 | 0.0 | |
| GilbertCST19 | 0.0 | |
| RestS22 | 0.0 | |
| 0001P16-8 | 0.0 | |
| KrausS15 | 0.0 | |
| Takeyama11 | 0.0 | |
| LicataS16 | 0.0 | |
| PouillardP10 | 0.0 | |
| DaggittZG20 | 0.0 | |
| NoortSAP11 | 0.0 | |
| AltenkirchGHMM15 | 0.0 | |
| ChapmanUV19 | 0.0 | |
| UustaluV17 | 0.0 | |
| KellerA10 | 0.0 | |
| ForsbergS10 | 0.0 | |
| AsaiFTZ14 | 0.0 | |
| ChiangM16 | 0.0 | |
| McBride10-2 | 0.0 | |
| 9640056 | 0.0 | |
| ethos-10479 | 0.0 | |
| FeitosaRB21 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2212.07735 | 0.0 | |
| HamanaF11 | 0.0 | |
| CockxTW21 | 0.0 | |
| UrciuoliTS20 | 0.0 | |
| PujetT23 | 0.0 | |
| FirsovU14 | 0.0 | |
| KoG11 | 0.0 | |
| ZeunerH24 | 0.0 | |
| CockxD18 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2104.04095 | 0.0 | |
| BoveDS09 | 0.0 | |
| OrtonP18 | 0.0 | |
| AhmanCU12 | 0.0 | |
| DiehlS14 | 0.0 | |
| AtkeyJG11 | 0.0 | |
| CloustonBGB15 | 0.0 | |
| Ceulemans2022 | 0.0 | |
| EscardoX15 | 0.0 | |
| KaposiKA19 | 0.0 | |
| FavoniaS16 | 0.0 | |
| GhaniMF13 | 0.0 | |
| DiehlS16 | 0.0 | |
| Escardo13-1 | 0.0 | |
| CapriottiKV15 | 0.0 | |
| Kahl12 | 0.0 | |
| AngiuliCMZ21 | 0.0 | |
| TodorovP24 | 0.0 | |
| WinantCD17 | 0.0 | |
| HancockH06 | 0.0 | |
| Norell08 | 0.0 | |
| AltenkirchK16-0 | 0.0 | |
| EscardoO10-1 | 0.0 | |
| Vivekanandan18-0 | 0.0 | |
| Elliott23-0 | 0.0 | |
| Zeilberger09 | 0.0 | |
| Danielsson12-0 | 0.0 | |
| MuKJ08 | 0.0 | |
| PujetT22 | 0.0 | |
| ManzinoP20 | 0.0 | |
| EscotC22 | 0.0 | |
| EscardoX16 | 0.0 | |
| OuryS08 | 0.0 | |
| McBride12-0 | 0.0 | |
| IonescuJ12 | 0.0 | |
| Kraus16 | 0.0 | |
| DeMeoC21 | 0.0 | |
| BoveDN09 | 0.0 | |
| Coquand06 | 0.0 | |
| MuylderND24 | 0.0 | |
| AlexandruCRW25 | 0.0 | |
| MuKJ09 | 0.0 | |
| Danielsson06 | 0.0 | |
| AltenkirchCU14 | 0.0 | |
| CurtisM15 | 0.0 | |
| Calderon18 | 0.0 | |
| NuytsVD17 | 0.0 | |
| CapperN12 | 0.0 | |
| NiuSGH22 | 0.0 | |
| CapperN10 | 0.0 | |
| AllaisMB13 | 0.0 | |
| HuC21 | 0.0 | |
| Cockx19 | 0.0 | |
| AltenkirchCU10 | 0.0 | |
| Danielsson10-1 | 0.0 | |
| VeltriW19 | 0.0 | |
| LLL09diff | 0.0 | |
| JuanD20 | 0.0 | |
| ChenS21-1 | 0.0 | |
| Wadler18 | 0.0 | |
| DagandM13 | 0.0 | |
| DevrieseP11-1 | 0.0 | |
| CockxA18 | 0.0 | |
| SwierstraN13 | 0.0 | |
| KidneyW21 | 0.0 | |
| ChapmanUV15 | 0.0 | |
| KokkeS15 | 0.0 | |
| OrtonP16 | 0.0 | |
| LindbladB04 | 0.0 | |
| ZalakainD21 | 0.0 | |
| ChapmanKNW19 | 0.0 | |
| MaarandU18 | 0.0 | |
| Saffrich0W24 | 0.0 | |
| AngiuliMLH14 | 0.0 | |
| LicataH09-0 | 0.0 | |
| Kovacs22 | 0.0 | |
| GuntherGP18 | 0.0 | |
| OmarVCH19 | 0.0 | |
| EadesP16 | 0.0 | |
| DaraisH19 | 0.0 | |
| McBride10-0 | 0.0 | |
| AltenkirchM09 | 0.0 | |
| UustaluV17-1 | 0.0 | |
| AlhabardiBLS21 | 0.0 | |
| AbelAS17 | 0.0 | |
| AhmanP21 | 0.0 | |
| IgriedS16-0 | 0.0 | |
| HancockMGMA13 | 0.0 | |
| OrtonP17-0 | 0.0 | |
| VeltriV20 | 0.0 | |
| CaretteF17 | 0.0 | |
| SculthorpeN09 | 0.0 | |
| Kovacs20 | 0.0 | |
| https:-doi.org-10.48550-arxiv.2205.08354 | 0.0 | |
| KansoS16 | 0.0 | |
| ForsbergXG20 | 0.0 | |
| LempsinkLL09 | 0.0 | |
| UustaluV17-0 | 0.0 | |
| GeestS17 | 0.0 | |