summaryrefslogtreecommitdiffstats
path: root/results/exec-time.csv
blob: a25a910df6883a1811dbf630232103f659173347 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
benchmark,vericert,legup op,legup no nc,v op,v no nc,v no,legup no
2mm,2.14633908,0.796691232,2.248154685,0.371186099821655,1.0474368686424,0.524351975178125,1.125437136
3mm,2.75689392,1.216489141,3.170547855,0.441253518017117,1.15004347174882,0.63282266805536,1.744624966
atas,0.461244102,0.275294724,0.59567515,0.596852562030159,1.29145315336737,0.821811406056743,0.379055664
bicg,0.61366668,0.289062554,0.910059377,0.471041631264712,1.48298645935934,0.641972037654057,0.393956849
cholesky,12.55861639,4.118617703,9.683007106,0.327951549366498,0.771024992347903,0.390865877383488,4.908734614
covariance,1.455531174,1.14465356,2.65979631,0.786416382174993,1.82737158606539,1.05080515987629,1.529479668
doitgen,1.66509651,0.238027368,1.763695552,0.142951094168109,1.05921521149546,0.591036332182331,0.984132534
durbin,0.231218064,0.113743887,0.25827168,0.491933394096752,1.11700476827797,0.596027479929077,0.13781232
fdtd-2d,4.281226404,2.759323844,4.903882542,0.644517150838351,1.14543873162565,0.710140908025662,3.040274006
floyd-warshall,24.218459118,12.346663632,23.753760982,0.509803847216008,0.980812233605126,0.613164613142668,14.849902116
gemm,1.874821366,1.015113708,2.403924776,0.541445561912804,1.28221537240578,0.682870069233039,1.280259396
gemver,0.904236832,0.421093242,1.37536256,0.465689106103566,1.52102028066912,0.732546249564849,0.6623953
gesummv,0.550027764,0.265643112,0.823199408,0.482963096386531,1.49665064543905,0.741706040497258,0.407958915
heat-3d,2.80617318,0.546659526,0.984822682,0.194806054699732,0.350948647438787,0.238333100311364,0.668803954
jacobi-1d,0.084943008,0.04691624,0.10780893,0.552326096104343,1.26919133826765,0.678733039451581,0.057653626
jacobi-2d,1.7389416,1.22952823,1.441578432,0.707055504336661,0.828997610960598,0.603986738830102,1.050297666
lu,13.936284282,4.958925748,10.954257656,0.355828400716891,0.786024268330149,0.409667077283577,5.70923685
ludcmp,12.40275333,4.828531979,10.486543496,0.389311296494195,0.845501254196112,0.493179019791084,6.11677773
mvt,0.697623564,0.329095792,1.167384064,0.471738354296759,1.67337246652981,0.761761654025781,0.53142288
nussinov,4.27264083,2.44035948,5.472215097,0.571159518690458,1.28075710426612,0.699088811544218,2.9869554
seidel-2d,4.133094468,2.34295131,5.26390193,0.566875818624526,1.27359826172742,0.733582879238462,3.03196734
symm,1.289465856,0.610287327,1.251171894,0.4732869227675,0.970302461424772,0.504928978902719,0.651088678
syr2k,2.389200044,0.921700339,2.299793338,0.385777800948341,0.962578811169652,0.505183217718039,1.206983766
syrk,1.522963572,0.727080081,1.717579215,0.477411340866924,1.12778745767663,0.648176497553154,0.987149194
trisolv,0.16370305,0.34616666,0.38145744,2.11460116350917,2.33017918725399,2.02310073025518,0.33118776
trmm,0.726989952,0.470293666,0.911943566,0.64690531788808,1.25441013798221,0.740316014711576,0.538202304