ResearchDatasetsMulti-loop benchmarkMulti-loop benchmarkFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLoop invariant inferenceMulti-loop benchmark (OOPSLA-13, SV-COMP, CLRS-Alg)13Solved Count (Only)8