ResearchDatasetsLECLECFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLogical Equivalence CheckingLEC instances for sorting algorithms0Number of INDETs5SAT Instance GenerationLEC267Hardness Score (%)4