/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__dbl 0 0 a__dbl s X s s dbl X a__dbls nil nil a__dbls cons X Y cons dbl X dbls Y a__sel 0 cons X Y mark X a__sel s X cons Y Z a__sel mark X mark Z a__indx nil X nil a__indx cons X Y Z cons sel X Z indx Y Z a__from X cons X from s X a__dbl1 0 01 a__dbl1 s X s1 s1 a__dbl1 mark X a__sel1 0 cons X Y mark X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__quote 0 01 a__quote s X s1 a__quote mark X a__quote dbl X a__dbl1 mark X a__quote sel X Y a__sel1 mark X mark Y mark dbl X a__dbl mark X mark dbls X a__dbls mark X mark sel X1 X2 a__sel mark X1 mark X2 mark indx X1 X2 a__indx mark X1 X2 mark from X a__from X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 mark quote X a__quote mark X mark 0 0 mark s X s X mark nil nil mark cons X1 X2 cons X1 X2 mark 01 01 mark s1 X s1 mark X a__dbl X dbl X a__dbls X dbls X a__sel X1 X2 sel X1 X2 a__indx X1 X2 indx X1 X2 a__from X from X a__dbl1 X dbl1 X a__sel1 X1 X2 sel1 X1 X2 a__quote X quote X 2.2 a__sel s X cons Y Z mark X mark indx X1 X2 mark X1 mark dbl X mark X a__sel1 s X cons Y Z mark Z mark dbl1 X mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 mark sel1 X1 X2 mark X2 a__quote sel X Y mark X a__quote sel X Y a__sel1 mark X mark Y mark dbl1 X a__dbl1 mark X a__quote dbl X mark X a__sel1 0 cons X Y mark X a__quote dbl X a__dbl1 mark X a__quote sel X Y mark Y mark sel X1 X2 mark X2 a__dbl1 s X a__dbl1 mark X mark sel1 X1 X2 mark X1 a__quote s X mark X a__sel1 s X cons Y Z mark X mark indx X1 X2 a__indx mark X1 X2 mark from X a__from X mark dbl X a__dbl mark X mark dbls X mark X mark quote X mark X a__quote s X a__quote mark X mark sel X1 X2 mark X1 mark dbls X a__dbls mark X a__sel 0 cons X Y mark X mark quote X a__quote mark X a__sel s X cons Y Z mark Z a__sel s X cons Y Z a__sel mark X mark Z a__dbl1 s X mark X mark s1 X mark X a__sel1 s X cons Y Z a__sel1 mark X mark Z mark sel X1 X2 a__sel mark X1 mark X2 true mark sel X1 X2 a__sel mark X1 mark X2 a__quote sel X Y mark Y a__sel1 s X cons Y Z a__sel1 mark X mark Z a__quote dbl X a__dbl1 mark X a__sel1 0 cons X Y mark X mark s1 X mark X a__quote dbl X mark X mark dbl1 X a__dbl1 mark X a__dbl1 s X mark X a__sel s X cons Y Z a__sel mark X mark Z a__quote sel X Y a__sel1 mark X mark Y a__sel s X cons Y Z mark Z a__quote sel X Y mark X mark quote X a__quote mark X a__sel 0 cons X Y mark X mark sel1 X1 X2 mark X2 mark sel1 X1 X2 a__sel1 mark X1 mark X2 mark dbl1 X mark X a__quote s X a__quote mark X mark sel X1 X2 mark X1 mark quote X mark X a__sel1 s X cons Y Z mark Z mark dbls X mark X a__sel1 s X cons Y Z mark X a__quote s X mark X mark sel1 X1 X2 mark X1 a__dbl1 s X a__dbl1 mark X mark dbl X mark X mark indx X1 X2 mark X1 a__sel s X cons Y Z mark X mark sel X1 X2 mark X2 true a__quote 1 1 1 a__dbl1 1 1 26435 01 0 1 s 1 1 0 a__from 1 0 dbls 1 1 1 a__indx 2 1 98343 2 98342 0 a__from 1 1 39057 a__indx 2 0 dbl 1 1 1 indx 2 1 98343 2 98342 0 a__dbl1 1 1 1 a__dbl 1 1 1 a__sel1 2 1 99938 2 66509 0 a__dbls 1 0 mark 1 1 0 0 0 42410 a__quote 1 1 32287 sel 2 1 98343 2 67650 0 from 1 1 39057 a__sel1 2 1 66508 2 35815 0 nil 0 98343 dbl1 1 1 26435 a__dbl 1 0 a__sel 2 1 58794 2 28101 0 mark 1 1 0 a__sel 2 1 98343 2 67650 0 a__dbls 1 1 1 quote 1 1 32287 cons 2 1 30692 2 0 0 sel1 2 1 99938 2 66509 0 s1 1 1 0 a__dbl1 s X a__dbl1 mark X a__quote s X a__quote mark X a__sel s X cons Y Z a__sel mark X mark Z mark s1 X mark X a__sel1 s X cons Y Z a__sel1 mark X mark Z mark dbl X a__dbl mark X a__dbls cons X Y cons dbl X dbls Y a__quote s X s1 a__quote mark X a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil a__quote dbl X a__dbl1 mark X mark indx X1 X2 a__indx mark X1 X2 a__from X from X mark 0 0 mark dbls X a__dbls mark X a__dbl X dbl X a__quote sel X Y a__sel1 mark X mark Y mark s X s X a__sel X1 X2 sel X1 X2 mark from X a__from X mark nil nil a__sel 0 cons X Y mark X a__dbls X dbls X a__dbl1 0 01 a__quote X quote X a__indx nil X nil mark sel X1 X2 a__sel mark X1 mark X2 mark quote X a__quote mark X mark 01 01 a__quote 0 01 mark s1 X s1 mark X a__sel1 0 cons X Y mark X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__dbl1 s X s1 s1 a__dbl1 mark X a__from X cons X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z a__sel1 X1 X2 sel1 X1 X2 a__dbl1 X dbl1 X a__indx X1 X2 indx X1 X2 mark cons X1 X2 cons X1 X2 a__dbl s X s s dbl X a__quote s X a__quote mark X true a__quote 1 1 a__from 1 1 dbls 1 1 mark 1 1 a__dbls 1 1 s1 1 1 a__dbl1 1 6 1 01 0 5 s 1 4 1 a__indx 2 2 a__from 1 1 1 a__indx 2 0 2 1 dbl 1 6 1 indx 2 2 a__dbl1 1 0 a__dbl 1 6 1 a__sel1 2 2 a__dbls 1 0 mark 1 0 0 0 7 a__quote 1 3 1 sel 2 0 from 1 1 1 a__sel1 2 0 1 nil 0 7 dbl1 1 6 1 a__dbl 1 0 a__sel 2 0 1 a__sel 2 0 quote 1 3 1 cons 2 1 sel1 2 2 a__dbl1 1 1 15923 01 0 2 s 1 1 0 a__indx 2 2 4 a__from 1 1 4 a__indx 2 1 2 1 dbl 1 1 0 indx 2 2 4 a__dbl1 1 1 a__dbl 1 1 0 a__sel1 2 2 2 a__dbls 1 1 mark 1 1 0 0 1 a__quote 1 1 15924 sel 2 2 0 from 1 1 4 a__sel1 2 1 1 nil 0 3 dbl1 1 1 15923 a__dbl 1 1 a__sel 2 1 1 a__sel 2 2 0 quote 1 1 15924 cons 2 1 3 2 0 0 sel1 2 2 2 mark dbl X a__dbl mark X a__dbls cons X Y cons dbl X dbls Y a__quote s X s1 a__quote mark X a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil a__quote dbl X a__dbl1 mark X mark indx X1 X2 a__indx mark X1 X2 a__from X from X mark 0 0 mark dbls X a__dbls mark X a__dbl X dbl X a__quote sel X Y a__sel1 mark X mark Y mark s X s X a__sel X1 X2 sel X1 X2 mark from X a__from X mark nil nil a__sel 0 cons X Y mark X a__dbls X dbls X a__dbl1 0 01 a__quote X quote X a__indx nil X nil mark sel X1 X2 a__sel mark X1 mark X2 mark quote X a__quote mark X mark 01 01 a__quote 0 01 mark s1 X s1 mark X a__sel1 0 cons X Y mark X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__dbl1 s X s1 s1 a__dbl1 mark X a__from X cons X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z a__sel1 X1 X2 sel1 X1 X2 a__dbl1 X dbl1 X a__indx X1 X2 indx X1 X2 mark cons X1 X2 cons X1 X2 a__dbl s X s s dbl X mark s1 X mark X true a__quote 1 2 a__dbl1 1 1 1 01 0 4 s 1 1 a__from 1 0 dbls 1 21653 a__indx 2 1 2 0 a__from 1 14008 a__indx 2 0 dbl 1 1 indx 2 1 a__dbl1 1 2 a__dbl 1 1 2 a__sel1 2 1 2 0 a__dbls 1 0 mark 1 1 2 0 0 1 a__quote 1 1 2 sel 2 1 2 1 from 1 14003 a__sel1 2 2 nil 0 1 dbl1 1 24339 a__dbl 1 0 a__sel 2 0 mark 1 1 4 a__sel 2 1 0 a__dbls 1 1 21652 quote 1 1 cons 2 1 2 6 sel1 2 1 s1 1 1 27857 a__dbl1 s X a__dbl1 mark X true a__quote 1 1 a__from 1 1 a__dbl1 1 1 mark 1 1 s1 1 1 a__dbl1 1 5 01 0 4 s 1 5 1 dbls 1 5 a__indx 2 2 1 a__from 1 2 a__indx 2 0 2 1 dbl 1 6 1 indx 2 2 1 a__dbl 1 6 1 a__sel1 2 3 a__dbls 1 0 mark 1 0 0 0 7 a__quote 1 3 sel 2 0 from 1 2 a__sel1 2 0 1 nil 0 4 dbl1 1 5 a__dbl 1 0 a__sel 2 0 1 a__sel 2 0 a__dbls 1 5 quote 1 3 cons 2 1 1 sel1 2 3 a__dbl1 1 15924 01 0 2 s 1 1 0 dbls 1 1 0 a__indx 2 1 2 0 a__from 1 1 36231 a__indx 2 1 2 1 dbl 1 1 0 indx 2 1 2 0 a__dbl 1 1 0 a__sel1 2 2 12618 a__dbls 1 1 mark 1 1 0 0 1 a__quote 1 1 15925 sel 2 2 0 from 1 1 36231 a__sel1 2 1 1 nil 0 33694 dbl1 1 15924 a__dbl 1 1 a__sel 2 1 1 a__sel 2 2 0 a__dbls 1 1 0 quote 1 1 15925 cons 2 1 36230 2 0 0 sel1 2 2 12618 mark dbl X a__dbl mark X a__dbls cons X Y cons dbl X dbls Y a__quote s X s1 a__quote mark X a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil a__quote dbl X a__dbl1 mark X mark indx X1 X2 a__indx mark X1 X2 a__from X from X mark 0 0 mark dbls X a__dbls mark X a__dbl X dbl X a__quote sel X Y a__sel1 mark X mark Y mark s X s X a__sel X1 X2 sel X1 X2 mark from X a__from X mark nil nil a__sel 0 cons X Y mark X a__dbls X dbls X a__dbl1 0 01 a__quote X quote X a__indx nil X nil mark sel X1 X2 a__sel mark X1 mark X2 mark quote X a__quote mark X mark 01 01 a__quote 0 01 mark s1 X s1 mark X a__sel1 0 cons X Y mark X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__dbl1 s X s1 s1 a__dbl1 mark X a__from X cons X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z a__sel1 X1 X2 sel1 X1 X2 a__dbl1 X dbl1 X a__indx X1 X2 indx X1 X2 mark cons X1 X2 cons X1 X2 a__dbl s X s s dbl X a__sel1 s X cons Y Z a__sel1 mark X mark Z true a__quote 1 1 a__from 1 1 a__dbl1 1 1 a__sel1 2 1 mark 1 1 s1 1 1 a__dbl1 1 5 01 0 4 s 1 5 1 dbls 1 5 a__indx 2 2 1 a__from 1 2 a__indx 2 0 2 1 dbl 1 6 1 indx 2 2 1 a__dbl 1 6 1 a__sel1 2 3 a__dbls 1 0 mark 1 0 0 0 7 a__quote 1 3 sel 2 0 from 1 2 nil 0 4 dbl1 1 5 a__dbl 1 0 a__sel 2 0 1 a__sel 2 0 a__dbls 1 5 quote 1 3 cons 2 1 1 sel1 2 3 a__dbl1 1 28226 01 0 2 s 1 1 0 dbls 1 1 0 a__indx 2 1 2 0 a__from 1 1 17890 a__indx 2 1 2 1 dbl 1 1 0 indx 2 1 2 0 a__dbl 1 1 0 a__sel1 2 2 17888 a__dbls 1 1 mark 1 1 0 0 1 a__quote 1 1 28227 sel 2 2 0 from 1 1 17890 nil 0 38476 dbl1 1 28226 a__dbl 1 1 a__sel 2 1 1 a__sel 2 2 0 a__dbls 1 1 0 quote 1 1 28227 cons 2 1 17889 2 0 0 sel1 2 2 17888 mark dbl X a__dbl mark X a__dbls cons X Y cons dbl X dbls Y a__quote s X s1 a__quote mark X a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil a__quote dbl X a__dbl1 mark X mark indx X1 X2 a__indx mark X1 X2 a__from X from X mark 0 0 mark dbls X a__dbls mark X a__dbl X dbl X a__quote sel X Y a__sel1 mark X mark Y mark s X s X a__sel X1 X2 sel X1 X2 mark from X a__from X mark nil nil a__sel 0 cons X Y mark X a__dbls X dbls X a__dbl1 0 01 a__quote X quote X a__indx nil X nil mark sel X1 X2 a__sel mark X1 mark X2 mark quote X a__quote mark X mark 01 01 a__quote 0 01 mark s1 X s1 mark X a__sel1 0 cons X Y mark X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__dbl1 s X s1 s1 a__dbl1 mark X a__from X cons X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z a__sel1 X1 X2 sel1 X1 X2 a__dbl1 X dbl1 X a__indx X1 X2 indx X1 X2 mark cons X1 X2 cons X1 X2 a__dbl s X s s dbl X a__sel s X cons Y Z a__sel mark X mark Z true a__quote 1 1 a__from 1 1 a__dbl1 1 1 a__sel1 2 1 mark 1 1 s1 1 1 a__dbl1 1 6 01 0 5 s 1 6 1 dbls 1 6 a__indx 2 3 1 a__from 1 3 a__indx 2 0 2 1 dbl 1 7 1 indx 2 3 1 a__dbl 1 7 1 a__sel1 2 4 a__dbls 1 0 mark 1 0 0 0 8 a__quote 1 4 sel 2 0 from 1 3 nil 0 5 dbl1 1 6 a__dbl 1 0 a__sel 2 2 1 2 a__sel 2 0 a__dbls 1 6 quote 1 4 cons 2 1 1 sel1 2 4 a__dbl1 1 3 01 0 2 s 1 1 0 dbls 1 1 0 a__indx 2 1 2 0 a__from 1 1 7581 a__indx 2 1 2 1 dbl 1 1 0 indx 2 1 2 0 a__dbl 1 1 0 a__sel1 2 2 1 a__dbls 1 1 mark 1 1 0 0 1 a__quote 1 1 28227 sel 2 2 0 from 1 1 7581 nil 0 43324 dbl1 1 3 a__dbl 1 1 a__sel 2 1 2 1 a__sel 2 2 0 a__dbls 1 1 0 quote 1 1 28227 cons 2 1 2 2 0 0 sel1 2 2 1 mark dbl X a__dbl mark X a__dbls cons X Y cons dbl X dbls Y a__quote s X s1 a__quote mark X a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil a__quote dbl X a__dbl1 mark X mark indx X1 X2 a__indx mark X1 X2 a__from X from X mark 0 0 mark dbls X a__dbls mark X a__dbl X dbl X a__quote sel X Y a__sel1 mark X mark Y mark s X s X a__sel X1 X2 sel X1 X2 mark from X a__from X mark nil nil a__sel 0 cons X Y mark X a__dbls X dbls X a__dbl1 0 01 a__quote X quote X a__indx nil X nil mark sel X1 X2 a__sel mark X1 mark X2 mark quote X a__quote mark X mark 01 01 a__quote 0 01 mark s1 X s1 mark X a__sel1 0 cons X Y mark X mark dbl1 X a__dbl1 mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__dbl1 s X s1 s1 a__dbl1 mark X a__from X cons X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z a__sel1 X1 X2 sel1 X1 X2 a__dbl1 X dbl1 X a__indx X1 X2 indx X1 X2 mark cons X1 X2 cons X1 X2 a__dbl s X s s dbl X mark from X a__from X false mark dbls X a__dbls mark X false mark indx X1 X2 a__indx mark X1 X2 false mark dbl X a__dbl mark X false NaTT certifiable-1.6