Add files via upload

This commit is contained in:
Silviu Marian Udrescu 2020-03-08 13:53:10 -04:00 committed by GitHub
parent 7ee026cb1c
commit 41f66199b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
34 changed files with 70577 additions and 0 deletions

View file

@ -0,0 +1,23 @@
#!/bin/csh
# USAGE EXAMPLE: solve_mysteries.scr ops6.txt 2
# USAGE EXAMPLE: solve_mysteries.scr allops.txt 1800
set opsfile = $1
set maxtime = $2
set f = $3
set outfile = brute_solutions.dat
set outfile2 = brute_constant.dat
set outfile3 = brute_formulas.dat
if -f $outfile /bin/rm $outfile
if -f $outfile2 /bin/rm $outfile2
if -f $outfile3 /bin/rm $outfile3
echo Trying to solve mysteries with brute force...
echo Trying to solve $f...
echo /bin/cp -p $f mystery.dat
/bin/cp -p $f mystery.dat
echo $opsfile arity2templates.txt mystery.dat results.dat >args.dat
timeout {$maxtime}s ./symbolic_regress3.x