grep "Tree size" $1 >> $2
grep "Tree depth" $1 >> $2
grep "Tree cube" $1 >> $2
grep "Nb iterations of reacha" $1 >> $2
grep "addPred: " $1 | wc >> $2
grep "trace dep" $1 | wc >> $2
grep "TOTAL" $1 >> $2
