#!/bin/bash

./glucose_static $1 -drup-file=$2/proof.out 
