#!/bin/bash export LD_LIBRARY_PATH=. ./MB.exe --print-stats --print-proof -S ./tc21-9.strat +RTS -C -N4 -qn2 -M100G -K400m -RTS $1 2>/dev/null