call cvc6 -DParanoia %1