/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active f x mark f f x chk no f x f chk mat f f f f f f f f f f X x mat f x f y f mat x y chk no c active c mat f x c no c f active x active f x f no x no f x f mark x mark f x tp mark x tp chk mat f f f f f f f f f f X x 2.2 chk no f x chk mat f f f f f f f f f f X x f no x f x chk no f x f f f f f f f f X chk no f x f X chk no f x f f f f f X chk no f x f f f X tp mark x f f f f f X tp mark x f f f f f f X chk no f x f f X mat f x f y mat x y f active x active f x mat f x f y f mat x y tp mark x f f f f X tp mark x f f f f f f f f f X chk no f x f f f f f f f X chk no f x f f f f X f mark x f x chk no f x f f f f f f f f f X tp mark x f X tp mark x f f f f f f f X chk no c active c tp mark x f f X tp mark x chk mat f f f f f f f f f f X x active f x f f x tp mark x f f f f f f f f f f X tp mark x f f f X tp mark x f f f f f f f f X tp mark x tp chk mat f f f f f f f f f f X x chk no f x mat f f f f f f f f f f X x chk no f x f chk mat f f f f f f f f f f X x chk no f x f f f f f f X f active x f x chk no f x f f f f f f f f f f X tp mark x mat f f f f f f f f f f X x true tp mark x tp chk mat f f f f f f f f f f X x true 2 1 tp 1 0 0 y 0 6830 62746 no 1 1 58214 58214 mat 2 0 0 chk 1 0 0 1 1 1 86386 38642 c 0 105958 58214 f 1 0 1 1 0 1 19134 0 mark 1 0 1 1 0 1 96856 77722 f 1 0 0 tp 1 0 0 1 0 1 0 0 active 1 1 96856 96856 mat 2 1 1 1 0 2 0 10470 active 1 0 0 X 0 25947 4581 chk 1 0 0 chk no c active c f mark x mark f x active f x mark f f x mat f x f y f mat x y mat f x c no c f no x no f x f active x active f x chk no f x f chk mat f f f f f f f f f f X x tp mark x mat f f f f f f f f f f X x false tp mark x f f f f f f X false tp mark x f f f f f X false tp mark x f f f f X false tp mark x f f f f f f f f X false tp mark x f f f X false tp mark x f f f f f f f f f f X false tp mark x chk mat f f f f f f f f f f X x false tp mark x f f X false tp mark x f f f f f f f X false tp mark x f X false chk no f x chk mat f f f f f f f f f f X x true tp 1 0 y 0 1 no 1 1 27828 mat 2 0 chk 1 36229 c 0 2447 f 1 1 16908 mark 1 37070 f 1 0 tp 1 0 active 1 37070 mat 2 2 44735 active 1 0 X 0 39825 chk 1 1 0 f mark x mark f x active f x mark f f x mat f x f y f mat x y mat f x c no c f no x no f x f active x active f x chk no f x f chk mat f f f f f f f f f f X x false f active x active f x f active x f x active f x f f x f mark x f x f no x f x true tp 1 0 y 0 12213 no 1 1 28224 mat 2 0 chk 1 17067 c 0 38472 f 1 1 1 mark 1 1 2 f 1 1 0 tp 1 0 active 1 1 3 mat 2 2 28224 active 1 1 1 X 0 62709 chk 1 1 0 f mark x mark f x active f x mark f f x mat f x f y f mat x y mat f x c no c f no x no f x f active x active f x chk no f x mat f f f f f f f f f f X x false mat f x f y f mat x y false mat f x f y mat x y false chk no f x f f f f f f f f f f X false chk no f x f f f f f f f f f X false chk no f x f f f f f f f f X false chk no f x f f f f f f f X false chk no f x f f f f f f X false chk no f x f f f f f X false chk no f x f f f f X false chk no f x f f f X false chk no f x f f X false chk no f x f X false chk no c active c false tp mark x f f f f f f f f f X false NaTT certifiable-1.6