/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE active zeros mark cons 0 zeros active U11 tt L mark U12 tt L active U12 tt L mark s length L active length nil mark 0 active length cons N L mark U11 tt L active cons X1 X2 cons active X1 X2 active U11 X1 X2 U11 active X1 X2 active U12 X1 X2 U12 active X1 X2 active s X s active X active length X length active X cons mark X1 X2 mark cons X1 X2 U11 mark X1 X2 mark U11 X1 X2 U12 mark X1 X2 mark U12 X1 X2 s mark X mark s X length mark X mark length X proper zeros ok zeros proper cons X1 X2 cons proper X1 proper X2 proper 0 ok 0 proper U11 X1 X2 U11 proper X1 proper X2 proper tt ok tt proper U12 X1 X2 U12 proper X1 proper X2 proper s X s proper X proper length X length proper X proper nil ok nil cons ok X1 ok X2 ok cons X1 X2 U11 ok X1 ok X2 ok U11 X1 X2 U12 ok X1 ok X2 ok U12 X1 X2 s ok X ok s X length ok X ok length X top mark X top proper X top ok X top active X 2.2 length ok X length X proper cons X1 X2 proper X2 proper U12 X1 X2 proper X1 length mark X length X active U12 X1 X2 active X1 active U12 tt L s length L active U12 tt L length L active s X s active X active U12 X1 X2 U12 active X1 X2 top ok X active X proper length X length proper X U11 mark X1 X2 U11 X1 X2 proper s X s proper X s ok X s X top ok X top active X proper U11 X1 X2 proper X1 s mark X s X proper U11 X1 X2 U11 proper X1 proper X2 proper s X proper X active length X length active X active s X active X active zeros cons 0 zeros proper length X proper X U11 ok X1 ok X2 U11 X1 X2 U12 mark X1 X2 U12 X1 X2 proper cons X1 X2 proper X1 active length cons N L U11 tt L proper U12 X1 X2 U12 proper X1 proper X2 proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 cons X1 X2 proper U11 X1 X2 proper X2 active U11 X1 X2 active X1 U12 ok X1 ok X2 U12 X1 X2 proper U12 X1 X2 proper X2 active length X active X top mark X proper X active cons X1 X2 cons active X1 X2 active U11 tt L U12 tt L cons mark X1 X2 cons X1 X2 top mark X top proper X active cons X1 X2 active X1 active U11 X1 X2 U11 active X1 X2 true top mark X top proper X top ok X top active X true Failed! NaTT certifiable-1.6