Support for cvc4, added bench on the netbook for aufnira.