/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES U11 tt N XS U12 tt activate N activate XS U12 tt N XS snd splitAt activate N activate XS U21 tt X U22 tt activate X U22 tt X activate X U31 tt N U32 tt activate N U32 tt N activate N U41 tt N XS U42 tt activate N activate XS U42 tt N XS head afterNth activate N activate XS U51 tt Y U52 tt activate Y U52 tt Y activate Y U61 tt N X XS U62 tt activate N activate X activate XS U62 tt N X XS U63 tt activate N activate X activate XS U63 tt N X XS U64 splitAt activate N activate XS activate X U64 pair YS ZS X pair cons activate X YS ZS U71 tt XS U72 tt activate XS U72 tt XS activate XS U81 tt N XS U82 tt activate N activate XS U82 tt N XS fst splitAt activate N activate XS afterNth N XS U11 tt N XS fst pair X Y U21 tt X head cons N XS U31 tt N natsFrom N cons N n__natsFrom n__s N sel N XS U41 tt N XS snd pair X Y U51 tt Y splitAt 0 XS pair nil XS splitAt s N cons X XS U61 tt N X activate XS tail cons N XS U71 tt activate XS take N XS U81 tt N XS natsFrom X n__natsFrom X s X n__s X activate n__natsFrom X natsFrom activate X activate n__s X s activate X activate X X 2.2 U12 tt N XS splitAt activate N activate XS splitAt s N cons X XS activate XS U41 tt N XS activate XS tail cons N XS activate XS U21 tt X U22 tt activate X splitAt s N cons X XS U61 tt N X activate XS afterNth N XS U11 tt N XS U81 tt N XS activate N U21 tt X activate X U42 tt N XS activate N U11 tt N XS U12 tt activate N activate XS U82 tt N XS fst splitAt activate N activate XS U82 tt N XS activate XS U81 tt N XS activate XS U63 tt N X XS U64 splitAt activate N activate XS activate X U82 tt N XS splitAt activate N activate XS U71 tt XS U72 tt activate XS activate n__s X activate X U42 tt N XS head afterNth activate N activate XS U61 tt N X XS U62 tt activate N activate X activate XS U63 tt N X XS activate XS U51 tt Y U52 tt activate Y U22 tt X activate X activate n__natsFrom X activate X activate n__natsFrom X natsFrom activate X U72 tt XS activate XS U51 tt Y activate Y U31 tt N U32 tt activate N U71 tt XS activate XS U61 tt N X XS activate N U52 tt Y activate Y U42 tt N XS afterNth activate N activate XS U11 tt N XS activate N U64 pair YS ZS X activate X U62 tt N X XS activate N U63 tt N X XS splitAt activate N activate XS activate n__s X s activate X U63 tt N X XS activate X take N XS U81 tt N XS U32 tt N activate N head cons N XS U31 tt N U41 tt N XS activate N U62 tt N X XS activate XS tail cons N XS U71 tt activate XS U41 tt N XS U42 tt activate N activate XS U82 tt N XS activate N snd pair X Y U51 tt Y U31 tt N activate N U62 tt N X XS U63 tt activate N activate X activate XS fst pair X Y U21 tt X U81 tt N XS U82 tt activate N activate XS U62 tt N X XS activate X U61 tt N X XS activate XS U12 tt N XS activate N U12 tt N XS snd splitAt activate N activate XS U42 tt N XS activate XS U63 tt N X XS activate N U61 tt N X XS activate X U12 tt N XS activate XS U11 tt N XS activate XS sel N XS U41 tt N XS true sel N XS U41 tt N XS false U41 tt N XS U42 tt activate N activate XS false U42 tt N XS head afterNth activate N activate XS false U42 tt N XS afterNth activate N activate XS false U42 tt N XS activate XS false tail cons N XS U71 tt activate XS false U71 tt XS U72 tt activate XS false U72 tt XS activate XS false U71 tt XS activate XS false U42 tt N XS activate N false U41 tt N XS activate N false head cons N XS U31 tt N false U31 tt N U32 tt activate N false U31 tt N activate N false U32 tt N activate N false take N XS U81 tt N XS false U81 tt N XS U82 tt activate N activate XS false U82 tt N XS fst splitAt activate N activate XS false fst pair X Y U21 tt X false U21 tt X activate X false U82 tt N XS splitAt activate N activate XS false U82 tt N XS activate N false U82 tt N XS activate XS false U81 tt N XS activate N false U81 tt N XS activate XS false afterNth N XS U11 tt N XS false U11 tt N XS U12 tt activate N activate XS false U12 tt N XS snd splitAt activate N activate XS false snd pair X Y U51 tt Y false U51 tt Y U52 tt activate Y false U52 tt Y activate Y false U51 tt Y activate Y false U12 tt N XS activate N false U12 tt N XS activate XS false U11 tt N XS activate N false U11 tt N XS activate XS false U21 tt X U22 tt activate X false U22 tt X activate X false tail cons N XS activate XS false U41 tt N XS activate XS false U12 tt N XS splitAt activate N activate XS false U61 tt N X XS U62 tt activate N activate X activate XS U62 tt N X XS U63 tt activate N activate X activate XS splitAt s N cons X XS U61 tt N X activate XS U63 tt N X XS splitAt activate N activate XS true U72 2 0 U32 2 0 U21 2 0 U11 3 0 U64 2 0 s 1 1 23618 take 2 0 U42 3 0 activate 1 1 1 U82 3 0 take 2 0 U71 2 0 U81 3 0 pair 2 0 fst 1 0 activate 1 0 natsFrom 1 1 head 1 0 U63 4 0 splitAt 2 0 U72 2 0 fst 1 0 U52 2 0 U12 3 0 n__natsFrom 1 1 n__s 1 1 23618 U42 3 0 U12 3 0 tail 1 0 U62 4 1 2 14 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 U62 4 0 tail 1 0 U63 4 1 2 12 splitAt 2 1 13 afterNth 2 0 U32 2 0 U52 2 0 U61 4 0 U51 2 0 U11 3 0 U64 2 0 U31 2 0 head 1 0 snd 1 0 U41 3 0 cons 2 1 natsFrom 1 0 snd 1 0 U21 2 0 U81 3 0 U82 3 0 U22 2 0 tt 0 3 U71 2 0 U22 2 0 U51 2 0 U41 3 0 U31 2 0 U61 4 1 2 16 activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N activate X X s X n__s X activate n__natsFrom X natsFrom activate X natsFrom X n__natsFrom X U63 tt N X XS U64 splitAt activate N activate XS activate X false U64 pair YS ZS X activate X false U63 tt N X XS activate N false U63 tt N X XS activate XS false U63 tt N X XS activate X false U62 tt N X XS activate X false U62 tt N X XS activate XS false U61 tt N X XS activate N false U61 tt N X XS activate X false U61 tt N X XS activate XS false splitAt s N cons X XS activate XS false U62 tt N X XS activate N false activate n__natsFrom X activate X activate n__s X activate X true U72 2 0 U32 2 0 U21 2 0 U11 3 0 U64 2 0 s 1 1 0 take 2 0 U42 3 0 activate 1 1 0 U82 3 0 take 2 0 U71 2 0 U81 3 0 pair 2 0 fst 1 0 activate 1 1 0 natsFrom 1 1 1 head 1 0 U63 4 0 splitAt 2 0 U72 2 0 fst 1 0 U52 2 0 U12 3 0 n__natsFrom 1 1 1 n__s 1 1 0 U42 3 0 U12 3 0 tail 1 0 U62 4 2 14 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 U62 4 0 tail 1 0 U63 4 2 12 splitAt 2 1 13 afterNth 2 0 U32 2 0 U52 2 0 U61 4 0 U51 2 0 U11 3 0 U64 2 0 U31 2 0 head 1 0 snd 1 0 U41 3 0 cons 2 1 natsFrom 1 0 snd 1 0 U21 2 0 U81 3 0 U82 3 0 U22 2 0 tt 0 3 U71 2 0 U22 2 0 U51 2 0 U41 3 0 U31 2 0 U61 4 16 activate n__s X activate X activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N activate X X s X n__s X activate n__natsFrom X natsFrom activate X natsFrom X n__natsFrom X activate n__s X activate X true U72 2 0 U32 2 0 U21 2 0 U11 3 0 U64 2 0 s 1 1 17888 take 2 0 U42 3 0 activate 1 1 0 U82 3 0 take 2 0 U71 2 0 U81 3 0 pair 2 0 fst 1 0 activate 1 1 0 natsFrom 1 1 1 head 1 0 U63 4 0 splitAt 2 0 U72 2 0 fst 1 0 U52 2 0 U12 3 0 n__natsFrom 1 1 1 n__s 1 1 17888 U42 3 0 U12 3 0 tail 1 0 U62 4 2 14 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 U62 4 0 tail 1 0 U63 4 2 12 splitAt 2 1 13 afterNth 2 0 U32 2 0 U52 2 0 U61 4 0 U51 2 0 U11 3 0 U64 2 0 U31 2 0 head 1 0 snd 1 0 U41 3 0 cons 2 1 natsFrom 1 0 snd 1 0 U21 2 0 U81 3 0 U82 3 0 U22 2 0 tt 0 3 U71 2 0 U22 2 0 U51 2 0 U41 3 0 U31 2 0 U61 4 16 activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N activate X X s X n__s X activate n__natsFrom X natsFrom activate X natsFrom X n__natsFrom X activate n__natsFrom X natsFrom activate X false activate n__s X s activate X false NaTT certifiable-1.6