/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 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 activate n__natsFrom X natsFrom X activate X X 2.2 U12 tt N XS splitAt activate N activate XS U21 tt X U22 tt activate X U52 tt Y activate Y U81 tt N XS U82 tt activate N activate XS U11 tt N XS activate N U72 tt XS activate XS head cons N XS U31 tt N U81 tt N XS activate XS U11 tt N XS activate XS U71 tt XS activate XS U42 tt N XS head afterNth activate N activate XS U82 tt N XS activate XS afterNth N XS U11 tt N XS U63 tt N X XS U64 splitAt activate N activate XS activate X U82 tt N XS fst splitAt activate N activate XS splitAt s N cons X XS activate XS U42 tt N XS 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 U82 tt N XS activate N activate n__natsFrom X natsFrom X U64 pair YS ZS X activate X U11 tt N XS U12 tt activate N activate XS U51 tt Y activate Y U31 tt N activate N U82 tt N XS splitAt activate N activate XS U61 tt N X XS activate N U31 tt N U32 tt activate N U71 tt XS U72 tt activate XS U42 tt N XS afterNth activate N activate XS fst pair X Y U21 tt X U62 tt N X XS activate N U63 tt N X XS splitAt activate N activate XS splitAt s N cons X XS U61 tt N X activate XS U63 tt N X XS activate X tail cons N XS U71 tt activate XS U32 tt N activate N U21 tt X activate X U41 tt N XS activate XS U62 tt N X XS activate XS tail cons N XS activate XS U41 tt N XS activate N snd pair X Y U51 tt Y take N XS U81 tt N XS U62 tt N X XS U63 tt activate N activate X activate XS U41 tt N XS U42 tt activate N activate XS U81 tt N XS activate N 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 U22 tt X activate X U63 tt N X XS activate N U61 tt N X XS activate X U12 tt N XS activate XS U42 tt N XS activate N 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 afterNth activate N activate XS false U42 tt N XS activate N false U42 tt N XS activate XS false take N XS U81 tt N XS false U81 tt N XS activate N false U41 tt N XS activate N 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 U51 tt Y activate Y false U12 tt N XS activate N false U12 tt N XS activate XS false tail cons N XS activate XS false U42 tt N XS head afterNth activate N activate XS false U41 tt N XS activate XS false U11 tt N XS activate XS false U81 tt N XS activate XS false tail cons N XS U71 tt activate XS false U71 tt XS U72 tt activate XS false U71 tt XS activate XS false head cons N XS U31 tt N false U31 tt N U32 tt activate N false U32 tt N activate N false U31 tt N activate N false U72 tt XS activate XS false U11 tt N XS activate N 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 U52 tt Y activate Y false U21 tt X U22 tt activate X false U22 tt X activate X 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 10 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 35496 head 1 0 U63 4 0 splitAt 2 0 U72 2 0 fst 1 0 U52 2 0 U12 3 0 n__natsFrom 1 35495 U42 3 0 U12 3 0 tail 1 0 U62 4 1 2 4 3 0 0 0 sel 2 0 sel 2 0 afterNth 2 0 nil 0 0 U62 4 0 tail 1 0 U63 4 1 2 4 0 splitAt 2 1 2 5 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 2 1 natsFrom 1 0 snd 1 0 U21 2 0 U81 3 0 U82 3 0 U22 2 0 tt 0 8 U71 2 0 U22 2 0 U51 2 0 U41 3 0 U31 2 0 U61 4 1 2 4 6 natsFrom N cons N n__natsFrom s N activate n__natsFrom X natsFrom X activate X 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 natsFrom X false NaTT certifiable-1.6