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