/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active f g X Y mark f X f g X Y mark f X1 X2 active f mark X1 X2 mark g X active g mark X f mark X1 X2 f X1 X2 f X1 mark X2 f X1 X2 f active X1 X2 f X1 X2 f X1 active X2 f X1 X2 g mark X g X g active X g X 2.2 mark f X1 X2 f mark X1 X2 f X1 active X2 f X1 X2 g mark X g X mark g X g mark X active f g X Y mark f X f g X Y active f g X Y f X f g X Y f mark X1 X2 f X1 X2 f X1 mark X2 f X1 X2 mark g X mark X g active X g X mark f X1 X2 mark X1 mark f X1 X2 active f mark X1 X2 mark g X active g mark X f active X1 X2 f X1 X2 true mark g X active g mark X mark f X1 X2 active f mark X1 X2 mark f X1 X2 mark X1 active f g X Y mark f X f g X Y mark g X mark X true f 2 1 2438 mark 1 1 30095 mark 1 1 30094 f 2 0 g 1 0 active 1 1 0 active 1 1 0 g 1 1 30096 f mark X1 X2 f X1 X2 g mark X g X active f g X Y mark f X f g X Y mark g X active g mark X f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 g active X g X f active X1 X2 f X1 X2 mark f X1 X2 active f mark X1 X2 active f g X Y f X f g X Y false mark g X g mark X false g mark X g X g active X g X true f 2 1 8366 mark 1 1 30095 mark 1 1 1 f 2 0 g 1 1 0 active 1 1 0 active 1 1 0 g 1 1 1 g active X g X f mark X1 X2 f X1 X2 g mark X g X active f g X Y mark f X f g X Y mark g X active g mark X f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 g active X g X f active X1 X2 f X1 X2 mark f X1 X2 active f mark X1 X2 g active X g X true f 2 1 35657 mark 1 1 30095 mark 1 1 1 f 2 0 g 1 1 0 active 1 1 1 active 1 0 g 1 29283 f mark X1 X2 f X1 X2 g mark X g X f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 g active X g X f active X1 X2 f X1 X2 mark f X1 X2 f mark X1 X2 false f active X1 X2 f X1 X2 f mark X1 X2 f X1 X2 f X1 active X2 f X1 X2 f X1 mark X2 f X1 X2 true f 2 1 1324 mark 1 1 30095 mark 1 1 1 f 2 2 0 g 1 0 active 1 1 1 active 1 0 g 1 47339 f mark X1 X2 f X1 X2 f active X1 X2 f X1 X2 f mark X1 X2 f X1 X2 g mark X g X f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 g active X g X f active X1 X2 f X1 X2 f mark X1 X2 f X1 X2 f active X1 X2 f X1 X2 true f 2 1 1324 mark 1 1 30095 mark 1 1 1 f 2 1 0 g 1 0 active 1 1 1 active 1 0 g 1 34725 f mark X1 X2 f X1 X2 g mark X g X f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 g active X g X f active X1 X2 f X1 X2 NaTT certifiable-1.6