cvc4 Online no problems

More testing, cvc4 online has no problems now