/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE active h X mark g X X active g a X mark f b X active f X X mark h a active a mark b active h X h active X active g X1 X2 g active X1 X2 active f X1 X2 f active X1 X2 h mark X mark h X g mark X1 X2 mark g X1 X2 f mark X1 X2 mark f X1 X2 proper h X h proper X proper g X1 X2 g proper X1 proper X2 proper a ok a proper f X1 X2 f proper X1 proper X2 proper b ok b h ok X ok h X g ok X1 ok X2 ok g X1 X2 f ok X1 ok X2 ok f X1 X2 top mark X top proper X top ok X top active X 2.2 active g X1 X2 g active X1 X2 proper h X proper X top ok X top active X proper g X1 X2 proper X2 proper f X1 X2 proper X1 active f X X h a h ok X h X proper f X1 X2 proper X2 top ok X active X active h X g X X g ok X1 ok X2 g X1 X2 proper g X1 X2 g proper X1 proper X2 proper f X1 X2 f proper X1 proper X2 proper h X h proper X top mark X proper X f ok X1 ok X2 f X1 X2 f mark X1 X2 f X1 X2 active h X active X h mark X h X top mark X top proper X active f X1 X2 active X1 active g X1 X2 active X1 active g a X f b X proper g X1 X2 proper X1 active f X1 X2 f active X1 X2 g mark X1 X2 g X1 X2 active h X h active X true top mark X top proper X top ok X top active X true Failed! NaTT certifiable-1.6