onerow: update tables

onerow/benchmark/generate_tables

@@ -1,8 +1,9 @@
 #!/bin/bash
 for i in out/*yaml; do
-    IN=${i/.yaml/}
+    IN=${i/.pre.yaml/}
     IN=${IN/out\//}
     grep -q mip_value $i && continue
+    echo $IN
     grep $IN instances/opt.tab | awk '{ print "mip_value:\n  "$2 }' >> $i
 done
 
@@ -14,7 +15,7 @@ for i in out/*.yaml; do
     IN=${IN/out\//}
     printf "%s," $IN
     scripts/gap.rb $i
-done | sort -t',' -nrsk 8 | sed -e 's/,$//g'
+done | sort -t',' -nrsk 8 | sed -e 's/,$//g' | tee 'tables/gap.csv'
 
 echo
 echo
@@ -26,4 +27,4 @@ for i in out/*.yaml; do
     IN=${IN/out\//}
     printf "%s," $IN
     scripts/speed.rb $i
-done | sort | sed -e 's/,$//g'
+done | sort | sed -e 's/,$//g' | tee 'tables/speed.csv'