/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark U11 X1 X2 active U11 mark X1 X2 mark tt active tt mark U12 X1 X2 active U12 mark X1 X2 mark s X active s mark X mark length X active length mark X mark nil active nil 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 U11 mark X1 X2 U11 X1 X2 U11 X1 mark X2 U11 X1 X2 U11 active X1 X2 U11 X1 X2 U11 X1 active X2 U11 X1 X2 U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 U12 X1 active X2 U12 X1 X2 s mark X s X s active X s X length mark X length X length active X length X 2.2 active U11 tt L U12 tt L cons mark X1 X2 cons X1 X2 s active X s X U11 active X1 X2 U11 X1 X2 mark 0 active 0 active zeros cons 0 zeros active U12 tt L mark s length L active U12 tt L s length L mark length X length mark X active zeros mark cons 0 zeros mark U12 X1 X2 mark X1 mark U11 X1 X2 U11 mark X1 X2 mark U12 X1 X2 active U12 mark X1 X2 mark cons X1 X2 cons mark X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 active X2 cons X1 X2 mark U12 X1 X2 U12 mark X1 X2 s mark X s X U12 X1 mark X2 U12 X1 X2 U11 X1 active X2 U11 X1 X2 mark cons X1 X2 mark X1 length active X length X mark length X mark X active U12 tt L length L mark U11 X1 X2 mark X1 U11 mark X1 X2 U11 X1 X2 mark length X active length mark X active length nil mark 0 active length cons N L U11 tt L U11 X1 mark X2 U11 X1 X2 U12 X1 active X2 U12 X1 X2 active length cons N L mark U11 tt L mark s X s mark X cons active X1 X2 cons X1 X2 mark nil active nil mark tt active tt cons X1 mark X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 mark s X active s mark X length mark X length X active U11 tt L mark U12 tt L mark U11 X1 X2 active U11 mark X1 X2 U12 mark X1 X2 U12 X1 X2 mark zeros active zeros mark s X mark X true mark s X mark X mark cons X1 X2 mark X1 mark zeros active zeros mark U11 X1 X2 active U11 mark X1 X2 active U11 tt L mark U12 tt L mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark U12 X1 X2 active U12 mark X1 X2 mark U12 X1 X2 mark X1 active zeros mark cons 0 zeros active length cons N L mark U11 tt L mark length X active length mark X active U12 tt L mark s length L mark U11 X1 X2 mark X1 mark length X mark X true U11 2 1 2 32286 cons 2 0 s 1 1 0 zeros 0 9508 U12 2 1 2 32286 U12 2 0 mark 1 1 0 0 0 0 s 1 0 nil 0 38551 mark 1 1 0 U11 2 0 active 1 1 0 cons 2 1 2 0 active 1 1 0 tt 0 36466 length 1 1 68752 length 1 0 active U12 tt L mark s length L mark length X active length mark X active length cons N L mark U11 tt L active zeros mark cons 0 zeros mark U12 X1 X2 active U12 mark X1 X2 mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 active U11 tt L mark U12 tt L mark U11 X1 X2 active U11 mark X1 X2 mark zeros active zeros mark cons X1 X2 mark X1 mark s X mark X cons X1 active X2 cons X1 X2 active length nil mark 0 cons mark X1 X2 cons X1 X2 mark 0 active 0 active zeros mark cons 0 zeros active U12 tt L mark s length L cons X1 mark X2 cons X1 X2 U11 active X1 X2 U11 X1 X2 U12 X1 active X2 U12 X1 X2 U11 mark X1 X2 U11 X1 X2 cons active X1 X2 cons X1 X2 s mark X s X U11 X1 active X2 U11 X1 X2 s active X s X active length cons N L mark U11 tt L mark tt active tt mark cons X1 X2 active cons mark X1 X2 U11 X1 mark X2 U11 X1 X2 U12 active X1 X2 U12 X1 X2 length active X length X mark nil active nil mark s X active s mark X U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X mark zeros active zeros length mark X length X active U11 tt L mark U12 tt L active zeros mark cons 0 zeros active U12 tt L mark s length L active length cons N L mark U11 tt L mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 mark s X mark X mark s X active s mark X mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X mark zeros active zeros active U11 tt L mark U12 tt L true U11 2 32743 cons 2 0 s 1 24338 zeros 0 32743 U12 2 32743 U12 2 0 mark 1 32743 0 0 1 s 1 0 nil 0 1 mark 1 1 U11 2 0 active 1 1 cons 2 1 active 1 1 0 tt 0 1 length 1 32743 length 1 0 active U11 tt L mark U12 tt L mark zeros active zeros mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 mark U12 X1 X2 active U12 mark X1 X2 mark s X mark X mark cons X1 X2 mark X1 active length cons N L mark U11 tt L active U12 tt L mark s length L active zeros mark cons 0 zeros cons X1 active X2 cons X1 X2 active length nil mark 0 cons mark X1 X2 cons X1 X2 mark 0 active 0 active zeros mark cons 0 zeros active U12 tt L mark s length L cons X1 mark X2 cons X1 X2 U11 active X1 X2 U11 X1 X2 U12 X1 active X2 U12 X1 X2 U11 mark X1 X2 U11 X1 X2 cons active X1 X2 cons X1 X2 s mark X s X U11 X1 active X2 U11 X1 X2 s active X s X active length cons N L mark U11 tt L mark tt active tt mark cons X1 X2 active cons mark X1 X2 U11 X1 mark X2 U11 X1 X2 U12 active X1 X2 U12 X1 X2 length active X length X mark nil active nil mark s X active s mark X U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X mark zeros active zeros length mark X length X active U11 tt L mark U12 tt L active zeros mark cons 0 zeros active U12 tt L mark s length L active length cons N L mark U11 tt L mark cons X1 X2 mark X1 mark s X mark X mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X mark zeros active zeros active U11 tt L mark U12 tt L true U11 2 32371 cons 2 0 s 1 1 0 zeros 0 32743 U12 2 32371 U12 2 0 mark 1 1 32743 0 0 0 s 1 0 nil 0 1 mark 1 1 13140 U11 2 0 active 1 1 13140 cons 2 1 3816 active 1 65114 tt 0 3024 length 1 32371 length 1 0 active U11 tt L mark U12 tt L mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 mark U12 X1 X2 active U12 mark X1 X2 mark s X mark X active length cons N L mark U11 tt L active U12 tt L mark s length L cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 U11 active X1 X2 U11 X1 X2 U12 X1 active X2 U12 X1 X2 U11 mark X1 X2 U11 X1 X2 cons active X1 X2 cons X1 X2 s mark X s X U11 X1 active X2 U11 X1 X2 s active X s X U11 X1 mark X2 U11 X1 X2 U12 active X1 X2 U12 X1 X2 length active X length X U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 length mark X length X active U12 tt L mark s length L active length cons N L mark U11 tt L mark s X mark X mark U12 X1 X2 active U12 mark X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X active U11 tt L mark U12 tt L true Failed! NaTT certifiable-1.6