Dear all, muterm is losing a YES here (SRS standard, ICFP_2010/213537 ) https://www.starexec.org/starexec/secure/details/pair.jsp?id=487085940 It looks like starexec is introducing noise in the output (after the tool is run) so the post-processor does not detect the answer. - J.