/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES and true X activate X and false Y false if true X Y activate X if false X Y activate Y add 0 X activate X add s X Y s n__add activate X activate Y first 0 X nil first s X cons Y Z cons activate Y n__first activate X activate Z from X cons activate X n__from n__s activate X add X1 X2 n__add X1 X2 first X1 X2 n__first X1 X2 from X n__from X s X n__s X activate n__add X1 X2 add activate X1 X2 activate n__first X1 X2 first activate X1 activate X2 activate n__from X from X activate n__s X s X activate X X 2.2 add s X Y activate X activate n__add X1 X2 add activate X1 X2 first s X cons Y Z activate Y activate n__s X s X if true X Y activate X and true X activate X first s X cons Y Z activate X activate n__add X1 X2 activate X1 activate n__from X from X from X activate X activate n__first X1 X2 activate X1 if false X Y activate Y activate n__first X1 X2 first activate X1 activate X2 add s X Y activate Y add s X Y s n__add activate X activate Y add 0 X activate X first s X cons Y Z activate Z from X activate X activate n__first X1 X2 activate X2 true and true X activate X false if true X Y activate X false if false X Y activate Y false activate n__first X1 X2 activate X2 from X activate X first s X cons Y Z activate X first s X cons Y Z activate Z add 0 X activate X add s X Y activate Y activate n__first X1 X2 first activate X1 activate X2 first s X cons Y Z activate Y activate n__first X1 X2 activate X1 activate n__add X1 X2 add activate X1 X2 from X activate X activate n__from X from X activate n__add X1 X2 activate X1 add s X Y activate X true s 1 1 0 n__first 2 1 10452 2 10453 0 activate 1 1 0 and 2 0 n__from 1 1 10454 activate 1 1 1142 false 0 0 n__add 2 1 75976 2 67610 0 true 0 0 n__s 1 1 0 if 3 0 0 0 0 from 1 1 10454 s 1 0 first 2 1 1143 2 1143 0 nil 0 10453 first 2 1 10452 2 10453 0 from 1 1 1143 cons 2 1 10454 2 0 0 if 3 0 add 2 1 36466 2 68751 0 add 2 1 75976 2 67610 0 and 2 0 activate X X activate n__first X1 X2 first activate X1 activate X2 first s X cons Y Z cons activate Y n__first activate X activate Z activate n__from X from X activate n__s X s X add 0 X activate X add X1 X2 n__add X1 X2 first 0 X nil activate n__add X1 X2 add activate X1 X2 from X n__from X first X1 X2 n__first X1 X2 from X cons activate X n__from n__s activate X s X n__s X add s X Y s n__add activate X activate Y add s X Y s n__add activate X activate Y false activate n__s X s X false NaTT certifiable-1.6