#!/bin/sh
./simple --no-early-exit --always-succeed
./theories --no-early-exit --always-succeed