Add new data

1 files changed, 26 insertions, 24 deletions

diff --git a/results/rel-time-div.csv b/results/rel-time-div.csv
index ea051ee..cfd1294 100644
--- a/results/rel-time-div.csv
+++ b/results/rel-time-div.csv
@@ -1,27 +1,29 @@
 benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
 2mm,50.188771,1.3888922,1.9299621,2.5443179
 3mm,23.056304,1.1839319,1.3406278,1.6732709
-atas,3.6549064,0.98666568,0.96036153,0.93375990
-bicg,37.624721,1.3928189,1.5113291,2.0488069
-cholesky,56.275397,1.1174166,1.7465941,2.1940630
-doitgen,161.56500,5.3524499,1.8192144,8.2818473
-durbin,18.497868,1.2075514,1.6064633,1.8873338
-fdtd-2d,27.689261,1.1400799,1.4479990,1.7526383
-floyd-warshall,1.8185784,1.2027461,1.4947315,1.9239012
-gemm,31.505762,1.1639456,1.9525749,1.8306569
-gemver,34.930382,1.5000029,2.0872247,2.6603796
-gesummv,39.232613,1.2277233,1.2963100,1.7563630
-heat-3d,4.6533033,1.2320536,1.4489536,1.7842971
-jacobi-1d,31.480320,1.2375264,1.8646969,2.1779199
-jacobi-2d,29.244269,1.1501809,1.3622108,1.3582632
-lu,56.873531,1.1561096,1.8909197,2.1314237
-ludcmp,49.152990,1.1169021,1.7775009,2.1012857
-mvt,43.884488,1.6808145,1.7055499,2.5819999
-nussinov,1.6430391,1.2239817,1.8033548,2.2423807
-seidel-2d,16.353439,1.0135350,0.93778424,1.1009851
-symm,24.454299,0.99859977,1.2143617,1.4902832
-syr2k,26.567952,1.1199408,1.4592866,1.6561859
-syrk,37.013666,1.2836246,1.8006963,1.9329452
-trisolv,7.3959624,1.0656724,1.0610825,1.2497275
-trmm,27.279276,1.1355241,1.5738129,1.7721007
-\textbf{median},30.362295,1.193339,1.5588962,1.9056175
+adi,19.978835,0.19350474,0.18834597,0.18312886
+atas,3.6549064,0.12486461,0.13548891,0.18367318
+bicg,37.624721,40.637973,63.519768,79.793224
+cholesky,56.275397,0.20236410,0.068780408,0.31311803
+covariance,24.119705,0.12337789,0.16413549,0.19283258
+doitgen,161.56500,17.941247,22.786919,27.580977
+durbin,18.497868,124.02753,154.13715,198.39325
+fdtd-2d,27.689261,0.38726317,0.64965265,0.60908858
+floyd-warshall,1.8185784,0.033164191,0.046147324,0.058819445
+gemm,31.505762,0.10965951,0.11578563,0.15687729
+gemver,34.930382,2.4672865,2.9016462,3.5731986
+gesummv,39.232613,0.79125615,1.1922597,1.3925299
+heat-3d,4.6533033,1.9829510,2.3484978,2.3416921
+jacobi-1d,31.480320,113.61598,185.82901,209.46439
+jacobi-2d,29.244269,5.9917738,9.5356459,11.272634
+lu,56.873531,0.054608782,0.055412424,0.083887827
+ludcmp,49.152990,0.59077985,0.87042615,1.0823310
+mvt,43.884488,20.633200,19.091093,22.413480
+nussinov,1.6430391,0.31795754,0.38665687,0.47451120
+seidel-2d,16.353439,0.45312455,0.59042280,0.67008765
+symm,24.454299,0.98064889,1.3756754,1.4767094
+syr2k,26.567952,0.26559255,0.26444864,0.31146375
+syrk,37.013666,0.82942442,1.1495651,1.2944010
+trisolv,7.3959624,20.468525,22.166157,23.537605
+trmm,27.279276,3.2591516,3.6891979,4.9975378
+\textbf{median},27.689261,0.82942442,1.1922597,1.3925299