SYMbolic Programming Language EXperiment - an entry to the testing pltgames contest based on symbolic execution