#!/bin/bash
./errorbounds5 --filename ../alarm.fg --debug true --maxnodes 5000 --methods BP Cav SAW BoundProp > /tmp/alarm.dat
