#!/bin/bash export LD_LIBRARY_PATH=. ./MB.exe --omit-proof -S ./tc20-rel.strat +RTS -C -N4 -M100G -K1G -RTS $1 2>/dev/null