/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE active f X g X Y mark f Y Y Y active g b mark c active b mark c mark f X1 X2 X3 active f X1 X2 X3 mark g X active g mark X mark b active b mark c active c f mark X1 X2 X3 f X1 X2 X3 f X1 mark X2 X3 f X1 X2 X3 f X1 X2 mark X3 f X1 X2 X3 f active X1 X2 X3 f X1 X2 X3 f X1 active X2 X3 f X1 X2 X3 f X1 X2 active X3 f X1 X2 X3 g mark X g X g active X g X 2.2 mark b active b f X1 active X2 X3 f X1 X2 X3 active b mark c f X1 X2 mark X3 f X1 X2 X3 mark g X g mark X mark g X mark X active f X g X Y mark f Y Y Y g mark X g X mark g X active g mark X f active X1 X2 X3 f X1 X2 X3 g active X g X f mark X1 X2 X3 f X1 X2 X3 f X1 X2 active X3 f X1 X2 X3 active g b mark c mark c active c active f X g X Y f Y Y Y f X1 mark X2 X3 f X1 X2 X3 mark f X1 X2 X3 active f X1 X2 X3 true mark f X1 X2 X3 active f X1 X2 X3 active f X g X Y mark f Y Y Y mark g X mark X mark g X active g mark X true b 0 1 c 0 5 f 3 1 mark 1 1 0 mark 1 1 40651 f 3 0 g 1 0 active 1 1 40652 active 1 1 g 1 1 2 active f X g X Y mark f Y Y Y mark f X1 X2 X3 active f X1 X2 X3 f mark X1 X2 X3 f X1 X2 X3 f X1 X2 mark X3 f X1 X2 X3 f X1 active X2 X3 f X1 X2 X3 f active X1 X2 X3 f X1 X2 X3 f X1 mark X2 X3 f X1 X2 X3 f X1 X2 active X3 f X1 X2 X3 mark f X1 X2 X3 active f X1 X2 X3 active f X g X Y mark f Y Y Y true Failed! NaTT certifiable-1.6