/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active eq 0 0 mark true active eq s X s Y mark eq X Y active eq X Y mark false active inf X mark cons X inf s X active take 0 X mark nil active take s X cons Y L mark cons Y take X L active length nil mark 0 active length cons X L mark s length L mark eq X1 X2 active eq X1 X2 mark 0 active 0 mark true active true mark s X active s X mark false active false mark inf X active inf mark X mark cons X1 X2 active cons X1 X2 mark take X1 X2 active take mark X1 mark X2 mark nil active nil mark length X active length mark X eq mark X1 X2 eq X1 X2 eq X1 mark X2 eq X1 X2 eq active X1 X2 eq X1 X2 eq X1 active X2 eq X1 X2 s mark X s X s active X s X inf mark X inf X inf active X inf X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 length mark X length X length active X length X 2.2 active eq s X s Y eq X Y active length cons X L length L mark nil active nil mark take X1 X2 active take mark X1 mark X2 active inf X cons X inf s X active length cons X L s length L active length cons X L mark s length L mark take X1 X2 mark X1 active inf X inf s X active inf X s X mark take X1 X2 mark X2 active take s X cons Y L cons Y take X L active eq 0 0 mark true mark length X mark X mark s X active s X mark eq X1 X2 active eq X1 X2 s active X s X active take 0 X mark nil take active X1 X2 take X1 X2 active inf X mark cons X inf s X s mark X s X eq mark X1 X2 eq X1 X2 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 mark length X active length mark X cons X1 mark X2 cons X1 X2 eq X1 mark X2 eq X1 X2 active take s X cons Y L take X L active eq X Y mark false mark true active true length active X length X active take s X cons Y L mark cons Y take X L mark cons X1 X2 active cons X1 X2 cons mark X1 X2 cons X1 X2 mark 0 active 0 eq active X1 X2 eq X1 X2 take X1 active X2 take X1 X2 mark inf X mark X inf active X inf X inf mark X inf X eq X1 active X2 eq X1 X2 mark take X1 X2 take mark X1 mark X2 active length nil mark 0 mark inf X inf mark X cons active X1 X2 cons X1 X2 active eq s X s Y mark eq X Y mark false active false mark inf X active inf mark X length mark X length X mark length X length mark X cons X1 active X2 cons X1 X2 true mark length X active length mark X mark inf X active inf mark X active inf X mark cons X inf s X active eq s X s Y mark eq X Y mark eq X1 X2 active eq X1 X2 mark s X active s X mark length X mark X mark inf X mark X mark take X1 X2 mark X2 mark cons X1 X2 active cons X1 X2 active take s X cons Y L mark cons Y take X L mark take X1 X2 mark X1 active length cons X L mark s length L mark take X1 X2 active take mark X1 mark X2 true cons 2 0 s 1 18588 take 2 0 take 2 1 2 15521 eq 2 23423 false 0 11302 true 0 9726 eq 2 0 mark 1 1 0 0 0 27821 s 1 0 nil 0 26497 mark 1 1 0 inf 1 0 active 1 1 0 cons 2 1 47339 active 1 1 0 length 1 1 1324 length 1 0 inf 1 1 47340 mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 active cons X1 X2 mark s X active s X mark eq X1 X2 active eq X1 X2 active eq s X s Y mark eq X Y mark inf X active inf mark X mark length X active length mark X mark length X active length mark X active inf X mark cons X inf s X mark cons X1 X2 active cons X1 X2 active length cons X L mark s length L active eq 0 0 mark true active eq X Y mark false mark take X1 X2 active take mark X1 mark X2 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 mark nil active nil cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 active take 0 X mark nil take active X1 X2 take X1 X2 mark 0 active 0 active length nil mark 0 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 mark inf X active inf mark X take mark X1 X2 take X1 X2 mark s X active s X s mark X s X s active X s X mark true active true mark eq X1 X2 active eq X1 X2 mark false active false active take s X cons Y L mark cons Y take X L length mark X length X cons active X1 X2 cons X1 X2 active eq s X s Y mark eq X Y mark length X active length mark X mark cons X1 X2 active cons X1 X2 mark take X1 X2 active take mark X1 mark X2 mark inf X active inf mark X mark s X active s X mark eq X1 X2 active eq X1 X2 active eq s X s Y mark eq X Y true cons 2 0 s 1 5398 take 2 0 take 2 1 5399 eq 2 5398 false 0 17728 true 0 8280 eq 2 0 mark 1 1 0 0 0 29384 s 1 0 nil 0 23984 mark 1 1 33401 inf 1 0 active 1 1 33401 cons 2 1 5398 active 1 5398 length 1 1 5399 length 1 0 inf 1 5399 active eq s X s Y mark eq X Y mark eq X1 X2 active eq X1 X2 mark s X active s X mark cons X1 X2 active cons X1 X2 eq active X1 X2 eq X1 X2 length active X length X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons X1 X2 mark s X active s X mark eq X1 X2 active eq X1 X2 active eq s X s Y mark eq X Y true cons 2 0 s 1 4188 take 2 0 take 2 1 1 eq 2 4187 false 0 4188 true 0 4188 eq 2 0 mark 1 1 1211 0 0 31886 s 1 0 nil 0 16913 mark 1 1 56905 inf 1 0 active 1 1 56905 cons 2 1 4188 active 1 5398 length 1 1 14972 length 1 0 inf 1 5399 active eq s X s Y mark eq X Y mark eq X1 X2 active eq X1 X2 eq active X1 X2 eq X1 X2 length active X length X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 mark eq X1 X2 active eq X1 X2 active eq s X s Y mark eq X Y true cons 2 0 s 1 1 1 take 2 0 take 2 43950 eq 2 1 2 1 false 0 2 true 0 98732 eq 2 0 mark 1 1 1211 0 0 49365 s 1 0 nil 0 43950 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 15620 active 1 1 1210 length 1 49364 length 1 0 inf 1 15620 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 mark inf X inf mark X false mark take X1 X2 take mark X1 mark X2 false active take s X cons Y L cons Y take X L false active take s X cons Y L take X L false take X1 mark X2 take X1 X2 take mark X1 X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 true cons 2 0 s 1 1 1 take 2 1 2 0 take 2 35082 eq 2 1 2 1 false 0 2 true 0 52106 eq 2 0 mark 1 1 1211 0 0 26052 s 1 0 nil 0 35082 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 5969 active 1 1 1210 length 1 1 length 1 0 inf 1 5969 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 active length nil mark 0 false mark 0 active 0 false active take 0 X mark nil false active eq X Y mark false false mark false active false false active eq 0 0 mark true false mark true active true false active length cons X L s length L false mark length X length mark X false active inf X cons X inf s X false cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 2 0 s 1 1 1 take 2 0 take 2 1 eq 2 1 2 55691 false 0 55692 true 0 208460 eq 2 0 mark 1 1 1211 0 0 76384 s 1 0 nil 0 1 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 1 active 1 1 1210 length 1 44249 length 1 0 inf 1 436 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 active inf X inf s X false inf active X inf X inf mark X inf X true cons 2 0 s 1 1 1 take 2 0 take 2 1 eq 2 1 2 4 false 0 5 true 0 12 eq 2 0 mark 1 1 1211 0 0 3 s 1 0 nil 0 1 mark 1 1 1 inf 1 1 0 active 1 1 1 cons 2 1 1 active 1 1 1210 length 1 2 length 1 0 inf 1 15081 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 active inf X s X false s mark X s X s active X s X true cons 2 0 s 1 1 1 take 2 0 take 2 11495 eq 2 1 2 35616 false 0 35617 true 0 93887 eq 2 0 mark 1 1 1211 0 0 29135 s 1 1 0 nil 0 5481 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 1 active 1 1 1210 length 1 1 length 1 0 inf 1 28652 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 mark nil active nil false active length cons X L length L false length mark X length X length active X length X true cons 2 0 s 1 1 1 take 2 0 take 2 52787 eq 2 1 2 1 false 0 2 true 0 39828 eq 2 0 mark 1 1 1211 0 0 19913 s 1 0 nil 0 52787 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 20631 active 1 1 1210 length 1 19912 length 1 1 0 inf 1 20631 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 active eq s X s Y eq X Y false eq mark X1 X2 eq X1 X2 eq X1 active X2 eq X1 X2 eq active X1 X2 eq X1 X2 eq X1 mark X2 eq X1 X2 true cons 2 0 s 1 1 1 take 2 0 take 2 64373 eq 2 1 2 24552 false 0 44970 true 0 24557 eq 2 2 0 mark 1 1 1211 0 0 2 s 1 0 nil 0 64373 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 38169 active 1 1 1210 length 1 1 length 1 0 inf 1 38169 eq active X1 X2 eq X1 X2 eq mark X1 X2 eq X1 X2 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 eq active X1 X2 eq X1 X2 eq mark X1 X2 eq X1 X2 true cons 2 0 s 1 1 15876 take 2 0 take 2 42490 eq 2 1 2 1 false 0 2 true 0 24557 eq 2 1 0 mark 1 1 1211 0 0 2562 s 1 0 nil 0 42490 mark 1 1 1 inf 1 0 active 1 1 1 cons 2 1 42490 active 1 1 1210 length 1 1 length 1 0 inf 1 42490 eq active X1 X2 eq X1 X2 length active X length X inf active X inf X eq mark X1 X2 eq X1 X2 take X1 mark X2 take X1 X2 cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 eq X1 active X2 eq X1 X2 cons X1 mark X2 cons X1 X2 take active X1 X2 take X1 X2 eq X1 mark X2 eq X1 X2 inf mark X inf X cons X1 active X2 cons X1 X2 take mark X1 X2 take X1 X2 s mark X s X s active X s X length mark X length X cons active X1 X2 cons X1 X2 NaTT certifiable-1.6