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