diff options
Diffstat (limited to 'results/rel-time-nodiv.csv')
| -rw-r--r-- | results/rel-time-nodiv.csv | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/results/rel-time-nodiv.csv b/results/rel-time-nodiv.csv index 22de970..72de34a 100644 --- a/results/rel-time-nodiv.csv +++ b/results/rel-time-nodiv.csv @@ -1,6 +1,7 @@ benchmark,vericert,legup noopt,legup nochain,legup noopt nochain 2mm,2.6940664,1.4126390,2.0470769,2.8218645 3mm,2.2662709,1.4341476,1.8041791,2.6063100 +adi,3.8740916,1.8266819,1.6959258,3.0485338 atas,1.6754557,1.3769086,1.8254298,2.1637725 bicg,2.1229546,1.3628775,2.3410673,3.1483129 cholesky,3.0492309,1.1918403,1.8986657,2.3510332 @@ -25,4 +26,4 @@ syr2k,2.5921657,1.3095186,2.0498786,2.4951638 syrk,2.0946298,1.3576898,1.8768625,2.3622972 trisolv,0.47290242,0.95672922,1.2231859,1.1019474 trmm,1.5458213,1.1443962,1.6055769,1.9390939 -\textbf{median},2.0946298,1.2667986,1.8226875,2.2979022 +\textbf{median},2.0946298,1.2667986,1.8172687,2.2979022 |