ResearchDatasetsPresent cryptographic cipher Boolean systemFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsBoolean system solvingPresent cryptographic cipher Boolean system5.485Median Solving Time (s)4