1#!/bin/sh 2 3# Delete this if only missing problems are added! 4cat /dev/null > ../problem_features_6.4.0_raw 5 6for file in `ls|grep [+-].*\.p`; do 7# for file in `cat ../missing`; do 8 echo $file 9 ulimit -t 5000 10 classify_problem --tstp-in --free-numbers $file>> ../problem_features_6.4.0_raw 11done 12