BUGFIX: change runbench script when the SAT Solver crashes
[satune.git] / src / Scripts /
drwxr-xr-x   ..
-rw-r--r-- 2846 autotunerparser.py
-rwxr-xr-x 900 learnresultgen.sh
-rw-r--r-- 3699 remotelearning.py
-rwxr-xr-x 866 runbench.sh
-rwxr-xr-x 854 runinterpreter.sh
-rw-r--r-- 243 serverstatus.py