/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active f f a mark f g f a active f X f active X f mark X mark f X proper f X f proper X proper a ok a proper g X g proper X f ok X ok f X g ok X ok g X top mark X top proper X top ok X top active X 2.2 active f X active X top mark X proper X g ok X g X top ok X active X active f f a f g f a active f f a g f a proper f X f proper X f ok X f X f mark X f X top mark X top proper X proper g X g proper X active f X f active X top ok X top active X proper f X proper X proper g X proper X true top ok X top active X top mark X top proper X true a 0 67343 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 40113 ok 1 1 0 mark 1 1 40114 f 1 0 g 1 0 proper 1 0 active 1 1 0 active 1 0 g 1 27230 top ok X top active X proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X top ok X top active X true a 0 1 top 1 0 top 1 1 0 f 1 1 24452 proper 1 1 81807 ok 1 1 81807 mark 1 1 29364 f 1 0 g 1 0 proper 1 0 active 1 1 63219 active 1 0 g 1 1 33855 proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X top mark X proper X false proper g X proper X proper f X proper X true a 0 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 36412 ok 1 1 36412 mark 1 1 1 f 1 0 g 1 0 proper 1 1 0 active 1 1 63219 active 1 0 g 1 1 33855 proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X proper g X g proper X false g ok X g X true a 0 1 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 38690 ok 1 1 7579 mark 1 1 12280 f 1 0 g 1 1 0 proper 1 0 active 1 1 63219 active 1 0 g 1 1 29405 proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X proper f X f proper X false top ok X active X false active f X active X true a 0 19265 top 1 0 top 1 1 0 f 1 1 1 proper 1 1 7579 ok 1 1 2332 mark 1 1 29291 f 1 0 g 1 0 proper 1 0 active 1 1 80230 active 1 1 0 g 1 1 1 proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X active f X f active X false f mark X f X f ok X f X true a 0 1 top 1 0 top 1 1 0 f 1 1 27251 proper 1 1 32742 ok 1 1 24338 mark 1 1 1 f 1 1 0 g 1 0 proper 1 0 active 1 1 52630 active 1 0 g 1 1 52629 proper f X f proper X g ok X ok g X active f f a mark f g f a f mark X mark f X proper a ok a f ok X ok f X proper g X g proper X active f X f active X active f f a f g f a false active f f a g f a false NaTT certifiable-1.6