/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active f 0 mark cons 0 f s 0 active f s 0 mark f p s 0 active p s 0 mark 0 mark f X active f mark X mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark p X active p mark X f mark X f X f active X f 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 p mark X p X p active X p X 2.2 active f s 0 f p s 0 mark f X f mark X mark cons X1 X2 mark X1 mark s X s mark X cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 mark p X active p mark X active f 0 s 0 mark s X active s mark X p active X p X mark s X mark X mark f X mark X mark p X p mark X active f 0 mark cons 0 f s 0 cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 mark f X active f mark X active f 0 f s 0 s mark X s X p mark X p X active p s 0 mark 0 mark p X mark X active f 0 cons 0 f s 0 mark 0 active 0 active f s 0 p s 0 active f s 0 mark f p s 0 f mark X f X f active X f X mark cons X1 X2 active cons mark X1 X2 s active X s X true mark cons X1 X2 active cons mark X1 X2 mark f X mark X mark s X mark X mark s X active s mark X active f s 0 mark f p s 0 mark p X active p mark X mark p X mark X mark cons X1 X2 mark X1 mark f X active f mark X active f 0 mark cons 0 f s 0 true cons 2 0 s 1 2998 p 1 0 f 1 29284 p 1 29283 mark 1 29284 0 0 29286 s 1 0 mark 1 29285 f 1 0 active 1 1 0 cons 2 29283 active 1 1 0 active f 0 mark cons 0 f s 0 mark f X active f mark X mark cons X1 X2 mark X1 mark p X mark X active f s 0 mark f p s 0 mark s X mark X mark f X mark X p active X p X s mark X s X s active X s X p mark X p X f active X f X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark f X mark X mark f X active f mark X mark p X mark X active f 0 mark cons 0 f s 0 mark s X mark X mark cons X1 X2 mark X1 active f s 0 mark f p s 0 true cons 2 0 s 1 1 0 p 1 0 f 1 1 842 p 1 1 0 mark 1 1 0 0 0 0 s 1 0 mark 1 1 592 f 1 0 active 1 1 0 cons 2 1 841 active 1 842 active f s 0 mark f p s 0 mark s X mark X mark p X mark X mark f X active f mark X p active X p X s mark X s X s active X s X p mark X p X f active X f X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark p X mark X mark s X mark X true cons 2 0 s 1 1 0 p 1 0 f 1 1 8021 p 1 1 1 mark 1 1 0 0 0 0 s 1 0 mark 1 1 869 f 1 0 active 1 1 0 cons 2 1 19335 active 1 842 mark s X mark X p active X p X s mark X s X s active X s X p mark X p X f active X f X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark s X mark X true cons 2 0 s 1 1 1 p 1 0 f 1 1 7579 p 1 1 1 mark 1 1 0 0 0 0 s 1 0 mark 1 1 3 f 1 0 active 1 1 0 cons 2 1 48178 active 1 842 p active X p X s mark X s X s active X s X p mark X p X f active X f X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark f X active f mark X active f s 0 mark f p s 0 true cons 2 0 s 1 1 5602 p 1 0 f 1 1 38871 p 1 5600 mark 1 1 2 0 0 1 s 1 0 mark 1 1 1 f 1 0 active 1 1 0 cons 2 1 38870 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark cons X1 X2 cons mark X1 X2 false cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 18006 p 1 0 f 1 1 48293 p 1 45381 mark 1 1 2 0 0 27376 s 1 0 mark 1 1 1 f 1 0 active 1 1 0 cons 2 1 45545 active 1 1 0 cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 2 0 s 1 1 20535 p 1 0 f 1 1 60667 p 1 3025 mark 1 1 2 0 0 3024 s 1 0 mark 1 1 1 f 1 0 active 1 1 0 cons 2 1 31729 active 1 1 0 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 10108 p 1 0 f 1 30542 p 1 30542 mark 1 1 2 0 0 0 s 1 0 mark 1 30543 f 1 0 active 1 1 1 cons 2 8704 active 1 1 0 cons X1 active X2 cons X1 X2 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 cons X1 active X2 cons X1 X2 true cons 2 2 0 s 1 10108 p 1 0 f 1 30542 p 1 30542 mark 1 1 2 0 0 0 s 1 0 mark 1 30543 f 1 0 active 1 1 1 cons 2 1 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark s X s mark X false s active X s X s mark X s X true cons 2 0 s 1 16335 p 1 0 f 1 26170 p 1 38368 mark 1 1 2 0 0 0 s 1 1 0 mark 1 1 1 f 1 0 active 1 1 1 cons 2 1 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark p X p mark X false p active X p X p mark X p X true cons 2 0 s 1 29273 p 1 1 0 f 1 1 p 1 39990 mark 1 1 2 0 0 0 s 1 0 mark 1 1 1 f 1 0 active 1 1 1 cons 2 1 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 active f s 0 f p s 0 false active f s 0 p s 0 false active p s 0 mark 0 false mark 0 active 0 false active f 0 cons 0 f s 0 false active f 0 f s 0 false active f 0 s 0 false mark f X f mark X false f active X f X f mark X f X true cons 2 0 s 1 29161 p 1 0 f 1 41777 p 1 44249 mark 1 1 2 0 0 0 s 1 0 mark 1 1 1 f 1 1 0 active 1 1 1 cons 2 26815 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s 0 mark 0 s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 NaTT certifiable-1.6