/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active and true X mark X active and false Y mark false active if true X Y mark X active if false X Y mark Y active add 0 X mark X active add s X Y mark s add X Y active first 0 X mark nil active first s X cons Y Z mark cons Y first X Z active from X mark cons X from s X active and X1 X2 and active X1 X2 active if X1 X2 X3 if active X1 X2 X3 active add X1 X2 add active X1 X2 active first X1 X2 first active X1 X2 active first X1 X2 first X1 active X2 and mark X1 X2 mark and X1 X2 if mark X1 X2 X3 mark if X1 X2 X3 add mark X1 X2 mark add X1 X2 first mark X1 X2 mark first X1 X2 first X1 mark X2 mark first X1 X2 proper and X1 X2 and proper X1 proper X2 proper true ok true proper false ok false proper if X1 X2 X3 if proper X1 proper X2 proper X3 proper add X1 X2 add proper X1 proper X2 proper 0 ok 0 proper s X s proper X proper first X1 X2 first proper X1 proper X2 proper nil ok nil proper cons X1 X2 cons proper X1 proper X2 proper from X from proper X and ok X1 ok X2 ok and X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add ok X1 ok X2 ok add X1 X2 s ok X ok s X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X top mark X top proper X top ok X top active X 2.2 proper cons X1 X2 proper X1 add mark X1 X2 add X1 X2 proper from X from proper X top ok X active X proper s X s proper X proper first X1 X2 proper X2 proper first X1 X2 proper X1 active and X1 X2 active X1 proper s X proper X first mark X1 X2 first X1 X2 cons ok X1 ok X2 cons X1 X2 add ok X1 ok X2 add X1 X2 top mark X top proper X proper first X1 X2 first proper X1 proper X2 active first s X cons Y Z first X Z active from X from s X active add s X Y add X Y active first X1 X2 active X1 active add X1 X2 add active X1 X2 proper if X1 X2 X3 proper X3 first X1 mark X2 first X1 X2 active from X cons X from s X proper and X1 X2 and proper X1 proper X2 active from X s X proper from X proper X and mark X1 X2 and X1 X2 if mark X1 X2 X3 if X1 X2 X3 active add X1 X2 active X1 proper if X1 X2 X3 if proper X1 proper X2 proper X3 top mark X proper X s ok X s X active first X1 X2 first active X1 X2 proper and X1 X2 proper X2 from ok X from X if ok X1 ok X2 ok X3 if X1 X2 X3 active first X1 X2 active X2 proper if X1 X2 X3 proper X2 top ok X top active X active first X1 X2 first X1 active X2 proper add X1 X2 add proper X1 proper X2 proper and X1 X2 proper X1 proper add X1 X2 proper X2 and ok X1 ok X2 and X1 X2 active and X1 X2 and active X1 X2 proper if X1 X2 X3 proper X1 active if X1 X2 X3 active X1 proper cons X1 X2 proper X2 proper cons X1 X2 cons proper X1 proper X2 active add s X Y s add X Y active if X1 X2 X3 if active X1 X2 X3 first ok X1 ok X2 first X1 X2 active first s X cons Y Z cons Y first X Z proper add X1 X2 proper X1 true top mark X top proper X top ok X top active X true cons 2 0 s 1 1 top 1 0 and 2 1 2 17067 false 0 32018 top 1 1 0 true 0 1 proper 1 1 0 ok 1 1 0 if 3 1 2 3 41054 0 0 7177 from 1 1 25836 s 1 0 first 2 0 nil 0 14611 mark 1 1 1 first 2 1 2 7435 proper 1 0 from 1 0 active 1 1 0 cons 2 1 25835 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 top ok X top active X first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 proper true ok true cons ok X1 ok X2 ok cons X1 X2 proper s X s proper X first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 proper first X1 X2 first proper X1 proper X2 s ok X ok s X proper false ok false proper nil ok nil active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active and X1 X2 and active X1 X2 active first 0 X mark nil proper and X1 X2 and proper X1 proper X2 proper 0 ok 0 proper from X from proper X active first X1 X2 first X1 active X2 and ok X1 ok X2 ok and X1 X2 active add X1 X2 add active X1 X2 proper if X1 X2 X3 if proper X1 proper X2 proper X3 proper add X1 X2 add proper X1 proper X2 active if X1 X2 X3 if active X1 X2 X3 active from X mark cons X from s X active first X1 X2 first active X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 proper cons X1 X2 cons proper X1 proper X2 active and false Y mark false top ok X top active X true cons 2 0 s 1 1 1 top 1 0 and 2 2 240 false 0 1 top 1 1 0 true 0 1 proper 1 1 4188 ok 1 1 4188 if 3 1 18825 0 0 40512 from 1 1 29007 s 1 0 first 2 0 nil 0 10336 mark 1 1 first 2 2 1 proper 1 0 from 1 0 active 1 1 1 cons 2 2 41927 if 3 0 active 1 0 add 2 0 add 2 2 1 and 2 0 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 proper true ok true cons ok X1 ok X2 ok cons X1 X2 proper s X s proper X first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 proper first X1 X2 first proper X1 proper X2 s ok X ok s X proper false ok false proper nil ok nil active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active and X1 X2 and active X1 X2 active first 0 X mark nil proper and X1 X2 and proper X1 proper X2 proper 0 ok 0 proper from X from proper X active first X1 X2 first X1 active X2 and ok X1 ok X2 ok and X1 X2 active add X1 X2 add active X1 X2 proper if X1 X2 X3 if proper X1 proper X2 proper X3 proper add X1 X2 add proper X1 proper X2 active if X1 X2 X3 if active X1 X2 X3 active from X mark cons X from s X active first X1 X2 first active X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 proper cons X1 X2 cons proper X1 proper X2 active and false Y mark false top mark X proper X false top ok X active X false active add X1 X2 active X1 active if X1 X2 X3 active X1 active first X1 X2 active X1 active first X1 X2 active X2 active and X1 X2 active X1 true cons 2 0 s 1 1 0 top 1 0 and 2 1 1 false 0 59342 top 1 0 true 0 1 proper 1 0 ok 1 0 if 3 1 1 0 0 13466 from 1 1 s 1 0 first 2 0 nil 0 1 mark 1 22072 first 2 1 2 0 proper 1 0 from 1 0 active 1 1 22071 cons 2 1 if 3 0 active 1 1 0 add 2 0 add 2 1 1 and 2 0 active first X1 X2 active X2 active first X1 X2 active X1 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 proper true ok true cons ok X1 ok X2 ok cons X1 X2 first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X proper false ok false proper nil ok nil active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active and X1 X2 and active X1 X2 active first 0 X mark nil proper 0 ok 0 active first X1 X2 first X1 active X2 and ok X1 ok X2 ok and X1 X2 active add X1 X2 add active X1 X2 active if X1 X2 X3 if active X1 X2 X3 active from X mark cons X from s X active first X1 X2 first active X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 active and false Y mark false active first X1 X2 active X2 active first X1 X2 active X1 true cons 2 0 s 1 1 0 top 1 0 and 2 12745 false 0 1 top 1 0 true 0 1 proper 1 0 ok 1 0 if 3 1 0 0 1 from 1 1 s 1 0 first 2 0 nil 0 1 mark 1 1 first 2 1 2 1 proper 1 0 from 1 0 active 1 12744 cons 2 16892 if 3 0 active 1 1 0 add 2 0 add 2 12745 and 2 0 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 proper true ok true cons ok X1 ok X2 ok cons X1 X2 first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X proper false ok false proper nil ok nil active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil proper 0 ok 0 and ok X1 ok X2 ok and X1 X2 active from X mark cons X from s X active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 active and false Y mark false active add s X Y s add X Y false active add s X Y add X Y false active first X1 X2 first active X1 X2 false active from X cons X from s X false active from X from s X false active from X s X false active if X1 X2 X3 if active X1 X2 X3 false active add X1 X2 add active X1 X2 false active first X1 X2 first X1 active X2 false active and X1 X2 and active X1 X2 false active first s X cons Y Z cons Y first X Z false active first s X cons Y Z first X Z false proper add X1 X2 proper X1 proper from X proper X proper if X1 X2 X3 proper X3 proper cons X1 X2 proper X2 proper if X1 X2 X3 proper X1 proper and X1 X2 proper X1 proper add X1 X2 proper X2 proper if X1 X2 X3 proper X2 proper s X proper X proper and X1 X2 proper X2 proper first X1 X2 proper X1 proper first X1 X2 proper X2 proper cons X1 X2 proper X1 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 0 if 3 1 2 3 1 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 0 mark 1 1 9836 first 2 1 2 1 proper 1 1 0 from 1 0 active 1 1 31093 cons 2 1 2 21256 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 proper true ok true cons ok X1 ok X2 ok cons X1 X2 first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X proper nil ok nil active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil proper 0 ok 0 and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 active and false Y mark false proper cons X1 X2 cons proper X1 proper X2 false cons ok X1 ok X2 cons X1 X2 true cons 2 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 15538 s 1 0 first 2 0 nil 0 0 mark 1 1 0 first 2 1 1 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 active and false Y mark false proper add X1 X2 add proper X1 proper X2 false add ok X1 ok X2 add X1 X2 add mark X1 X2 add X1 X2 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 22142 s 1 0 first 2 0 nil 0 0 mark 1 1 0 first 2 1 1 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 1 if 3 0 active 1 0 add 2 2 0 add 2 1 2 1 and 2 0 add mark X1 X2 add X1 X2 first mark X1 X2 mark first X1 X2 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 first X1 mark X2 mark first X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X first ok X1 ok X2 ok first X1 X2 active and false Y mark false add mark X1 X2 add X1 X2 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 22142 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 1 proper 1 0 from 1 0 active 1 1 3 cons 2 1 2 1 if 3 0 active 1 0 add 2 1 0 add 2 1 2 1 and 2 0 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false proper from X from proper X false from ok X from X true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 22142 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 1 proper 1 0 from 1 1 0 active 1 1 3 cons 2 1 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false proper and X1 X2 and proper X1 proper X2 false and mark X1 X2 and X1 X2 and ok X1 ok X2 and X1 X2 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 30478 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 1 proper 1 0 from 1 0 active 1 1 3 cons 2 1 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 1 0 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false proper first X1 X2 first proper X1 proper X2 false first ok X1 ok X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 0 ok 1 1 1 if 3 1 2 3 1 0 0 0 from 1 1 30478 s 1 0 first 2 1 2 0 nil 0 0 mark 1 1 1 first 2 1 1 proper 1 0 from 1 0 active 1 1 3 cons 2 1 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 active if false X Y mark Y and mark X1 X2 mark and X1 X2 active and true X mark X active if true X Y mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false proper s X s proper X false s ok X s X true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 1 ok 1 1 2 if 3 1 1 0 0 1 from 1 1 1 s 1 1 0 first 2 0 nil 0 1 mark 1 1 1 first 2 1 1 proper 1 0 from 1 0 active 1 1 3 cons 2 1 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 and mark X1 X2 mark and X1 X2 active and true X mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false proper if X1 X2 X3 if proper X1 proper X2 proper X3 false if mark X1 X2 X3 if X1 X2 X3 if ok X1 ok X2 ok X3 if X1 X2 X3 true cons 2 0 s 1 1 1 top 1 0 and 2 1 2 1 false 0 1 top 1 0 true 0 0 proper 1 1 ok 1 1 2 if 3 1 1 0 0 1 from 1 1 1 s 1 0 first 2 0 nil 0 1 mark 1 1 1 first 2 1 1 proper 1 0 from 1 0 active 1 1 3 cons 2 1 2 1 if 3 2 0 active 1 0 add 2 0 add 2 1 2 1 and 2 0 if mark X1 X2 X3 if X1 X2 X3 and mark X1 X2 mark and X1 X2 active and true X mark X if mark X1 X2 X3 mark if X1 X2 X3 cons ok X1 ok X2 ok cons X1 X2 if ok X1 ok X2 ok X3 ok if X1 X2 X3 add mark X1 X2 mark add X1 X2 s ok X ok s X active add 0 X mark X add ok X1 ok X2 ok add X1 X2 active first 0 X mark nil and ok X1 ok X2 ok and X1 X2 active add s X Y mark s add X Y from ok X ok from X active and false Y mark false if mark X1 X2 X3 if X1 X2 X3 true cons 2 0 s 1 1 23720 top 1 0 and 2 2 false 0 1 top 1 0 true 0 1 proper 1 1 ok 1 3 if 3 1 2 3 1 0 0 1 from 1 2 s 1 0 first 2 0 nil 0 39802 mark 1 1 27542 first 2 2 proper 1 0 from 1 0 active 1 1 cons 2 2 if 3 1 0 active 1 0 add 2 0 add 2 2 and 2 0 NaTT certifiable-1.6