1 files changed, 28 insertions, 0 deletions
diff --git a/data/slice-ratio.csv b/data/slice-ratio.csv
new file mode 100644
index 0000000..39ba37a
--- /dev/null
+++ b/data/slice-ratio.csv
@@ -0,0 +1,28 @@
+vericert,vericert-fun
+1.532967,0.694505
+2.442761,0.473064
+1.393443,0.727459
+1.474654,0.606759
+1.570388,0.543689
+1.345946,0.745946
+1.309859,0.848592
+1.571644,0.736048
+1.635406,0.545838
+1.067164,0.748134
+1.484444,1.071111
+1.764471,0.93014
+1.183544,0.628165
+1.468132,1.389011
+1.339048,1.068571
+1.491525,0.664407
+1.58838,0.783961
+1.478424,0.510319
+1.673529,1.473529
+1.401508,0.509896
+1.504412,0.960294
+1.288889,0
+1.496855,0.643082
+4.135104,1.055427
+2.317143,0.888571
+1.908894,0.678959
+1.267769,0.545455
+\ No newline at end of file