/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active from X mark cons X from s X active head cons X XS mark X active 2nd cons X XS mark head XS active take 0 XS mark nil active take s N cons X XS mark cons X take N XS active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark head X active head mark X mark 2nd X active 2nd mark X mark take X1 X2 active take mark X1 mark X2 mark 0 active 0 mark nil active nil mark sel X1 X2 active sel mark X1 mark X2 from mark X from X from active X from X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 s mark X s X s active X s X head mark X head X head active X head X 2nd mark X 2nd X 2nd active X 2nd X take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 2.2 take mark X1 X2 take X1 X2 cons active X1 X2 cons X1 X2 mark s X mark X cons X1 active X2 cons X1 X2 mark sel X1 X2 mark X1 sel X1 active X2 sel X1 X2 head active X head X 2nd mark X 2nd X mark sel X1 X2 mark X2 active from X s X active 2nd cons X XS mark head XS active take 0 XS mark nil from mark X from X mark take X1 X2 take mark X1 mark X2 from active X from X mark from X from mark X cons mark X1 X2 cons X1 X2 active from X cons X from s X mark head X head mark X mark cons X1 X2 active cons mark X1 X2 mark cons X1 X2 mark X1 mark nil active nil cons X1 mark X2 cons X1 X2 head mark X head X mark sel X1 X2 sel mark X1 mark X2 mark head X active head mark X active take s N cons X XS mark cons X take N XS mark from X mark X mark head X mark X sel mark X1 X2 sel X1 X2 active from X from s X active 2nd cons X XS head XS active sel s N cons X XS mark sel N XS take active X1 X2 take X1 X2 mark take X1 X2 mark X1 take X1 active X2 take X1 X2 mark cons X1 X2 cons mark X1 X2 active take s N cons X XS take N XS mark take X1 X2 active take mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark s X s mark X take X1 mark X2 take X1 X2 2nd active X 2nd X mark s X active s mark X mark 2nd X active 2nd mark X active take s N cons X XS cons X take N XS mark 2nd X mark X active sel s N cons X XS sel N XS sel X1 mark X2 sel X1 X2 mark 0 active 0 s mark X s X sel active X1 X2 sel X1 X2 active head cons X XS mark X mark from X active from mark X mark take X1 X2 mark X2 s active X s X active sel 0 cons X XS mark X active from X mark cons X from s X mark 2nd X 2nd mark X true active from X mark cons X from s X active sel s N cons X XS mark sel N XS active sel 0 cons X XS mark X mark head X mark X mark from X mark X active take s N cons X XS mark cons X take N XS mark head X active head mark X mark take X1 X2 mark X2 mark from X active from mark X active head cons X XS mark X mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 mark 2nd X mark X mark 2nd X active 2nd mark X mark s X active s mark X active 2nd cons X XS mark head XS mark sel X1 X2 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark take X1 X2 active take mark X1 mark X2 mark sel X1 X2 mark X1 mark take X1 X2 mark X1 mark s X mark X true cons 2 0 s 1 1 take 2 0 take 2 2 2nd 1 2 head 1 0 mark 1 2 0 0 1 sel 2 0 from 1 2 sel 2 2 s 1 0 nil 0 1 2nd 1 0 mark 1 2 from 1 0 active 1 1 0 head 1 2 cons 2 1 active 1 1 0 mark s X mark X mark take X1 X2 mark X1 mark sel X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark sel X1 X2 mark X2 active 2nd cons X XS mark head XS mark 2nd X active 2nd mark X mark 2nd X mark X mark cons X1 X2 mark X1 active head cons X XS mark X mark from X active from mark X mark take X1 X2 mark X2 mark head X active head mark X active take s N cons X XS mark cons X take N XS mark from X mark X mark head X mark X active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS active from X mark cons X from s X from active X from X active take 0 XS mark nil mark nil active nil mark from X active from mark X active from X mark cons X from s X active 2nd cons X XS mark head XS mark sel X1 X2 active sel mark X1 mark X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 from mark X from X 2nd mark X 2nd X sel X1 mark X2 sel X1 X2 cons X1 active X2 cons X1 X2 2nd active X 2nd X active take s N cons X XS mark cons X take N XS sel mark X1 X2 sel X1 X2 mark s X active s mark X active sel s N cons X XS mark sel N XS cons X1 mark X2 cons X1 X2 head mark X head X take X1 mark X2 take X1 X2 mark 0 active 0 take active X1 X2 take X1 X2 mark 2nd X active 2nd mark X s mark X s X s active X s X mark head X active head mark X mark cons X1 X2 active cons mark X1 X2 mark take X1 X2 active take mark X1 mark X2 active sel 0 cons X XS mark X sel active X1 X2 sel X1 X2 take mark X1 X2 take X1 X2 active head cons X XS mark X mark from X mark X mark from X active from mark X active from X mark cons X from s X active 2nd cons X XS mark head XS mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 active take s N cons X XS mark cons X take N XS mark s X mark X active sel s N cons X XS mark sel N XS mark 2nd X mark X mark 2nd X active 2nd mark X mark head X mark X mark head X active head mark X mark cons X1 X2 mark X1 mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active sel 0 cons X XS mark X active head cons X XS mark X true cons 2 0 s 1 1 0 take 2 0 take 2 1 8947 2 10090 0 2nd 1 1 44023 head 1 0 mark 1 1 0 0 0 1144 sel 2 0 from 1 1 9228 sel 2 1 26286 2 46824 0 s 1 0 nil 0 10091 2nd 1 0 mark 1 1 0 from 1 0 active 1 1 0 head 1 1 44022 cons 2 1 8946 2 0 0 active 1 1 0 mark take X1 X2 active take mark X1 mark X2 mark head X active head mark X mark 2nd X active 2nd mark X active sel s N cons X XS mark sel N XS mark s X mark X active take s N cons X XS mark cons X take N XS mark sel X1 X2 active sel mark X1 mark X2 active from X mark cons X from s X mark from X active from mark X from active X from X active take 0 XS mark nil mark nil active nil mark from X active from mark X active from X mark cons X from s X active 2nd cons X XS mark head XS mark sel X1 X2 active sel mark X1 mark X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 from mark X from X 2nd mark X 2nd X sel X1 mark X2 sel X1 X2 cons X1 active X2 cons X1 X2 2nd active X 2nd X active take s N cons X XS mark cons X take N XS sel mark X1 X2 sel X1 X2 mark s X active s mark X active sel s N cons X XS mark sel N XS cons X1 mark X2 cons X1 X2 head mark X head X take X1 mark X2 take X1 X2 mark 0 active 0 take active X1 X2 take X1 X2 mark 2nd X active 2nd mark X s mark X s X s active X s X mark head X active head mark X mark cons X1 X2 active cons mark X1 X2 mark take X1 X2 active take mark X1 mark X2 active sel 0 cons X XS mark X sel active X1 X2 sel X1 X2 take mark X1 X2 take X1 X2 active head cons X XS mark X mark from X active from mark X active from X mark cons X from s X mark sel X1 X2 active sel mark X1 mark X2 active take s N cons X XS mark cons X take N XS mark s X mark X active sel s N cons X XS mark sel N XS mark 2nd X active 2nd mark X mark head X active head mark X mark take X1 X2 active take mark X1 mark X2 true cons 2 0 s 1 1 3 take 2 0 take 2 2 3 2nd 1 14139 head 1 0 mark 1 1 0 0 0 1 sel 2 0 from 1 26931 sel 2 2 s 1 0 nil 0 1 2nd 1 0 mark 1 1 from 1 0 active 1 2 head 1 1105 cons 2 1 active 1 2 active sel s N cons X XS mark sel N XS mark sel X1 X2 active sel mark X1 mark X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 cons X1 mark X2 cons X1 X2 head mark X head X sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 active sel s N cons X XS mark sel N XS true s 1 1 mark 1 1 active 1 1 cons 2 0 1 s 1 2 1 take 2 0 take 2 2 2nd 1 2 1 head 1 0 mark 1 3 1 0 0 1 sel 2 0 1 from 1 0 1 sel 2 4 1 2 nil 0 2 2nd 1 0 from 1 0 head 1 2 cons 2 0 1 active 1 3 1 cons 2 1 1 0 s 1 1 0 take 2 1 take 2 2 20978 2nd 1 1 2999 head 1 1 mark 1 1 1 0 0 35658 sel 2 1 1 from 1 1 20981 sel 2 1 2 20980 nil 0 20977 2nd 1 1 from 1 1 head 1 1 1 cons 2 1 20979 2 0 0 active 1 1 1 mark sel X1 X2 active sel mark X1 mark X2 from active X from X active take 0 XS mark nil mark nil active nil mark from X active from mark X active from X mark cons X from s X active 2nd cons X XS mark head XS mark sel X1 X2 active sel mark X1 mark X2 cons active X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 head active X head X cons mark X1 X2 cons X1 X2 take X1 active X2 take X1 X2 from mark X from X 2nd mark X 2nd X sel X1 mark X2 sel X1 X2 cons X1 active X2 cons X1 X2 2nd active X 2nd X active take s N cons X XS mark cons X take N XS sel mark X1 X2 sel X1 X2 mark s X active s mark X active sel s N cons X XS mark sel N XS cons X1 mark X2 cons X1 X2 head mark X head X take X1 mark X2 take X1 X2 mark 0 active 0 take active X1 X2 take X1 X2 mark 2nd X active 2nd mark X s mark X s X s active X s X mark head X active head mark X mark cons X1 X2 active cons mark X1 X2 mark take X1 X2 active take mark X1 mark X2 active sel 0 cons X XS mark X sel active X1 X2 sel X1 X2 take mark X1 X2 take X1 X2 active head cons X XS mark X mark sel X1 X2 active sel mark X1 mark X2 false mark take X1 X2 take mark X1 mark X2 false mark cons X1 X2 cons mark X1 X2 false mark head X head mark X false active sel s N cons X XS sel N XS false mark 2nd X 2nd mark X false 2nd active X 2nd X 2nd mark X 2nd X true cons 2 0 s 1 1 take 2 0 take 2 1 2 21394 2nd 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 1 sel 2 0 s 1 0 nil 0 0 2nd 1 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 16022 cons 2 1 3 active 1 2 mark 0 active 0 false active take s N cons X XS cons X take N XS false active take s N cons X XS take N XS false mark s X s mark X false active 2nd cons X XS head XS false head mark X head X head active X head X true cons 2 0 s 1 1 take 2 0 take 2 1 2 7066 2nd 1 0 head 1 1 0 mark 1 3 0 0 0 sel 2 0 from 1 40400 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 16022 cons 2 1 40402 active 1 2 mark sel X1 X2 sel mark X1 mark X2 false sel mark X1 X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 true cons 2 0 s 1 1 take 2 0 take 2 1 2 1 2nd 1 0 head 1 0 mark 1 3 0 0 0 sel 2 1 2 0 from 1 1 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 16022 cons 2 1 3 active 1 2 active from X cons X from s X false active from X from s X false active from X s X false s active X s X s mark X s X true cons 2 0 s 1 25192 take 2 0 take 2 1 2 15628 2nd 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 1 sel 2 0 s 1 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 16022 cons 2 1 3 active 1 2 active take 0 XS mark nil false mark from X from mark X false from active X from X from mark X from X true cons 2 0 s 1 25192 take 2 0 take 2 1 2 1 2nd 1 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 1 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 1 0 active 1 1 2 head 1 14463 cons 2 1 3 active 1 2 mark nil active nil false cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 take 2 0 take 2 1 2 1 2nd 1 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 1 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 53622 from 1 0 active 1 1 53623 head 1 3828 cons 2 1 3 active 1 2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 1 take 2 0 take 2 1 2 1 2nd 1 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 26727 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 26731 cons 2 1 26729 active 1 2 take X1 mark X2 take X1 X2 take X1 active X2 take X1 X2 take mark X1 X2 take X1 X2 take active X1 X2 take X1 X2 true cons 2 0 s 1 1184 take 2 1 2 0 take 2 1 2 1 2nd 1 1 0 head 1 0 mark 1 3 0 0 0 sel 2 0 from 1 25442 sel 2 0 s 1 0 nil 0 0 2nd 1 0 mark 1 1 1 from 1 0 active 1 1 2 head 1 25446 cons 2 1 25444 active 1 2 NaTT certifiable-1.6