diff options
Diffstat (limited to 'results/rel-size-nodiv.csv')
-rw-r--r-- | results/rel-size-nodiv.csv | 3 |
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 |