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