#!/bin/bash
exec ./parallel-twee $1 --tstp --give-up-on-saturation --formal-proof 2>/dev/null
