/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a lambda x y lambda a x 1 a lambda x y lambda a x a y t a a x y z a x a y z lambda x x a x y x a x y y 2.2 a lambda x y a x a y t a lambda x y lambda a x 1 a lambda x y a x 1 a a x y z a y z a lambda x y a y t a lambda x y lambda a x a y t a a x y z a x a y z true a a x y z a x a y z a lambda x y a y t a a x y z a y z a lambda x y a x 1 a lambda x y a x a y t true a 2 1 2 0 1 0 0 lambda 1 0 t 0 0 lambda 1 1 1 a 2 1 2 0 a a x y z a y z a a x y z a x a y z lambda x x a lambda x y lambda a x 1 a a x y z a x a y z a x y x a x y y a lambda x y lambda a x a y t a a x y z a y z a a x y z a x a y z true a 2 1 2 1 1 0 0 lambda 1 0 t 0 41141 lambda 1 20163 a 2 1 0 a lambda x y lambda a x a y t false a lambda x y lambda a x 1 false NaTT certifiable-1.6