files for evaluation

ahealy19 · Aug 23, 2016 · 710ed95 · 710ed95
1 parent a82879d
commit 710ed95
Show file tree

Hide file tree

Showing 6 changed files with 148,244 additions and 2 deletions.
diff --git a/data_for_second_barchart.csv b/data_for_second_barchart.csv
@@ -0,0 +1,6 @@
+,Alt-Ergo-0.95.2,Alt-Ergo-1.01,Best,CVC3,CVC4,Random,Where4 Forest,Worst,Yices,Z3-4.3.2,Z3-4.4.1,veriT
+Failure,0,0,7,8,0,0,0,10,16,8,9,13
+Invalid,0,0,0,0,0,0,0,0,0,0,0,0
+Timeout,58,50,19,61,103,88,55,161,72,107,105,112
+Unknown,41,36,34,27,13,17,30,30,62,3,4,38
+Valid,164,177,203,167,147,158,178,62,113,145,145,100
diff --git a/data_for_second_linegraph.csv b/data_for_second_linegraph.csv
diff --git a/feature_importances.txt b/feature_importances.txt
@@ -0,0 +1,29 @@
+func            0.199340
+avg_op_arity    0.105527
+int             0.086834
+and             0.058263
+forall          0.057446
+depth           0.054362
+impl            0.049848
+var             0.049775
+n_quants        0.046363
+size            0.046085
+let             0.039099
+n_branches      0.034041
+n_preds         0.031222
+zero_ar         0.029711
+n_ops           0.028913
+divisor         0.028435
+not             0.011819
+if              0.011468
+case            0.009691
+wild            0.009453
+false           0.003836
+iff             0.002916
+or              0.002823
+true            0.001222
+eps             0.000876
+exists          0.000370
+float           0.000261
+as              0.000000
+dtype: float64