diff options
Diffstat (limited to 'results/rel-size-nodiv.csv')
| -rw-r--r-- | results/rel-size-nodiv.csv | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/results/rel-size-nodiv.csv b/results/rel-size-nodiv.csv new file mode 100644 index 0000000..9f420ed --- /dev/null +++ b/results/rel-size-nodiv.csv @@ -0,0 +1,27 @@ +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 +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 +covariance,0.42165026,0.91597275,0.97577593,0.91824375 +doitgen,0.85935199,0.50810015,1.2017673,0.54050074 +durbin,1.0068306,0.97540984,1.0587432,1.2144809 +fdtd-2d,0.89976275,0.91992883,1.0083037,0.96500593 +floyd-warshall,1.5935829,0.91978610,1.1568627,1.0213904 +gemm,0.86515978,0.64302416,1.5931411,0.66328917 +gemver,1.6176046,1.0678211,1.1486291,1.0303030 +gesummv,1.4681481,0.92888889,1.0785185,0.99703704 +heat-3d,1.1408451,0.70970266,1.2198748,0.77308294 +jacobi-1d,1.5763889,2.8576389,1.03125,3.1979167 +jacobi-2d,0.65707965,0.89306785,1.0162242,0.97492625 +lu,1.3961814,0.90612570,1.2275259,0.96579157 +ludcmp,1.3585699,0.89116719,1.1561514,0.99894848 +mvt,1.8954394,0.99888765,1.1746385,1.0155729 +nussinov,1.4931507,0.93911720,1.0639269,1.1354642 +seidel-2d,0.59917695,0.80740741,0.92839506,0.84444444 +symm,1.6321839,0.88923720,1.1536050,0.94566353 +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 |