ResearchDatasetsPresent cryptographic cipher Boolean systemPresent cryptographic cipher Boolean systemFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsBoolean system solvingPresent cryptographic cipher Boolean system5.485Median Solving Time (s)4