/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 minus x 0 x minus s x s y s minus x any y gcd s x s y gcd minus max x y min x y s min x y any s x s s any x any x x 2.2 gcd s x s y gcd minus max x y min x y s min x y gcd s x s y min x y minus s x s y minus x any y any s x any x minus s x s y any y gcd s x s y min x y gcd s x s y minus max x y min x y max s x s y max x y min s x s y min x y gcd s x s y max x y true gcd s x s y gcd minus max x y min x y s min x y true s 1 1 30911 minus 2 1 1 0 gcd 2 0 any 1 44022 min 2 0 any 1 0 0 0 1 max 2 1 10088 2 10089 0 max 2 0 minus 2 0 min 2 1 20819 0 gcd 2 1 20820 2 0 0 max x 0 x minus s x s y s minus x any y min x 0 0 min s x s y s min x y max 0 y y minus x 0 x max s x s y s max x y min 0 y 0 gcd s x s y minus max x y min x y false minus s x s y minus x any y true s 1 1 1 minus 2 1 34725 gcd 2 0 any 1 28882 min 2 0 any 1 0 0 0 10317 max 2 3081 max 2 0 minus 2 1 0 min 2 10316 gcd 2 0 minus s x s y any y false any s x any x true s 1 1 1 minus 2 1 34725 gcd 2 0 any 1 40519 min 2 0 any 1 1 0 0 0 10317 max 2 33855 max 2 0 minus 2 0 min 2 10316 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 minus 2 1 49485 gcd 2 0 any 1 27463 min 2 0 any 1 0 0 0 10317 max 2 40436 max 2 2 0 minus 2 0 min 2 10316 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 minus 2 1 41684 gcd 2 0 any 1 17067 min 2 1 0 any 1 0 0 0 21136 max 2 40436 max 2 0 minus 2 0 min 2 21135 gcd 2 0 NaTT certifiable-1.6