File: bjob_classify

package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389
file content (19 lines) | stat: -rw-r--r-- 388 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#!/bin/bash
#BSUB -J classify
#BSUB -o classify.out
#BSUB -e classify.err
#BSUB -W 24:00  
#BSUB -q small 
#BSUB -n 1      
#
# Run serial executable on 1 cpu of one node
cd /nethome/sschulz/EPROVER/TPTP_5.4.0
cat /dev/null > ../problem_features_5.4.0

for file in `ls|grep \.p`; do
    echo $file
    ulimit -t 500
    classify_problem --tstp-in $file>> ../problem_features_5.4.0

done