/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE app nil YS YS app cons X XS YS cons X n__app activate XS YS from X cons X n__from n__s X zWadr nil YS nil zWadr XS nil nil zWadr cons X XS cons Y YS cons app Y cons X n__nil n__zWadr activate XS activate YS prefix L cons nil n__zWadr L n__prefix L app X1 X2 n__app X1 X2 from X n__from X s X n__s X nil n__nil zWadr X1 X2 n__zWadr X1 X2 prefix X n__prefix X activate n__app X1 X2 app activate X1 activate X2 activate n__from X from activate X activate n__s X s activate X activate n__nil nil activate n__zWadr X1 X2 zWadr activate X1 activate X2 activate n__prefix X prefix activate X activate X X 2.2 zWadr cons X XS cons Y YS app Y cons X n__nil activate n__app X1 X2 activate X1 activate n__s X activate X activate n__nil nil activate n__prefix X activate X activate n__s X s activate X activate n__from X from activate X activate n__app X1 X2 activate X2 activate n__prefix X prefix activate X activate n__app X1 X2 app activate X1 activate X2 activate n__zWadr X1 X2 activate X1 activate n__zWadr X1 X2 zWadr activate X1 activate X2 zWadr cons X XS cons Y YS activate XS app cons X XS YS activate XS prefix L nil activate n__from X activate X zWadr cons X XS cons Y YS activate YS activate n__zWadr X1 X2 activate X2 true activate n__zWadr X1 X2 activate X2 zWadr cons X XS cons Y YS activate YS activate n__from X activate X app cons X XS YS activate XS zWadr cons X XS cons Y YS activate XS activate n__zWadr X1 X2 zWadr activate X1 activate X2 activate n__prefix X activate X activate n__s X activate X activate n__zWadr X1 X2 activate X1 activate n__app X1 X2 activate X1 activate n__app X1 X2 app activate X1 activate X2 activate n__app X1 X2 activate X2 zWadr cons X XS cons Y YS app Y cons X n__nil true s 1 1 0 n__prefix 1 1 72938 activate 1 1 0 n__from 1 1 40652 activate 1 1 41063 prefix 1 1 72938 zWadr 2 1 114001 2 41063 0 zWadr 2 1 72938 2 0 0 n__nil 0 1 n__zWadr 2 1 72938 2 0 0 n__s 1 1 0 from 1 1 40652 n__app 2 1 0 2 32286 0 s 1 0 nil 0 1 prefix 1 0 nil 0 0 app 2 1 41063 0 from 1 0 cons 2 1 40652 2 0 0 app 2 1 0 2 32286 0 activate n__app X1 X2 app activate X1 activate X2 activate n__app X1 X2 activate X1 activate n__s X activate X activate n__zWadr X1 X2 zWadr activate X1 activate X2 app cons X XS YS activate XS zWadr cons X XS cons Y YS activate YS activate n__zWadr X1 X2 activate X2 activate n__zWadr X1 X2 zWadr activate X1 activate X2 zWadr nil YS nil activate n__from X from activate X app X1 X2 n__app X1 X2 app nil YS YS from X cons X n__from n__s X activate n__s X s activate X activate n__prefix X prefix activate X activate n__nil nil zWadr XS nil nil s X n__s X prefix L cons nil n__zWadr L n__prefix L activate X X activate n__app X1 X2 app activate X1 activate X2 zWadr X1 X2 n__zWadr X1 X2 nil n__nil from X n__from X prefix X n__prefix X zWadr cons X XS cons Y YS cons app Y cons X n__nil n__zWadr activate XS activate YS app cons X XS YS cons X n__app activate XS YS activate n__zWadr X1 X2 activate X2 activate n__zWadr X1 X2 zWadr activate X1 activate X2 activate n__s X activate X activate n__app X1 X2 activate X1 activate n__app X1 X2 app activate X1 activate X2 zWadr cons X XS cons Y YS activate YS app cons X XS YS activate XS true s 1 1 21656 n__prefix 1 19781 activate 1 1 0 n__from 1 57798 activate 1 1 0 prefix 1 19781 zWadr 2 2 0 zWadr 2 2 0 n__nil 0 0 n__zWadr 2 2 0 n__s 1 1 21656 from 1 57798 n__app 2 1 2 28883 s 1 0 nil 0 0 prefix 1 0 nil 0 0 app 2 1 1 from 1 0 cons 2 2 0 app 2 1 2 28883 zWadr cons X XS cons Y YS activate YS activate n__zWadr X1 X2 zWadr activate X1 activate X2 activate n__zWadr X1 X2 activate X2 activate n__zWadr X1 X2 zWadr activate X1 activate X2 zWadr nil YS nil activate n__from X from activate X app X1 X2 n__app X1 X2 app nil YS YS from X cons X n__from n__s X activate n__s X s activate X activate n__prefix X prefix activate X activate n__nil nil zWadr XS nil nil s X n__s X prefix L cons nil n__zWadr L n__prefix L activate X X activate n__app X1 X2 app activate X1 activate X2 zWadr X1 X2 n__zWadr X1 X2 nil n__nil from X n__from X prefix X n__prefix X zWadr cons X XS cons Y YS cons app Y cons X n__nil n__zWadr activate XS activate YS app cons X XS YS cons X n__app activate XS YS activate n__zWadr X1 X2 activate X2 activate n__zWadr X1 X2 zWadr activate X1 activate X2 zWadr cons X XS cons Y YS activate YS true Failed! NaTT certifiable-1.6