/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE a__zeros cons 0 zeros a__U11 tt L a__U12 tt L a__U12 tt L s a__length mark L a__length nil 0 a__length cons N L a__U11 tt L mark zeros a__zeros mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X1 X2 a__U12 mark X1 X2 mark length X a__length mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 mark tt tt mark s X s mark X mark nil nil a__zeros zeros a__U11 X1 X2 U11 X1 X2 a__U12 X1 X2 U12 X1 X2 a__length X length X 2.2 mark zeros a__zeros mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X1 X2 mark X1 a__length cons N L a__U11 tt L a__U12 tt L mark L mark U12 X1 X2 a__U12 mark X1 X2 mark U11 X1 X2 mark X1 a__U12 tt L a__length mark L mark length X mark X mark s X mark X a__U11 tt L a__U12 tt L mark cons X1 X2 mark X1 mark length X a__length mark X true mark length X a__length mark X mark U12 X1 X2 a__U12 mark X1 X2 mark cons X1 X2 mark X1 a__U11 tt L a__U12 tt L mark s X mark X a__U12 tt L mark L a__length cons N L a__U11 tt L mark U12 X1 X2 mark X1 mark U11 X1 X2 a__U11 mark X1 X2 mark length X mark X a__U12 tt L a__length mark L mark U11 X1 X2 mark X1 true U11 2 1 2 31893 s 1 1 0 a__U11 2 2 31892 zeros 0 1 U12 2 1 2 31893 a__U12 2 2 31892 mark 1 1 0 0 0 0 a__zeros 0 0 nil 0 47562 mark 1 1 1 a__U11 2 1 2 31893 a__length 1 1 31891 a__U12 2 1 2 31893 cons 2 1 2 1 tt 0 1 length 1 1 31893 a__zeros 0 2 a__length 1 1 31893 a__U12 tt L a__length mark L a__length cons N L a__U11 tt L mark s X mark X a__U11 tt L a__U12 tt L a__length X length X a__length nil 0 a__zeros zeros mark U12 X1 X2 a__U12 mark X1 X2 a__zeros cons 0 zeros a__U12 tt L s a__length mark L a__U11 X1 X2 U11 X1 X2 a__U12 X1 X2 U12 X1 X2 a__length cons N L a__U11 tt L mark cons X1 X2 cons mark X1 X2 mark U11 X1 X2 a__U11 mark X1 X2 mark nil nil mark tt tt mark 0 0 mark length X a__length mark X mark s X s mark X mark zeros a__zeros a__U11 tt L a__U12 tt L mark s X mark X true U11 2 1 31895 s 1 1 12623 a__U11 2 31892 zeros 0 3 U12 2 1 2 31896 a__U12 2 31892 mark 1 1 0 0 0 19276 a__zeros 0 0 nil 0 2 mark 1 1 a__U11 2 1 2 31894 a__length 1 31891 a__U12 2 1 31895 cons 2 1 1 tt 0 2 length 1 1 31893 a__zeros 0 2 a__length 1 19275 a__U12 tt L a__length mark L a__length cons N L a__U11 tt L a__U11 tt L a__U12 tt L true Failed! NaTT certifiable-1.6