/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES natsFrom N cons N n__natsFrom n__s N fst pair XS YS XS snd pair XS YS YS splitAt 0 XS pair nil XS splitAt s N cons X XS u splitAt N activate XS N X activate XS u pair YS ZS N X XS pair cons activate X YS ZS head cons N XS N tail cons N XS activate XS sel N XS head afterNth N XS take N XS fst splitAt N XS afterNth N XS snd splitAt 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 sel N XS head afterNth N XS activate n__natsFrom X natsFrom activate X splitAt s N cons X XS activate XS take N XS splitAt N XS splitAt s N cons X XS splitAt N activate XS splitAt s N cons X XS activate XS tail cons N XS activate XS activate n__natsFrom X activate X splitAt s N cons X XS u splitAt N activate XS N X activate XS afterNth N XS splitAt N XS activate n__s X activate X sel N XS afterNth N XS u pair YS ZS N X XS activate X take N XS fst splitAt N XS activate n__s X s activate X afterNth N XS snd splitAt N XS true tail cons N XS activate XS false take N XS fst splitAt N XS false sel N XS afterNth N XS false afterNth N XS snd splitAt N XS false take N XS splitAt N XS false afterNth N XS splitAt N XS false splitAt s N cons X XS splitAt N activate XS true s 1 1 1 take 2 0 u 4 0 activate 1 1 10803 take 2 0 u 4 0 pair 2 0 fst 1 0 activate 1 0 natsFrom 1 31456 head 1 0 splitAt 2 0 fst 1 0 n__natsFrom 1 20653 n__s 1 1 1 tail 1 0 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 tail 1 0 splitAt 2 1 2 0 afterNth 2 0 head 1 0 snd 1 0 cons 2 2 10803 natsFrom 1 0 snd 1 0 activate n__s X s activate X natsFrom N cons N n__natsFrom n__s N activate X X activate n__natsFrom X natsFrom activate X natsFrom X n__natsFrom X s X n__s X splitAt s N cons X XS activate XS false splitAt s N cons X XS activate XS false splitAt s N cons X XS u splitAt N activate XS N X activate XS false u pair YS ZS N X XS activate X false activate n__s X activate X activate n__natsFrom X activate X true s 1 1 0 take 2 0 u 4 0 activate 1 1 10803 take 2 0 u 4 0 pair 2 0 fst 1 0 activate 1 1 0 natsFrom 1 10804 head 1 0 splitAt 2 0 fst 1 0 n__natsFrom 1 1 1 n__s 1 1 0 tail 1 0 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 tail 1 0 splitAt 2 0 afterNth 2 0 head 1 0 snd 1 0 cons 2 10803 natsFrom 1 0 snd 1 0 activate n__s X activate X natsFrom N cons N n__natsFrom n__s N activate X X s X n__s X activate n__s X activate X true s 1 1 1 take 2 0 u 4 0 activate 1 1 10803 take 2 0 u 4 0 pair 2 0 fst 1 0 activate 1 1 0 natsFrom 1 10804 head 1 0 splitAt 2 0 fst 1 0 n__natsFrom 1 1 1 n__s 1 1 1 tail 1 0 0 0 0 sel 2 0 sel 2 0 s 1 0 afterNth 2 0 nil 0 0 tail 1 0 splitAt 2 0 afterNth 2 0 head 1 0 snd 1 0 cons 2 10804 natsFrom 1 0 snd 1 0 natsFrom N cons N n__natsFrom n__s N activate X X s X n__s X activate n__natsFrom X natsFrom activate X false activate n__s X s activate X false sel N XS head afterNth N XS false NaTT certifiable-1.6