Fix all data

1 files changed, 26 insertions, 26 deletions

diff --git a/results/rel-size-div.csv b/results/rel-size-div.csv
index 55f0e53..4d1d972 100644
--- a/results/rel-size-div.csv
+++ b/results/rel-size-div.csv
@@ -1,29 +1,29 @@
 benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
 2mm,2.1556169,0.58655617,1.4162063,0.60220994
 3mm,1.1138052,0.90222917,1.1822448,0.91161517
-adi,1.5186220,0.75977654,0.79702048,0.78491620
-atas,0.62141148,0.23684211,0.24700957,0.26973684
-bicg,3.9086860,3.3853007,3.7015590,3.6102450
-cholesky,0.95866749,0.28069093,1.1227637,0.28007403
-covariance,1.0552651,0.90291262,0.93726662,0.94622853
-doitgen,1.3624288,1.3975332,1.5056926,1.5284630
-durbin,0.58598207,0.42053790,0.52893236,0.46699267
-fdtd-2d,0.80123839,0.26501548,0.99195046,0.29287926
-floyd-warshall,1.3957219,2.2869875,2.3618538,2.3529412
-gemm,1.6164260,0.29061372,0.31317690,0.33122744
-gemver,1.8679969,0.67536454,1.1964697,0.74904068
-gesummv,5.2175141,2.3502825,2.5112994,2.5254237
-heat-3d,0.69014085,0.95226917,0.99687011,1.0665102
-jacobi-1d,0.82564679,1.6445444,1.8121485,1.7705287
-jacobi-2d,0.83620690,1.4004702,1.5689655,1.5156740
-lu,1.0012315,0.24507389,0.28879310,0.26539409
-ludcmp,1.2899378,0.32002075,0.36255187,0.38692946
-mvt,7.9342404,2.4058957,2.6258503,2.6371882
-nussinov,0.99238965,1.8097412,2.1171994,1.9071537
-seidel-2d,0.84858569,1.4226290,1.6838602,1.4900166
-symm,1.5902285,0.31284476,0.46650906,0.35145784
-syr2k,0.94597250,0.59135560,0.60314342,0.57220039
-syrk,2.8072289,0.83333333,1.1084337,0.85742972
-trisolv,0.77716535,1.3440945,1.9362205,1.4433071
-trmm,2.5935728,2.5746692,2.5406427,2.4158790
-\textbf{median},1.1138052,0.90222917,1.1822448,0.91161517
+adi,1.5186220,0.79469274,1.1447858,0.85335196
+atas,0.62141148,0.97607656,1.0239234,1.0083732
+bicg,3.9086860,0.88195991,0.91982183,1.0044543
+cholesky,0.95866749,0.93769278,1.0252930,1
+covariance,1.0552651,1.0171770,1.0037341,0.95444361
+doitgen,1.3624288,0.43168880,1.7267552,0.43074004
+durbin,0.58598207,0.98533007,1.0228199,1.0325998
+fdtd-2d,0.80123839,0.91207430,0.98266254,0.99752322
+floyd-warshall,1.3957219,0.91978610,1.1568627,1.0213904
+gemm,1.6164260,0.38628159,1.4458484,0.42689531
+gemver,1.8679969,0.98465081,1.0168841,1.0130468
+gesummv,5.2175141,0.90960452,0.98022599,1.0367232
+heat-3d,0.69014085,0.68857590,1.2198748,0.76369327
+jacobi-1d,0.82564679,0.93588301,1,1.0056243
+jacobi-2d,0.83620690,0.95376176,0.99843260,1.0681818
+lu,1.0012315,0.90024631,0.99199507,0.96921182
+ludcmp,1.2899378,0.92686722,1.0383817,1.0031120
+mvt,7.9342404,0.90249433,1.0634921,0.97732426
+nussinov,0.99238965,0.93911720,1.0639269,1.1354642
+seidel-2d,0.84858569,0.88269551,0.96339434,0.96755408
+symm,1.5902285,0.93695823,1.0961387,0.98739165
+syr2k,0.94597250,0.83988212,0.99410609,0.87966601
+syrk,2.8072289,0.79718876,1.1887550,0.89558233
+trisolv,0.77716535,0.94803150,0.96692913,0.91732283
+trmm,2.5935728,0.78449905,1.0434783,0.80718336
+\textbf{median},1.1138052,0.90960452,1.025293,0.97732426