/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE sel s X cons Y Z sel X Z sel 0 cons X Z X first 0 Z nil first s X cons Y Z cons Y first X Z from X cons X from s X sel1 s X cons Y Z sel1 X Z sel1 0 cons X Z quote X first1 0 Z nil1 first1 s X cons Y Z cons1 quote Y first1 X Z quote 0 01 quote1 cons X Z cons1 quote X quote1 Z quote1 nil nil1 quote s X s1 quote X quote sel X Z sel1 X Z quote1 first X Z first1 X Z unquote 01 0 unquote s1 X s unquote X unquote1 nil1 nil unquote1 cons1 X Z fcons unquote X unquote1 Z fcons X Z cons X Z 2.2 quote s X quote X quote1 cons X Z quote1 Z unquote1 cons1 X Z unquote1 Z from X from s X unquote1 cons1 X Z fcons unquote X unquote1 Z unquote1 cons1 X Z unquote X sel s X cons Y Z sel X Z quote sel X Z sel1 X Z unquote s1 X unquote X quote1 cons X Z quote X first s X cons Y Z first X Z first1 s X cons Y Z quote Y sel1 s X cons Y Z sel1 X Z sel1 0 cons X Z quote X quote1 first X Z first1 X Z first1 s X cons Y Z first1 X Z true sel s X cons Y Z sel X Z true 01 0 0 s 1 1 unquote1 1 0 quote1 1 0 unquote1 1 0 fcons 2 0 first1 2 0 cons1 2 0 0 0 0 sel 2 2 0 sel 2 0 from 1 0 first 2 0 nil 0 0 sel1 2 0 quote1 1 0 nil1 0 0 first 2 0 first1 2 0 unquote 1 0 from 1 0 quote 1 0 cons 2 2 1 quote 1 0 sel1 2 0 s1 1 0 unquote 1 0 fcons 2 0 first s X cons Y Z first X Z true 01 0 0 s 1 1 unquote1 1 0 quote1 1 0 unquote1 1 0 fcons 2 0 first1 2 0 cons1 2 0 0 0 0 sel 2 0 sel 2 0 from 1 0 first 2 2 0 nil 0 0 sel1 2 0 quote1 1 0 nil1 0 0 first 2 0 first1 2 0 unquote 1 0 from 1 0 quote 1 0 cons 2 2 1 quote 1 0 sel1 2 0 s1 1 0 unquote 1 0 fcons 2 0 from X from s X true Failed! NaTT certifiable-1.6