/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES f cons nil y y f cons f cons nil y z copy n y z copy 0 y z f z copy s x y z copy x y cons f y z 2.2 copy 0 y z f z copy s x y z copy x y cons f y z f cons f cons nil y z copy n y z copy s x y z f y true copy s x y z copy x y cons f y z true s 1 1 28959 n 0 28961 copy 3 1 3 0 f 1 1 2 0 0 1 nil 0 1 f 1 0 cons 2 28958 copy 3 1 2 3 0 copy s x y z f y false copy 0 y z f z false f cons f cons nil y z copy n y z false NaTT certifiable-1.6