/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE app nil YS YS app cons X XS YS cons X app XS YS from X cons X from s X zWadr nil YS nil zWadr XS nil nil zWadr cons X XS cons Y YS cons app Y cons X nil zWadr XS YS prefix L cons nil zWadr L prefix L 2.2 zWadr cons X XS cons Y YS app Y cons X nil from X from s X prefix L prefix L zWadr cons X XS cons Y YS zWadr XS YS app cons X XS YS app XS YS prefix L zWadr L prefix L true from X from s X true Failed! NaTT certifiable-1.6