#!/bin/bash

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