1 files changed, 28 insertions, 0 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv
new file mode 100644
index 0000000..68cb8d5
--- /dev/null
+++ b/data/time-ratio.csv
@@ -0,0 +1,28 @@
+vericert,vericert-fun
+2.874567,2.890138
+2.064507,2.024059
+2.018529,2.057718
+2.553546,2.644371
+1.629528,1.458129
+2.649152,2.652406
+2.244284,2.22325
+3.184623,3.075592
+3.212696,3.000344
+1.846985,1.8659
+2.0846,2.063738
+2.683782,2.7166
+2.336773,2.349229
+1.86928,1.918754
+2.75994,2.70762
+2.692454,2.883045
+2.848325,2.737868
+2.470766,2.540274
+5.976952,5.805205
+2.288145,2.387671
+4.783038,4.749155
+2.630884,0.0001
+3.996176,4.078228
+4.190279,3.776937
+2.90839,2.85629
+2.716611,2.79227
+2.805196,2.907335