#!/bin/bash sed 's|[0-9]*.[0-9]*/[0-9]*.[0-9]*| |' < $1 > notimestamps sed 's|EOF| |' < notimestamps > cleaned ./cvc4 --lang=smt2 cleaned