#!/usr/bin/env zsh

timeout_sec=120
record_timeout_sec=240
runs=10

minizinc="/Users/jdek0001/Repositories/minizinc/libmzn/build/release"