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

Information Flow Verification research benchmarks · SOTA2 Research

Information Flow Verification

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

SecIC3 FP_MUL G12

9Runtime (s)

9

Jun 23, 2026

SecIC3 Rocket (G11)

1.5Runtime (s)

9

Jun 23, 2026

SecIC3 - SecEnclave G10

2.1Runtime (seconds)

9

Jun 23, 2026

SecIC3 Sodor (G9)

0.4Runtime (s)

9

Jun 23, 2026

SecIC3 Modexp (G8)

0.4Runtime (seconds)

9

Jun 23, 2026

SecIC3 Multiplier (G7)

0.1Runtime (s)

9

Jun 23, 2026

SecIC3 Cache (G6)

16Runtime (seconds)

9

Jun 23, 2026

Diagnostic vctr (G5)

27Runtime (s)

9

Jun 23, 2026

Diagnostic normacc (G4)

16Runtime (s)

9

Jun 23, 2026

SecIC3 FP_DIV (G3)

59Runtime (s)

9

Jun 23, 2026

SecIC3 FP_ADD (G2)

13Runtime (s)

9

Jun 23, 2026

SecIC3 GCD (G1)

1.3Runtime (s)

9

Jun 23, 2026

10Runtime (s)

9

Jun 23, 2026

5.4Runtime (seconds)

9

Jun 23, 2026

27.5Runtime (s)

9

Jun 23, 2026

1.1Runtime (s)

9

Jun 23, 2026

0.2Runtime (seconds)

9

Jun 23, 2026

0.1Runtime (s)

9

Jun 23, 2026

6.8Runtime (s)

9

Jun 23, 2026

7.7Runtime (s)

9

Jun 23, 2026

47Runtime (seconds)

9

Jun 23, 2026

34.2Runtime (s)

9

Jun 23, 2026

15.4Runtime (seconds)

9

Jun 23, 2026

0.5Runtime (s)

9

Jun 23, 2026

Popular datasets

SecIC3 diagnostic Multiplier GCD FP_ADD

Follow for updates

Join SOTA2 Contact