| Score |
| GrebingKU19 | 0.0 |
| Dahl1977 | 0.0 |
| NobleSGS22 | 0.0 |
| agrawal2023proofster | 0.0 |
| gamboausability | 0.0 |
| BeckertG15 | 0.0 |
| Leino10-2 | 0.0 |
| MerriamH96 | 0.0 |
| AitkenM00 | 0.0 |
| Leroy09 | 0.0 |
| dnb-250 | 0.0 |
| GrebingU20 | 0.0 |
| DuboisPB99 | 0.0 |
| lncs-12345 | 0.0 |
| 0002HB16a | 0.0 |
| Eilers018 | 0.0 |
| BeckertGB14 | 0.0 |
| CalcagnoD11 | 0.0 |
| Blazy99 | 0.0 |
| BeckertG12 | 0.0 |
| KleinAEMSKH14 | 0.0 |
| HeerenLI03 | 0.0 |
| SwamyHKRDFBFSKZ16 | 0.0 |
| FilliatreP13 | 0.0 |
| Merriam1998MakingDD | 0.0 |
| NybergGLRW18 | 0.0 |
| 10.1145-3593374 | 0.0 |
| Souaf2021 | 0.0 |
| BhadraAWR07 | 0.0 |
| Juhoov2023 | 0.0 |
| HahnleH19 | 0.0 |
| RingerSGL20 | 0.0 |
| KadodaSD99 | 0.0 |
| GriffioenH98 | 0.0 |
| 0002HB16-0 | 0.0 |
| AitkenGMT98 | 0.0 |
| Volker04 | 0.0 |
| FigueroaGL18 | 0.0 |