update table

1 job for ci/pldi21-submission-artifact in 19 minutes and 10 seconds (queued for 1 minute and 52 seconds)
latest