/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES min x 0 0 min 0 y 0 min s x s y s min x y max x 0 x max 0 y y max s x s y s max x y - x 0 x - s x s y - x y gcd s x 0 s x gcd 0 s x s x gcd s x s y gcd - max x y min x y s min x y 2.2 gcd s x s y gcd - max x y min x y s min x y gcd s x s y min x y min s x s y min x y gcd s x s y min x y gcd s x s y - max x y min x y max s x s y max x y - s x s y - x y gcd s x s y max x y true gcd s x s y gcd - max x y min x y s min x y true s 1 1 35544 gcd 2 0 min 2 0 0 0 1 max 2 1 1 2 2 0 max 2 0 - 2 1 34723 2 251 0 min 2 1 817 0 - 2 0 gcd 2 1 818 2 0 0 max x 0 x - s x s y - x y min x 0 0 min s x s y s min x y max 0 y y - x 0 x max s x s y s max x y min 0 y 0 gcd s x s y - max x y min x y false - s x s y - x y true s 1 1 1 gcd 2 0 min 2 0 0 0 35232 max 2 15922 max 2 0 - 2 0 min 2 35231 - 2 1 0 gcd 2 0 gcd s x s y max x y false max s x s y max x y true s 1 1 1 gcd 2 0 min 2 0 0 0 35232 max 2 52868 max 2 2 0 - 2 0 min 2 35231 - 2 0 gcd 2 0 gcd s x s y min x y false gcd s x s y min x y false min s x s y min x y true s 1 1 1 gcd 2 0 min 2 2 0 0 0 35232 max 2 44364 max 2 0 - 2 0 min 2 35231 - 2 0 gcd 2 0 NaTT certifiable-1.6