/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__app nil YS mark YS a__app cons X XS YS cons mark X app XS YS a__from X cons mark X from s X a__zWadr nil YS nil a__zWadr XS nil nil a__zWadr cons X XS cons Y YS cons a__app mark Y cons mark X nil zWadr XS YS a__prefix L cons nil zWadr L prefix L mark app X1 X2 a__app mark X1 mark X2 mark from X a__from mark X mark zWadr X1 X2 a__zWadr mark X1 mark X2 mark prefix X a__prefix mark X mark nil nil mark cons X1 X2 cons mark X1 X2 mark s X s mark X a__app X1 X2 app X1 X2 a__from X from X a__zWadr X1 X2 zWadr X1 X2 a__prefix X prefix X 2.2 a__zWadr cons X XS cons Y YS a__app mark Y cons mark X nil mark from X a__from mark X mark zWadr X1 X2 mark X2 mark prefix X mark X mark zWadr X1 X2 a__zWadr mark X1 mark X2 mark zWadr X1 X2 mark X1 a__from X mark X mark from X mark X mark s X mark X mark cons X1 X2 mark X1 mark app X1 X2 mark X1 mark app X1 X2 a__app mark X1 mark X2 a__zWadr cons X XS cons Y YS mark Y a__app cons X XS YS mark X mark prefix X a__prefix mark X a__app nil YS mark YS a__zWadr cons X XS cons Y YS mark X mark app X1 X2 mark X2 true mark app X1 X2 mark X2 a__zWadr cons X XS cons Y YS mark X a__from X mark X a__app nil YS mark YS mark zWadr X1 X2 mark X1 a__app cons X XS YS mark X a__zWadr cons X XS cons Y YS mark Y mark app X1 X2 a__app mark X1 mark X2 mark zWadr X1 X2 a__zWadr mark X1 mark X2 mark prefix X mark X mark zWadr X1 X2 mark X2 mark app X1 X2 mark X1 mark from X a__from mark X mark cons X1 X2 mark X1 mark s X mark X mark from X mark X a__zWadr cons X XS cons Y YS a__app mark Y cons mark X nil true a__zWadr 2 1 2 4 s 1 1 1 a__from 1 1 2 a__prefix 1 1 18460 a__from 1 1 2 prefix 1 1 18460 a__app 2 1 2 0 a__app 2 1 2 2 zWadr 2 1 2 4 a__zWadr 2 1 2 4 a__prefix 1 0 mark 1 1 1 from 1 1 2 nil 0 18459 mark 1 1 0 cons 2 1 1 app 2 1 2 2 a__app cons X XS YS mark X a__prefix X prefix X a__zWadr nil YS nil a__app X1 X2 app X1 X2 mark app X1 X2 a__app mark X1 mark X2 a__app nil YS mark YS a__from X cons mark X from s X a__from X from X a__zWadr X1 X2 zWadr X1 X2 a__zWadr XS nil nil mark zWadr X1 X2 a__zWadr mark X1 mark X2 a__prefix L cons nil zWadr L prefix L mark s X s mark X mark nil nil mark prefix X a__prefix mark X mark from X a__from mark X mark cons X1 X2 cons mark X1 X2 a__zWadr cons X XS cons Y YS cons a__app mark Y cons mark X nil zWadr XS YS a__app cons X XS YS cons mark X app XS YS a__app cons X XS YS mark X false mark prefix X a__prefix mark X false NaTT certifiable-1.6