/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES from X cons X n__from n__s X first 0 Z nil first s X cons Y Z cons Y n__first X activate Z sel 0 cons X Z X sel s X cons Y Z sel X activate Z from X n__from X s X n__s X first X1 X2 n__first X1 X2 activate n__from X from activate X activate n__s X s activate X activate n__first X1 X2 first activate X1 activate X2 activate X X 2.2 activate n__from X activate X activate n__s X s activate X sel s X cons Y Z activate Z activate n__s X activate X first s X cons Y Z activate Z activate n__first X1 X2 activate X2 activate n__first X1 X2 first activate X1 activate X2 activate n__from X from activate X sel s X cons Y Z sel X activate Z activate n__first X1 X2 activate X1 true sel s X cons Y Z sel X activate Z true s 1 1 1 n__first 2 2 activate 1 1 n__from 1 3 activate 1 0 n__s 1 1 2 0 0 0 sel 2 1 0 from 1 2 sel 2 0 s 1 0 first 2 0 nil 0 2 first 2 1 1 from 1 0 cons 2 1 3 sel s X cons Y Z activate Z false activate n__first X1 X2 activate X1 activate n__first X1 X2 first activate X1 activate X2 activate n__first X1 X2 activate X2 first s X cons Y Z activate Z activate n__s X activate X activate n__from X activate X true s 1 1 0 n__first 2 1 2 1144 activate 1 1 0 n__from 1 1 28101 activate 1 1 0 n__s 1 1 0 0 0 0 sel 2 0 from 1 1 28101 sel 2 0 s 1 0 first 2 2 1143 nil 0 0 first 2 1 2 1144 from 1 0 cons 2 2 0 activate n__s X activate X first X1 X2 n__first X1 X2 from X cons X n__from n__s X first s X cons Y Z cons Y n__first X activate Z activate n__s X s activate X s X n__s X activate X X activate n__first X1 X2 first activate X1 activate X2 activate n__from X from activate X from X n__from X first 0 Z nil activate n__s X activate X true s 1 1 8946 n__first 2 2 1144 activate 1 1 0 n__from 1 1 activate 1 1 0 n__s 1 1 8946 0 0 0 sel 2 0 from 1 1 sel 2 0 s 1 0 first 2 2 1143 nil 0 0 first 2 2 1144 from 1 0 cons 2 2 0 first X1 X2 n__first X1 X2 from X cons X n__from n__s X first s X cons Y Z cons Y n__first X activate Z activate n__s X s activate X s X n__s X activate X X activate n__first X1 X2 first activate X1 activate X2 activate n__from X from activate X from X n__from X first 0 Z nil activate n__from X from activate X false activate n__s X s activate X false NaTT certifiable-1.6