/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE active f X X mark f a b active b mark a mark f X1 X2 active f mark X1 X2 mark a active a mark b active b 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 2.2 f mark X1 X2 f X1 X2 mark f X1 X2 active f mark X1 X2 active f X X mark f a b f active X1 X2 f X1 X2 mark a active a mark f X1 X2 f mark X1 X2 active f X X f a b mark b active b f X1 active X2 f X1 X2 active b mark a mark f X1 X2 mark X1 f X1 mark X2 f X1 X2 true mark f X1 X2 mark X1 active f X X mark f a b mark f X1 X2 active f mark X1 X2 true a 0 0 b 0 1 f 2 1 41063 mark 1 1 2 mark 1 1 3 f 2 0 active 1 1 1 active 1 41065 mark f X1 X2 active f mark X1 X2 active f X X mark f a b f active X1 X2 f X1 X2 f X1 mark X2 f X1 X2 f X1 active X2 f X1 X2 f mark X1 X2 f X1 X2 active f X X mark f a b mark f X1 X2 active f mark X1 X2 true Failed! NaTT certifiable-1.6