Information Flow Verification
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
9Runtime (s)
9
Jun 23, 2026
1.5Runtime (s)
9
Jun 23, 2026
2.1Runtime (seconds)
9
Jun 23, 2026
0.4Runtime (s)
9
Jun 23, 2026
0.4Runtime (seconds)
9
Jun 23, 2026
0.1Runtime (s)
9
Jun 23, 2026
16Runtime (seconds)
9
Jun 23, 2026
27Runtime (s)
9
Jun 23, 2026
16Runtime (s)
9
Jun 23, 2026
59Runtime (s)
9
Jun 23, 2026
13Runtime (s)
9
Jun 23, 2026
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