-
Notifications
You must be signed in to change notification settings - Fork 1
/
stats_per_benchmark_no_preprocess.tex
17 lines (17 loc) · 1.3 KB
/
stats_per_benchmark_no_preprocess.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
\sygusqgen & 747 & 100.00 & 100.00 & 0.00 & 0.00 & 0.00 & 0.00 & 0.00 & 0.00 \\
\denghang & 999 & 0.10 & 0.10 & 0.00 & 0.00 & 96.10 & 96.10 & 3.80 & 3.80 \\
\automatark & 20062 & 99.97 & 99.97 & 0.00 & 0.00 & 0.02 & 0.02 & 0.01 & 0.01 \\
\stringfuzz & 9941 & 46.45 & 46.45 & 0.00 & 0.00 & 27.98 & 27.96 & 25.58 & 25.58 \\
\redos & 2952 & 70.02 & 70.02 & 0.00 & 0.00 & 11.21 & 11.21 & 18.77 & 18.77 \\
\nornbench & 918 & 11.76 & 11.76 & 0.00 & 0.00 & 6.86 & 6.86 & 81.37 & 81.37 \\
\slog & 1565 & 25.37 & 25.37 & 0.00 & 0.00 & 0.13 & 0.13 & 74.50 & 74.50 \\
\slent & 1489 & 0.40 & 0.40 & 0.00 & 0.00 & 35.19 & 30.09 & 69.51 & 69.51 \\
\omark & 9 & 0.00 & 0.00 & 11.11 & 11.11 & 11.11 & 0.00 & 88.89 & 88.89 \\
\keplerbench & 579 & 0.00 & 0.00 & 99.83 & 99.83 & 0.00 & 0.00 & 0.00 & 0.00 \\
\woorpje & 478 & 0.84 & 0.84 & 43.10 & 42.47 & 30.96 & 27.20 & 20.50 & 20.50 \\
\webapp & 381 & 0.52 & 0.52 & 0.00 & 0.00 & 2.36 & 0.26 & 99.21 & 99.21 \\
\kaluza & 11222 & 35.31 & 35.31 & 0.00 & 0.00 & 63.45 & 61.78 & 2.91 & 2.91 \\
\leetcode & 874 & 1.37 & 1.37 & 0.00 & 0.00 & 59.27 & 16.70 & 81.92 & 81.92 \\
\strsmall & 6327 & 0.00 & 0.00 & 0.00 & 0.00 & 4.85 & 3.75 & 96.25 & 96.25 \\
\pyex & 26045 & 0.10 & 0.10 & 0.00 & 0.00 & 0.08 & 0.08 & 99.82 & 99.82 \\
\fullstrint & 9003 & 0.04 & 0.04 & 0.00 & 0.00 & 0.26 & 0.26 & 99.70 & 99.70 \\