/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES dbl 0 0 dbl s X s n__s n__dbl activate X dbls nil nil dbls cons X Y cons n__dbl activate X n__dbls activate Y sel 0 cons X Y activate X sel s X cons Y Z sel activate X activate Z indx nil X nil indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z from X cons activate X n__from n__s activate X dbl1 0 01 dbl1 s X s1 s1 dbl1 activate X sel1 0 cons X Y activate X sel1 s X cons Y Z sel1 activate X activate Z quote 0 01 quote s X s1 quote activate X quote dbl X dbl1 X quote sel X Y sel1 X Y s X n__s X dbl X n__dbl X dbls X n__dbls X sel X1 X2 n__sel X1 X2 indx X1 X2 n__indx X1 X2 from X n__from X activate n__s X s X activate n__dbl X dbl activate X activate n__dbls X dbls activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__indx X1 X2 indx activate X1 X2 activate n__from X from X activate X X 2.2 dbl s X activate X indx cons X Y Z activate Z dbls cons X Y activate Y sel s X cons Y Z activate Z dbl1 s X activate X sel1 s X cons Y Z activate Z from X activate X quote sel X Y sel1 X Y activate n__sel X1 X2 activate X2 dbl1 s X dbl1 activate X indx cons X Y Z activate Z activate n__s X s X indx cons X Y Z activate Y activate n__dbls X dbls activate X activate n__indx X1 X2 activate X1 sel1 s X cons Y Z sel1 activate X activate Z from X activate X quote s X activate X sel s X cons Y Z activate X indx cons X Y Z activate X activate n__sel X1 X2 activate X1 dbls cons X Y activate X quote dbl X dbl1 X activate n__dbl X activate X quote s X quote activate X activate n__indx X1 X2 indx activate X1 X2 activate n__dbls X activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__dbl X dbl activate X activate n__from X from X dbl s X s n__s n__dbl activate X sel1 s X cons Y Z activate X sel1 0 cons X Y activate X sel s X cons Y Z sel activate X activate Z sel 0 cons X Y activate X true quote s X quote activate X true dbl1 1 1 activate 1 1 dbls 1 1 sel1 2 2 01 0 0 s 1 2 1 dbls 1 1 1 dbl 1 3 1 indx 2 1 2 n__indx 2 1 2 n__from 1 0 dbl 1 0 activate 1 0 n__dbls 1 1 1 n__s 1 2 1 n__dbl 1 3 1 0 0 0 sel 2 0 indx 2 0 2 1 sel 2 0 from 1 0 s 1 0 nil 0 1 dbl1 1 0 sel1 2 0 n__sel 2 0 from 1 0 quote 1 0 cons 2 0 quote 1 0 1 s1 1 0 01 0 0 s 1 1 0 dbls 1 1 0 dbl 1 1 0 indx 2 2 4 n__indx 2 2 4 n__from 1 1 284 dbl 1 1 activate 1 1 n__dbls 1 1 0 n__s 1 1 0 n__dbl 1 1 0 0 0 1 sel 2 1 indx 2 1 2 1 sel 2 2 1 from 1 1 284 s 1 1 nil 0 4 dbl1 1 1 sel1 2 1 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 2 2 0 0 quote 1 1 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls activate X dbl X n__dbl X activate n__sel X1 X2 sel activate X1 activate X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx activate X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl activate X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X quote sel X Y sel1 X Y false quote dbl X dbl1 X false dbl1 s X dbl1 activate X true dbl1 1 1 activate 1 1 dbls 1 1 sel1 2 2 01 0 0 s 1 3 1 dbls 1 2 1 dbl 1 4 1 indx 2 3 n__indx 2 3 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 2 1 n__s 1 3 1 n__dbl 1 4 1 0 0 1 sel 2 0 indx 2 0 2 1 sel 2 0 from 1 1 s 1 0 nil 0 2 dbl1 1 0 sel1 2 0 n__sel 2 0 from 1 0 quote 1 0 cons 2 0 1 quote 1 0 1 s1 1 0 01 0 0 s 1 1 0 dbls 1 1 0 dbl 1 1 0 indx 2 2 4 n__indx 2 2 4 n__from 1 1 3 dbl 1 1 activate 1 1 n__dbls 1 1 0 n__s 1 1 0 n__dbl 1 1 0 0 0 1 sel 2 1 indx 2 1 2 1 sel 2 2 1 from 1 1 3 s 1 1 nil 0 3 dbl1 1 1 sel1 2 1 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 2 2 0 0 quote 1 1 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls activate X dbl X n__dbl X activate n__sel X1 X2 sel activate X1 activate X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx activate X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl activate X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X dbl1 s X activate X false quote s X activate X false sel1 s X cons Y Z sel1 activate X activate Z true activate 1 1 dbls 1 1 sel1 2 1 sel1 2 2 dbl1 1 0 01 0 0 s 1 3 1 dbls 1 2 dbl 1 4 1 indx 2 2 n__indx 2 2 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 2 n__s 1 3 1 n__dbl 1 4 1 0 0 1 sel 2 0 indx 2 0 2 1 sel 2 0 from 1 1 s 1 0 nil 0 2 dbl1 1 0 n__sel 2 0 from 1 0 quote 1 0 cons 2 0 quote 1 0 s1 1 0 dbl1 1 0 01 0 0 s 1 1 0 dbls 1 1 0 dbl 1 1 0 indx 2 2 31603 n__indx 2 2 31603 n__from 1 1 4 dbl 1 1 activate 1 1 n__dbls 1 1 0 n__s 1 1 0 n__dbl 1 1 0 0 0 1 sel 2 1 indx 2 1 2 1 sel 2 2 1 from 1 1 4 s 1 1 nil 0 20585 dbl1 1 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 3 2 0 0 quote 1 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls activate X dbl X n__dbl X activate n__sel X1 X2 sel activate X1 activate X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx activate X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl activate X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X sel1 s X cons Y Z activate X false sel1 s X cons Y Z activate Z false sel1 0 cons X Y activate X false sel 0 cons X Y activate X activate n__dbls X dbls activate X sel s X cons Y Z sel activate X activate Z indx cons X Y Z activate Y indx cons X Y Z activate Z activate n__sel X1 X2 activate X2 activate n__from X from X activate n__dbl X dbl activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__dbls X activate X from X activate X activate n__indx X1 X2 indx activate X1 X2 activate n__dbl X activate X sel s X cons Y Z activate Z dbls cons X Y activate X activate n__sel X1 X2 activate X1 indx cons X Y Z activate X sel s X cons Y Z activate X from X activate X dbls cons X Y activate Y indx cons X Y Z activate Z dbl s X activate X activate n__indx X1 X2 activate X1 true dbl1 1 0 01 0 0 s 1 1 0 dbls 1 1 2 activate 1 1 0 dbl 1 1 2 indx 2 1 67291 2 67293 0 n__indx 2 1 67291 2 67293 0 n__from 1 1 31893 dbl 1 1 10424 activate 1 1 10423 dbls 1 1 10424 n__dbls 1 1 2 n__s 1 1 0 n__dbl 1 1 2 0 0 1 sel 2 1 10425 2 10424 0 indx 2 1 18458 2 77715 0 sel 2 1 45634 2 20979 0 from 1 1 31893 s 1 0 nil 0 67294 dbl1 1 0 sel1 2 0 n__sel 2 1 45634 2 20979 0 from 1 1 10424 quote 1 0 cons 2 1 21657 2 0 0 quote 1 0 sel1 2 0 s1 1 0 sel s X cons Y Z sel activate X activate Z s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls activate X dbl X n__dbl X activate n__sel X1 X2 sel activate X1 activate X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx activate X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl activate X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X sel s X cons Y Z sel activate X activate Z true activate 1 1 dbls 1 1 sel 2 1 sel1 2 1 sel1 2 2 dbl1 1 0 01 0 0 s 1 3 1 dbls 1 2 dbl 1 4 1 indx 2 2 n__indx 2 2 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 2 n__s 1 3 1 n__dbl 1 4 1 0 0 1 indx 2 0 2 1 sel 2 0 from 1 1 s 1 0 nil 0 2 dbl1 1 0 n__sel 2 0 from 1 0 quote 1 0 cons 2 0 quote 1 0 s1 1 0 dbl1 1 0 01 0 0 s 1 1 0 dbls 1 1 0 dbl 1 1 0 indx 2 2 31603 n__indx 2 2 31603 n__from 1 1 491 dbl 1 1 activate 1 1 n__dbls 1 1 0 n__s 1 1 0 n__dbl 1 1 0 0 0 1 indx 2 1 2 1 sel 2 2 1 from 1 1 491 s 1 1 nil 0 7579 dbl1 1 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 490 2 0 0 quote 1 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls activate X dbl X n__dbl X activate n__sel X1 X2 sel activate X1 activate X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx activate X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl activate X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X dbl s X s n__s n__dbl activate X false activate n__s X s X false NaTT certifiable-1.6