/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__zeros cons 0 zeros a__tail cons X XS mark XS mark zeros a__zeros mark tail X a__tail mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 a__zeros zeros a__tail X tail X 2.2 mark cons X1 X2 mark X1 mark tail X mark X mark zeros a__zeros a__tail cons X XS mark XS mark tail X a__tail mark X true mark tail X a__tail mark X a__tail cons X XS mark XS mark tail X mark X mark cons X1 X2 mark X1 true zeros 0 1 tail 1 1 17223 mark 1 1 11797 0 0 17221 a__zeros 0 0 mark 1 1 29019 cons 2 1 2 11798 a__tail 1 1 17223 a__tail 1 1 0 a__zeros 0 29020 mark tail X a__tail mark X a__tail X tail X a__zeros cons 0 zeros mark zeros a__zeros mark cons X1 X2 cons mark X1 X2 a__zeros zeros mark 0 0 a__tail cons X XS mark XS mark zeros a__zeros false NaTT certifiable-1.6