/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__and tt X mark X a__length nil 0 a__length cons N L s a__length mark L a__take 0 IL nil a__take s M cons N IL cons mark N take M IL mark zeros a__zeros mark and X1 X2 a__and mark X1 X2 mark length X a__length mark X mark take X1 X2 a__take mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark 0 0 mark tt tt mark nil nil mark s X s mark X a__zeros zeros a__and X1 X2 and X1 X2 a__length X length X a__take X1 X2 take X1 X2 2.2 a__take s M cons N IL mark N mark zeros a__zeros a__length cons N L a__length mark L mark take X1 X2 mark X2 mark and X1 X2 mark X1 mark s X mark X a__length cons N L mark L mark take X1 X2 a__take mark X1 mark X2 mark and X1 X2 a__and mark X1 X2 mark cons X1 X2 mark X1 mark length X a__length mark X a__and tt X mark X mark take X1 X2 mark X1 mark length X mark X true mark length X mark X a__length cons N L mark L mark s X mark X mark take X1 X2 mark X1 a__and tt X mark X mark length X a__length mark X mark and X1 X2 mark X1 mark take X1 X2 mark X2 a__length cons N L a__length mark L mark cons X1 X2 mark X1 mark and X1 X2 a__and mark X1 X2 mark take X1 X2 a__take mark X1 mark X2 a__take s M cons N IL mark N true s 1 1 0 take 2 1 2 2 and 2 1 2 30614 zeros 0 1 a__take 2 2 1 mark 1 1 0 0 0 0 a__and 2 2 30613 a__zeros 0 0 nil 0 2 mark 1 1 0 a__length 1 1 1 cons 2 1 2 0 a__take 2 1 2 2 tt 0 48638 a__and 2 1 2 30614 length 1 1 1144 a__zeros 0 1 a__length 1 1 1144 mark cons X1 X2 mark X1 a__length cons N L a__length mark L mark s X mark X a__length X length X a__length cons N L s a__length mark L mark s X s mark X mark and X1 X2 a__and mark X1 X2 a__zeros cons 0 zeros a__length nil 0 a__zeros zeros a__take X1 X2 take X1 X2 a__and X1 X2 and X1 X2 a__take 0 IL nil mark take X1 X2 a__take mark X1 mark X2 mark zeros a__zeros mark nil nil mark 0 0 mark cons X1 X2 cons mark X1 X2 mark length X a__length mark X mark tt tt a__take s M cons N IL cons mark N take M IL a__and tt X mark X a__length cons N L a__length mark L true Failed! NaTT certifiable-1.6