diff options
Diffstat (limited to 'data/time-ratio.csv')
-rw-r--r-- | data/time-ratio.csv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv index e21bcc8..d5f4f1f 100644 --- a/data/time-ratio.csv +++ b/data/time-ratio.csv @@ -1,7 +1,7 @@ benchmark,vericert,vericert-fun 2mm,3.125391,2.933666 3mm,2.324715,2.297549 -adi,4.099243,3.315808 +adi,4.099243,3.321061 atas,2.513413,2.794423 bicg,2.440026,2.467366 cholesky,2.967234,2.827276 |