cvc4_17_counterexample.drv 219 Bytes