using parallel running in sketch-frontend, rather than our own CEGIS wrapper
using parallel running in sketch-frontend, rather than our own CEGIS wrapper

plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket