summaryrefslogtreecommitdiffstats
path: root/results/rel-size-nodiv.csv
diff options
context:
space:
mode:
Diffstat (limited to 'results/rel-size-nodiv.csv')
-rw-r--r--results/rel-size-nodiv.csv3
1 files changed, 2 insertions, 1 deletions
diff --git a/results/rel-size-nodiv.csv b/results/rel-size-nodiv.csv
index fb939ae..3b8f2c5 100644
--- a/results/rel-size-nodiv.csv
+++ b/results/rel-size-nodiv.csv
@@ -1,6 +1,7 @@
benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
2mm,1.1815137,0.75887475,1.5365037,0.77762894
3mm,1.0352188,0.67609392,1.3649947,0.73639274
+adi,1.9228029,1.2743468,1.2393112,1.6419240
atas,1.2076613,1.9979839,1.0080645,2.0967742
bicg,1.1300122,0.84082625,1.0133657,0.87120292
cholesky,1.4886275,0.90901961,1.2047059,0.93333333
@@ -25,4 +26,4 @@ syr2k,1.5177384,0.90022173,1.0709534,0.99889135
syrk,1.3417910,0.96865672,1.0895522,1.0611940
trisolv,0.48416752,0.93360572,0.99693565,1.0030644
trmm,1.2645804,0.85348506,1.0896159,0.92745377
-\textbf{median},1.2076613,0.90901961,1.0895522,0.97492625
+\textbf{median},1.2645804,0.90901961,1.0896159,0.97492625