/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE app' app' minus x 0 x app' app' minus app' s x app' s y app' app' minus x y app' app' minus app' app' minus x y z app' app' minus x app' app' plus y z app' app' quot 0 app' s y 0 app' app' quot app' s x app' s y app' s app' app' quot app' app' minus x y app' s y app' app' plus 0 y y app' app' plus app' s x y app' s app' app' plus x y app' app' app nil k k app' app' app l nil l app' app' app app' app' cons x l k app' app' cons x app' app' app l k app' sum app' app' cons x nil app' app' cons x nil app' sum app' app' cons x app' app' cons y l app' sum app' app' cons app' app' plus x y l app' sum app' app' app l app' app' cons x app' app' cons y k app' sum app' app' app l app' sum app' app' cons x app' app' cons y k app' app' map f nil nil app' app' map f app' app' cons x xs app' app' cons app' f x app' app' map f xs app' app' filter f nil nil app' app' filter f app' app' cons x xs app' app' app' app' filter2 app' f x f x xs app' app' app' app' filter2 true f x xs app' app' cons x app' app' filter f xs app' app' app' app' filter2 false f x xs app' app' filter f xs 2.2 app' app' minus app' s x app' s y app' minus x app' app' minus app' app' minus x y z app' app' minus x app' app' plus y z app' app' map f app' app' cons x xs app' app' map f xs app' app' app' app' filter2 true f x xs app' cons x app' app' app' app' filter2 true f x xs app' app' filter f xs app' sum app' app' cons x app' app' cons y l app' sum app' app' cons app' app' plus x y l app' app' plus app' s x y app' plus x app' sum app' app' cons x app' app' cons y l app' app' plus x y app' app' plus app' s x y app' s app' app' plus x y app' app' filter f app' app' cons x xs app' app' filter2 app' f x f app' app' filter f app' app' cons x xs app' app' app' filter2 app' f x f x app' app' plus app' s x y app' app' plus x y app' app' minus app' app' minus x y z app' plus y app' app' app app' app' cons x l k app' app' cons x app' app' app l k app' app' minus app' app' minus x y z app' app' plus y z app' app' filter f app' app' cons x xs app' filter2 app' f x app' app' quot app' s x app' s y app' app' minus x y app' sum app' app' cons x app' app' cons y l app' app' cons app' app' plus x y l app' app' app' app' filter2 true f x xs app' filter f app' sum app' app' cons x app' app' cons y l app' plus x app' app' map f app' app' cons x xs app' cons app' f x app' sum app' app' app l app' app' cons x app' app' cons y k app' sum app' app' cons x app' app' cons y k app' app' app' app' filter2 false f x xs app' filter f app' app' filter f app' app' cons x xs app' app' app' app' filter2 app' f x f x xs app' app' map f app' app' cons x xs app' f x app' app' app' app' filter2 false f x xs app' app' filter f xs app' app' quot app' s x app' s y app' s app' app' quot app' app' minus x y app' s y app' app' map f app' app' cons x xs app' app' cons app' f x app' app' map f xs app' app' quot app' s x app' s y app' quot app' app' minus x y app' app' filter f app' app' cons x xs app' f x app' app' app' app' filter2 true f x xs app' app' cons x app' app' filter f xs app' app' quot app' s x app' s y app' minus x app' app' app app' app' cons x l k app' app l app' sum app' app' app l app' app' cons x app' app' cons y k app' sum app' app' app l app' sum app' app' cons x app' app' cons y k app' app' minus app' s x app' s y app' app' minus x y app' sum app' app' cons x app' app' cons y l app' cons app' app' plus x y app' app' app app' app' cons x l k app' app' app l k app' sum app' app' app l app' app' cons x app' app' cons y k app' app' app l app' sum app' app' cons x app' app' cons y k app' app' quot app' s x app' s y app' app' quot app' app' minus x y app' s y true app' app' filter f app' app' cons x xs app' f x app' app' app' app' filter2 false f x xs app' app' filter f xs app' app' app' app' filter2 true f x xs app' app' filter f xs app' app' map f app' app' cons x xs app' f x app' app' filter f app' app' cons x xs app' app' app' app' filter2 app' f x f x xs app' app' map f app' app' cons x xs app' app' map f xs true s 0 1 minus 0 1324 app' 2 2 0 false 0 61167 true 0 13448 filter2 0 45293 sum 0 8094 0 0 49077 app' 2 1 2 13450 quot 0 33034 nil 0 26188 map 0 42193 plus 0 32457 cons 0 32456 filter 0 26286 app 0 27403 app' app' app' app' filter2 true f x xs app' app' filter f xs app' app' app' app' filter2 false f x xs app' app' filter f xs app' app' app' app' filter2 true f x xs app' app' filter f xs false app' app' app' app' filter2 false f x xs app' app' filter f xs false app' sum app' app' app l app' app' cons x app' app' cons y k app' sum app' app' app l app' sum app' app' cons x app' app' cons y k true Failed! NaTT certifiable-1.6