/home/matt/hiwi/itslower-evaluation/provers/loopus: Unexpected unknown exception occurred.