/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__from X cons mark X from s X a__sel 0 cons X XS mark X a__sel s N cons X XS a__sel mark N mark XS a__minus X 0 0 a__minus s X s Y a__minus mark X mark Y a__quot 0 s Y 0 a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__zWquot XS nil nil a__zWquot nil XS nil a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS mark from X a__from mark X mark sel X1 X2 a__sel mark X1 mark X2 mark minus X1 X2 a__minus mark X1 mark X2 mark quot X1 X2 a__quot mark X1 mark X2 mark zWquot X1 X2 a__zWquot mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 mark nil nil a__from X from X a__sel X1 X2 sel X1 X2 a__minus X1 X2 minus X1 X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 2.2 mark minus X1 X2 a__minus mark X1 mark X2 a__from X mark X mark from X mark X a__quot s X s Y a__quot a__minus mark X mark Y s mark Y mark sel X1 X2 mark X2 mark quot X1 X2 mark X1 mark s X mark X a__minus s X s Y mark Y mark quot X1 X2 mark X2 mark zWquot X1 X2 mark X1 a__quot s X s Y a__minus mark X mark Y mark zWquot X1 X2 a__zWquot mark X1 mark X2 mark cons X1 X2 mark X1 a__zWquot cons X XS cons Y YS mark Y mark sel X1 X2 a__sel mark X1 mark X2 mark quot X1 X2 a__quot mark X1 mark X2 mark from X a__from mark X a__sel s N cons X XS mark XS a__minus s X s Y mark X a__sel s N cons X XS mark N a__quot s X s Y mark Y mark zWquot X1 X2 mark X2 a__zWquot cons X XS cons Y YS mark X a__sel s N cons X XS a__sel mark N mark XS a__minus s X s Y a__minus mark X mark Y a__quot s X s Y mark Y mark minus X1 X2 mark X1 a__sel 0 cons X XS mark X mark sel X1 X2 mark X1 a__quot s X s Y mark X mark minus X1 X2 mark X2 a__zWquot cons X XS cons Y YS a__quot mark X mark Y true a__zWquot cons X XS cons Y YS a__quot mark X mark Y mark cons X1 X2 mark X1 mark minus X1 X2 mark X2 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__quot s X s Y a__minus mark X mark Y a__quot s X s Y mark X mark zWquot X1 X2 mark X1 mark quot X1 X2 mark X2 mark sel X1 X2 mark X1 a__sel 0 cons X XS mark X a__minus s X s Y mark Y mark minus X1 X2 mark X1 mark s X mark X a__quot s X s Y mark Y a__minus s X s Y a__minus mark X mark Y a__sel s N cons X XS a__sel mark N mark XS mark quot X1 X2 mark X1 mark sel X1 X2 mark X2 a__quot s X s Y a__quot a__minus mark X mark Y s mark Y mark zWquot X1 X2 mark X2 a__zWquot cons X XS cons Y YS mark X a__quot s X s Y mark Y mark from X mark X a__sel s N cons X XS mark N a__minus s X s Y mark X a__sel s N cons X XS mark XS mark from X a__from mark X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__from X mark X mark minus X1 X2 a__minus mark X1 mark X2 a__zWquot cons X XS cons Y YS mark Y true a__minus 2 1 s 1 12214 a__zWquot 2 12214 a__from 1 12214 a__quot 2 1 0 minus 2 1 a__from 1 12214 a__zWquot 2 1 0 zWquot 2 0 a__quot 2 12214 mark 1 12214 0 0 1 quot 2 1 from 1 1 sel 2 1 a__minus 2 1 0 nil 0 0 a__sel 2 2 0 mark 1 12214 a__sel 2 12214 cons 2 12214 a__zWquot cons X XS cons Y YS mark Y mark minus X1 X2 a__minus mark X1 mark X2 a__from X mark X mark sel X1 X2 a__sel mark X1 mark X2 mark quot X1 X2 a__quot mark X1 mark X2 mark from X a__from mark X a__sel s N cons X XS mark XS a__minus s X s Y mark X a__sel s N cons X XS mark N mark from X mark X a__quot s X s Y mark Y a__zWquot cons X XS cons Y YS mark X mark zWquot X1 X2 mark X2 mark sel X1 X2 mark X2 mark quot X1 X2 mark X1 a__sel s N cons X XS a__sel mark N mark XS a__minus s X s Y a__minus mark X mark Y a__quot s X s Y mark Y mark s X mark X mark minus X1 X2 mark X1 a__minus s X s Y mark Y a__sel 0 cons X XS mark X mark sel X1 X2 mark X1 mark quot X1 X2 mark X2 mark zWquot X1 X2 mark X1 a__quot s X s Y mark X a__quot s X s Y a__minus mark X mark Y mark zWquot X1 X2 a__zWquot mark X1 mark X2 mark minus X1 X2 mark X2 mark cons X1 X2 mark X1 a__zWquot cons X XS cons Y YS a__quot mark X mark Y mark 0 0 a__minus X 0 0 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__zWquot XS nil nil a__from X cons mark X from s X a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 cons mark X1 X2 a__sel X1 X2 sel X1 X2 mark nil nil mark s X s mark X a__minus X1 X2 minus X1 X2 a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__from X from X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 mark from X a__from mark X a__zWquot nil XS nil mark minus X1 X2 a__minus mark X1 mark X2 a__quot 0 s Y 0 a__sel 0 cons X XS mark X mark zWquot X1 X2 mark X2 mark zWquot X1 X2 mark X1 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__from X mark X a__sel s N cons X XS mark XS a__sel s N cons X XS mark N a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 mark X1 mark s X mark X a__minus s X s Y mark Y a__minus s X s Y mark X a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS mark Y a__zWquot cons X XS cons Y YS mark X a__zWquot cons X XS cons Y YS a__quot mark X mark Y a__quot s X s Y mark Y a__quot s X s Y mark Y a__quot s X s Y mark X a__quot s X s Y a__minus mark X mark Y mark quot X1 X2 mark X2 mark quot X1 X2 mark X1 mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 a__sel mark X1 mark X2 mark from X mark X mark from X a__from mark X mark minus X1 X2 mark X2 mark minus X1 X2 mark X1 mark minus X1 X2 a__minus mark X1 mark X2 a__sel 0 cons X XS mark X true a__minus 2 1 0 2 2 0 s 1 1 0 a__zWquot 2 1 46576 2 31893 0 a__from 1 1 31893 a__quot 2 1 31894 2 46575 0 minus 2 1 0 2 2 0 a__from 1 1 14682 a__zWquot 2 1 14685 2 29368 0 zWquot 2 1 14685 2 29368 0 a__quot 2 1 14684 2 14687 0 mark 1 1 31892 0 0 14688 quot 2 1 14684 2 14687 0 from 1 1 14682 sel 2 1 35660 2 35661 0 a__minus 2 1 31892 2 31893 0 nil 0 29369 a__sel 2 1 67552 2 52869 0 mark 1 1 0 a__sel 2 1 35660 2 35661 0 cons 2 1 14682 2 0 0 mark minus X1 X2 a__minus mark X1 mark X2 mark minus X1 X2 mark X1 mark sel X1 X2 a__sel mark X1 mark X2 a__zWquot cons X XS cons Y YS a__quot mark X mark Y a__minus s X s Y a__minus mark X mark Y a__minus s X s Y mark X mark s X mark X a__sel s N cons X XS a__sel mark N mark XS mark 0 0 a__minus X 0 0 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__zWquot XS nil nil a__from X cons mark X from s X a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 cons mark X1 X2 a__sel X1 X2 sel X1 X2 mark nil nil mark s X s mark X a__minus X1 X2 minus X1 X2 a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__from X from X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 mark from X a__from mark X a__zWquot nil XS nil mark minus X1 X2 a__minus mark X1 mark X2 a__quot 0 s Y 0 a__sel 0 cons X XS mark X a__zWquot cons X XS cons Y YS a__quot mark X mark Y false mark s X mark X a__minus s X s Y mark X a__minus s X s Y a__minus mark X mark Y mark minus X1 X2 mark X1 mark minus X1 X2 a__minus mark X1 mark X2 true a__minus 2 1 2334 2 2335 0 s 1 1 0 a__zWquot 2 0 a__from 1 31893 a__quot 2 0 minus 2 1 2334 2 2335 0 a__from 1 1 41379 a__zWquot 2 1 2336 2 2336 0 zWquot 2 1 2336 2 2336 0 a__quot 2 2 2335 0 mark 1 1 0 0 0 2335 quot 2 2 2335 0 from 1 1 41379 sel 2 2 0 0 a__minus 2 1 2332 2 2333 0 nil 0 2337 a__sel 2 0 mark 1 1 0 a__sel 2 2 0 0 cons 2 1 1 2 0 0 a__minus s X s Y a__minus mark X mark Y mark s X mark X mark 0 0 a__minus X 0 0 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__zWquot XS nil nil a__from X cons mark X from s X a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 cons mark X1 X2 a__sel X1 X2 sel X1 X2 mark nil nil mark s X s mark X a__minus X1 X2 minus X1 X2 a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__from X from X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 mark from X a__from mark X a__zWquot nil XS nil mark minus X1 X2 a__minus mark X1 mark X2 a__quot 0 s Y 0 a__sel 0 cons X XS mark X mark s X mark X true a__minus 2 3 s 1 1 1 a__zWquot 2 0 a__from 1 0 a__quot 2 0 minus 2 2 4 a__from 1 3 a__zWquot 2 1 1 zWquot 2 1 2 2 a__quot 2 1 29273 mark 1 1 0 0 0 4 quot 2 2 29274 from 1 1 4 sel 2 2 a__minus 2 0 nil 0 3 a__sel 2 0 mark 1 2 a__sel 2 1 1 cons 2 2 14461 a__minus s X s Y a__minus mark X mark Y true mark 1 1 a__minus 2 1 s 1 1 1 a__zWquot 2 0 1 a__from 1 0 a__quot 2 0 minus 2 1 a__from 1 4 a__zWquot 2 4 1 2 zWquot 2 4 1 2 a__quot 2 2 1 mark 1 0 0 0 1 quot 2 2 1 from 1 4 sel 2 0 a__minus 2 1 1 nil 0 5 a__sel 2 0 a__sel 2 0 cons 2 3 1 a__minus 2 0 s 1 1 0 a__zWquot 2 1 1 a__from 1 1 a__quot 2 2 0 minus 2 0 a__from 1 1 29284 a__zWquot 2 1 2 29284 zWquot 2 1 2 29284 a__quot 2 1 0 0 mark 1 1 0 0 0 quot 2 1 0 0 from 1 1 29284 sel 2 2 29284 a__minus 2 1 0 nil 0 1 a__sel 2 1 1 a__sel 2 2 29284 cons 2 1 29283 2 0 0 mark 0 0 a__minus X 0 0 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__zWquot XS nil nil a__from X cons mark X from s X a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 cons mark X1 X2 a__sel X1 X2 sel X1 X2 mark nil nil mark s X s mark X a__minus X1 X2 minus X1 X2 a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__from X from X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 mark from X a__from mark X a__zWquot nil XS nil mark minus X1 X2 a__minus mark X1 mark X2 a__quot 0 s Y 0 a__sel 0 cons X XS mark X mark sel X1 X2 a__sel mark X1 mark X2 false a__sel s N cons X XS a__sel mark N mark XS true mark 1 1 a__minus 2 2 s 1 2 1 a__zWquot 2 0 1 a__from 1 0 a__quot 2 0 minus 2 2 a__from 1 5 a__zWquot 2 5 1 2 zWquot 2 5 1 2 a__quot 2 3 1 mark 1 0 0 0 2 quot 2 3 1 from 1 5 sel 2 1 a__minus 2 1 1 nil 0 6 a__sel 2 0 1 a__sel 2 1 cons 2 4 1 a__minus 2 0 s 1 1 0 a__zWquot 2 1 1 a__from 1 1 a__quot 2 2 0 minus 2 0 a__from 1 1 21657 a__zWquot 2 1 2 55190 zWquot 2 1 2 55190 a__quot 2 1 0 0 mark 1 1 0 0 0 quot 2 1 0 0 from 1 1 21657 sel 2 2 31893 a__minus 2 1 0 nil 0 1 a__sel 2 1 0 a__sel 2 2 31893 cons 2 1 1 2 0 0 mark 0 0 a__minus X 0 0 mark zWquot X1 X2 a__zWquot mark X1 mark X2 a__zWquot XS nil nil a__from X cons mark X from s X a__sel s N cons X XS a__sel mark N mark XS mark cons X1 X2 cons mark X1 X2 a__sel X1 X2 sel X1 X2 mark nil nil mark s X s mark X a__minus X1 X2 minus X1 X2 a__minus s X s Y a__minus mark X mark Y a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__from X from X mark quot X1 X2 a__quot mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 mark from X a__from mark X a__zWquot nil XS nil mark minus X1 X2 a__minus mark X1 mark X2 a__quot 0 s Y 0 a__sel 0 cons X XS mark X NaTT certifiable-1.6