#!/bin/bash
./maxcdcl_static $1
