cd gecode-release-6.2.0/gecode/brancher/

PYTHONPATH=. ../../tools/flatzinc/fzn-gecode -s ../../../MiniZinc\ models/"$5".fzn -probing="$1" -depth="$2" -threshold="$3" -function="$4"

# ./run-solver 10000 25 100 smallest open-stacks
