Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Boolean system solving research benchmarks · SOTA2 Research

Boolean system solving

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

Biviumb stream cipher transformation Boolean system

15.058Median Solving Time (s)

4

Apr 21, 2026

Biviuma stream cipher transformation Boolean system

14.662Median Solving Time (s)

4

Apr 21, 2026

Canfil (Linear Feedback Shift Register, LFSR) Boolean system

24.552Median Solving Time (s)

4

Apr 21, 2026

MayaSbox Boolean system

0.109Median Solving Time (s)

4

Apr 21, 2026

Serpent cryptographic cipher Boolean system

0.415Median Solving Time (s)

4

Apr 21, 2026

Present cryptographic cipher Boolean system

5.485Median Solving Time (s)

4

Apr 21, 2026

Random Boolean system n = 25, m = 25 (Square system)

9.549Median Solving Time (s)

4

Apr 21, 2026

Random Boolean system n = 28, m = 56 (Overdefined)

203.507Median Solving Time (s)

3

Apr 21, 2026

Random Boolean system n = 28 m = 28 Square system

83.566Median Solving Time (s)

3

Apr 21, 2026

Random Boolean system n = 32, m = 32 (Square system)

1,046.066Median Solving Time (s)

2

Apr 21, 2026

Popular datasets

Random Boolean system Present cryptographic cipher Boolean system Serpent cryptographic cipher Boolean system MayaSbox Canfil

Follow for updates

Join SOTA2 Contact