Stochastic Solver, SyGuS competition 2014