/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active fib N mark sel N fib1 s 0 s 0 active fib1 X Y mark cons X fib1 Y add X Y active add 0 X mark X active add s X Y mark s add X Y active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS mark fib X active fib mark X mark sel X1 X2 active sel mark X1 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark s X active s mark X mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 mark add X1 X2 active add mark X1 mark X2 fib mark X fib X fib active X fib X 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 fib1 mark X1 X2 fib1 X1 X2 fib1 X1 mark X2 fib1 X1 X2 fib1 active X1 X2 fib1 X1 X2 fib1 X1 active X2 fib1 X1 X2 s mark X s X s active X s 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 add mark X1 X2 add X1 X2 add X1 mark X2 add X1 X2 add active X1 X2 add X1 X2 add X1 active X2 add X1 X2 2.2 active fib1 X Y cons X fib1 Y add X Y sel mark X1 X2 sel X1 X2 mark fib X mark X cons active X1 X2 cons X1 X2 active fib N sel N fib1 s 0 s 0 fib1 X1 mark X2 fib1 X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 active fib N fib1 s 0 s 0 mark sel X1 X2 mark X2 active fib N s 0 sel active X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 active sel s N cons X XS mark sel N XS active add s X Y mark s add X Y sel X1 active X2 sel X1 X2 mark sel X1 X2 sel mark X1 mark X2 mark fib1 X1 X2 fib1 mark X1 mark X2 mark add X1 X2 add mark X1 mark X2 mark add X1 X2 mark X2 active add s X Y add X Y add mark X1 X2 add X1 X2 fib mark X fib X active fib N mark sel N fib1 s 0 s 0 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark s X s mark X active add s X Y s add X Y mark fib1 X1 X2 mark X1 mark s X active s mark X mark sel X1 X2 mark X1 active fib N s 0 s active X s X mark cons X1 X2 cons mark X1 X2 active sel s N cons X XS sel N XS add active X1 X2 add X1 X2 mark add X1 X2 mark X1 add X1 active X2 add X1 X2 cons X1 active X2 cons X1 X2 active add 0 X mark X mark fib X fib mark X add X1 mark X2 add X1 X2 active sel 0 cons X XS mark X mark fib X active fib mark X s mark X s X mark s X mark X mark cons X1 X2 active cons mark X1 X2 fib1 mark X1 X2 fib1 X1 X2 fib1 active X1 X2 fib1 X1 X2 mark cons X1 X2 mark X1 mark 0 active 0 active fib1 X Y fib1 Y add X Y active fib1 X Y mark cons X fib1 Y add X Y fib active X fib X mark add X1 X2 active add mark X1 mark X2 mark fib1 X1 X2 mark X2 active fib1 X Y add X Y mark sel X1 X2 active sel mark X1 mark X2 fib1 X1 active X2 fib1 X1 X2 true mark sel X1 X2 active sel mark X1 mark X2 mark sel X1 X2 mark X1 mark s X active s mark X mark fib1 X1 X2 mark X1 mark fib1 X1 X2 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 active add mark X1 mark X2 active fib N mark sel N fib1 s 0 s 0 active fib1 X Y mark cons X fib1 Y add X Y mark cons X1 X2 mark X1 mark add X1 X2 mark X2 mark s X mark X mark cons X1 X2 active cons mark X1 X2 active add s X Y mark s add X Y active sel s N cons X XS mark sel N XS mark fib X active fib mark X active sel 0 cons X XS mark X mark sel X1 X2 mark X2 active add 0 X mark X mark add X1 X2 mark X1 mark fib X mark X true cons 2 0 s 1 1 fib1 2 0 fib1 2 46917 fib 1 46917 mark 1 46917 0 0 1 sel 2 0 sel 2 46917 s 1 0 mark 1 1 active 1 2 cons 2 36466 active 1 1 0 add 2 0 add 2 46917 fib 1 0 mark fib X mark X mark add X1 X2 mark X1 active add 0 X mark X mark sel X1 X2 mark X2 active sel 0 cons X XS mark X mark fib X active fib mark X active sel s N cons X XS mark sel N XS active add s X Y mark s add X Y mark s X mark X mark add X1 X2 mark X2 mark cons X1 X2 mark X1 active fib1 X Y mark cons X fib1 Y add X Y active fib N mark sel N fib1 s 0 s 0 mark add X1 X2 active add mark X1 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark fib1 X1 X2 mark X2 mark fib1 X1 X2 mark X1 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 sel active X1 X2 sel X1 X2 fib active X fib X sel mark X1 X2 sel X1 X2 fib1 X1 mark X2 fib1 X1 X2 cons mark X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 add active X1 X2 add X1 X2 sel X1 mark X2 sel X1 X2 cons X1 mark X2 cons X1 X2 fib1 active X1 X2 fib1 X1 X2 cons active X1 X2 cons X1 X2 add X1 active X2 add X1 X2 fib1 mark X1 X2 fib1 X1 X2 s active X s X add mark X1 X2 add X1 X2 fib mark X fib X add X1 mark X2 add X1 X2 fib1 X1 active X2 fib1 X1 X2 s mark X s X cons X1 active X2 cons X1 X2 active add s X Y mark s add X Y mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 active fib N mark sel N fib1 s 0 s 0 active add 0 X mark X active sel 0 cons X XS mark X mark s X mark X mark fib X mark X mark fib X active fib mark X mark cons X1 X2 mark X1 mark fib1 X1 X2 mark X2 mark fib1 X1 X2 mark X1 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 active sel s N cons X XS mark sel N XS active fib1 X Y mark cons X fib1 Y add X Y true cons 2 0 s 1 1 0 fib1 2 0 fib1 2 1 8946 2 8946 0 fib 1 1 38231 mark 1 1 0 0 0 26286 sel 2 0 sel 2 1 11945 2 2998 0 s 1 0 mark 1 1 0 active 1 1 0 cons 2 1 8946 2 0 0 active 1 1 0 add 2 0 add 2 1 0 2 0 0 fib 1 0 active fib1 X Y mark cons X fib1 Y add X Y active sel s N cons X XS mark sel N XS mark add X1 X2 active add mark X1 mark X2 mark add X1 X2 mark X1 mark add X1 X2 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark fib X active fib mark X mark s X mark X active add 0 X mark X mark sel X1 X2 active sel mark X1 mark X2 active add s X Y mark s add X Y sel active X1 X2 sel X1 X2 active add s X Y mark s add X Y fib active X fib X mark sel X1 X2 active sel mark X1 mark X2 active fib N mark sel N fib1 s 0 s 0 active add 0 X mark X sel mark X1 X2 sel X1 X2 fib1 X1 mark X2 fib1 X1 X2 cons mark X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 add active X1 X2 add X1 X2 sel X1 mark X2 sel X1 X2 cons X1 mark X2 cons X1 X2 fib1 active X1 X2 fib1 X1 X2 cons active X1 X2 cons X1 X2 active sel 0 cons X XS mark X add X1 active X2 add X1 X2 mark s X active s mark X mark fib X active fib mark X fib1 mark X1 X2 fib1 X1 X2 s active X s X add mark X1 X2 add X1 X2 fib mark X fib X add X1 mark X2 add X1 X2 mark cons X1 X2 active cons mark X1 X2 fib1 X1 active X2 fib1 X1 X2 s mark X s X mark 0 active 0 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 active add mark X1 mark X2 active sel s N cons X XS mark sel N XS cons X1 active X2 cons X1 X2 active fib1 X Y mark cons X fib1 Y add X Y active add s X Y mark s add X Y mark sel X1 X2 active sel mark X1 mark X2 active add 0 X mark X mark s X mark X mark fib X active fib mark X mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 active sel s N cons X XS mark sel N XS active fib1 X Y mark cons X fib1 Y add X Y true cons 2 0 s 1 31114 fib1 2 0 fib1 2 3 fib 1 1 mark 1 46917 0 0 0 sel 2 0 sel 2 3 s 1 0 mark 1 2 active 1 1 0 cons 2 36466 active 1 1 46914 add 2 0 add 2 3 fib 1 0 active fib1 X Y mark cons X fib1 Y add X Y active sel s N cons X XS mark sel N XS mark add X1 X2 active add mark X1 mark X2 mark add X1 X2 mark X1 mark add X1 X2 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark s X mark X active add 0 X mark X mark sel X1 X2 active sel mark X1 mark X2 active add s X Y mark s add X Y sel active X1 X2 sel X1 X2 fib active X fib X sel mark X1 X2 sel X1 X2 fib1 X1 mark X2 fib1 X1 X2 cons mark X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 add active X1 X2 add X1 X2 sel X1 mark X2 sel X1 X2 cons X1 mark X2 cons X1 X2 fib1 active X1 X2 fib1 X1 X2 cons active X1 X2 cons X1 X2 add X1 active X2 add X1 X2 fib1 mark X1 X2 fib1 X1 X2 s active X s X add mark X1 X2 add X1 X2 fib mark X fib X add X1 mark X2 add X1 X2 fib1 X1 active X2 fib1 X1 X2 s mark X s X cons X1 active X2 cons X1 X2 active add s X Y mark s add X Y mark sel X1 X2 active sel mark X1 mark X2 active add 0 X mark X mark s X mark X mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 active sel s N cons X XS mark sel N XS active fib1 X Y mark cons X fib1 Y add X Y true s 1 1 mark 1 1 active 1 1 cons 2 0 1 2 s 1 1 1 fib1 2 0 2 fib1 2 5 fib 1 0 1 mark 1 0 1 0 0 5 sel 2 0 sel 2 4 1 cons 2 0 active 1 0 1 add 2 0 1 2 add 2 2 1 2 fib 1 0 cons 2 1 1 2 1 0 s 1 1 0 fib1 2 2 1 0 fib1 2 1 19791 2 19791 0 fib 1 1 87762 mark 1 1 0 0 0 48178 sel 2 2 1 sel 2 1 2 19792 cons 2 1 19791 2 0 0 active 1 1 0 add 2 1 1 2 1 0 add 2 1 0 2 0 0 fib 1 1 mark add X1 X2 active add mark X1 mark X2 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 sel active X1 X2 sel X1 X2 active add s X Y mark s add X Y fib active X fib X mark sel X1 X2 active sel mark X1 mark X2 active fib N mark sel N fib1 s 0 s 0 active add 0 X mark X sel mark X1 X2 sel X1 X2 fib1 X1 mark X2 fib1 X1 X2 cons mark X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 add active X1 X2 add X1 X2 sel X1 mark X2 sel X1 X2 cons X1 mark X2 cons X1 X2 fib1 active X1 X2 fib1 X1 X2 cons active X1 X2 cons X1 X2 active sel 0 cons X XS mark X add X1 active X2 add X1 X2 mark s X active s mark X mark fib X active fib mark X fib1 mark X1 X2 fib1 X1 X2 s active X s X add mark X1 X2 add X1 X2 fib mark X fib X add X1 mark X2 add X1 X2 mark cons X1 X2 active cons mark X1 X2 fib1 X1 active X2 fib1 X1 X2 s mark X s X mark 0 active 0 mark fib1 X1 X2 active fib1 mark X1 mark X2 mark add X1 X2 active add mark X1 mark X2 active sel s N cons X XS mark sel N XS cons X1 active X2 cons X1 X2 active fib1 X Y mark cons X fib1 Y add X Y mark sel X1 X2 active sel mark X1 mark X2 false mark fib1 X1 X2 active fib1 mark X1 mark X2 false mark add X1 X2 active add mark X1 mark X2 false active fib1 X Y fib1 Y add X Y false active fib1 X Y add X Y false mark add X1 X2 add mark X1 mark X2 false active sel s N cons X XS sel N XS false mark fib1 X1 X2 fib1 mark X1 mark X2 false fib1 X1 active X2 fib1 X1 X2 fib1 active X1 X2 fib1 X1 X2 fib1 mark X1 X2 fib1 X1 X2 fib1 X1 mark X2 fib1 X1 X2 true cons 2 0 s 1 3155 fib1 2 2 0 fib1 2 1 fib 1 1 1 mark 1 46917 0 0 0 sel 2 0 sel 2 3 s 1 0 mark 1 1 1 active 1 1 2 cons 2 3 active 1 46917 add 2 0 add 2 1 fib 1 0 fib1 mark X1 X2 fib1 X1 X2 fib1 active X1 X2 fib1 X1 X2 fib1 active X1 X2 fib1 X1 X2 fib1 mark X1 X2 fib1 X1 X2 true cons 2 0 s 1 6993 fib1 2 1 0 fib1 2 3024 fib 1 1 52442 mark 1 46917 0 0 0 sel 2 0 sel 2 52444 s 1 0 mark 1 1 1 active 1 1 2 cons 2 3265 active 1 46917 add 2 0 add 2 6991 fib 1 0 mark 0 active 0 false mark fib X fib mark X false fib active X fib X fib mark X fib X true cons 2 0 s 1 12201 fib1 2 0 fib1 2 13962 fib 1 1 46517 mark 1 46917 0 0 0 sel 2 0 sel 2 46519 s 1 0 mark 1 1 21394 active 1 1 21395 cons 2 29984 active 1 46917 add 2 0 add 2 12199 fib 1 1 0 active fib N sel N fib1 s 0 s 0 false active fib N fib1 s 0 s 0 false active fib N s 0 false active fib N s 0 false mark s X s mark X false active add s X Y s add X Y false s active X s X s mark X s X true cons 2 0 s 1 43488 fib1 2 0 fib1 2 15620 fib 1 1 36467 mark 1 46917 0 0 0 sel 2 0 sel 2 36469 s 1 1 0 mark 1 1 21394 active 1 1 21395 cons 2 39789 active 1 46917 add 2 0 add 2 43486 fib 1 0 active add s X Y add X Y false add mark X1 X2 add X1 X2 add X1 mark X2 add X1 X2 add X1 active X2 add X1 X2 add active X1 X2 add X1 X2 true cons 2 0 s 1 26053 fib1 2 0 fib1 2 35955 fib 1 1 1 mark 1 46917 0 0 0 sel 2 0 sel 2 122 s 1 0 mark 1 1 21394 active 1 1 21395 cons 2 54704 active 1 46917 add 2 2 0 add 2 1 fib 1 0 add active X1 X2 add X1 X2 add mark X1 X2 add X1 X2 add active X1 X2 add X1 X2 add mark X1 X2 add X1 X2 true cons 2 0 s 1 59833 fib1 2 0 fib1 2 29161 fib 1 1 43802 mark 1 46917 0 0 0 sel 2 0 sel 2 76385 s 1 0 mark 1 1 21394 active 1 1 53976 cons 2 61744 active 1 46917 add 2 1 0 add 2 27250 fib 1 0 mark sel X1 X2 sel mark X1 mark X2 false sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 29299 fib1 2 0 fib1 2 1 fib 1 1 1 mark 1 46917 0 0 0 sel 2 1 2 0 sel 2 32583 s 1 0 mark 1 1 1 active 1 1 2 cons 2 30810 active 1 46917 add 2 0 add 2 29297 fib 1 0 active fib1 X Y cons X fib1 Y add X Y false mark cons X1 X2 cons mark X1 X2 false cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 2 0 s 1 9050 fib1 2 0 fib1 2 1 fib 1 1 29344 mark 1 46917 0 0 0 sel 2 0 sel 2 29346 s 1 0 mark 1 1 23641 active 1 1 23642 cons 2 1065 active 1 46917 add 2 0 add 2 1 fib 1 0 NaTT certifiable-1.6