/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 1 s_ 0 2 s_ s_ 0 3 s_ s_ s_ 0 4 s_ s_ s_ s_ 0 5 s_ s_ s_ s_ s_ 0 6 s_ s_ s_ s_ s_ s_ 0 7 s_ s_ s_ s_ s_ s_ s_ 0 U11 tt M' N' U12 equal _>_ N' M' true M' N' U12 tt M' N' gcd d N' M' M' U21 tt M' N U22 equal _>_ M' N true U22 tt 0 U31 tt M' N U32 equal _>_ N M' true M' N U32 tt M' N s_ quot d N M' M' _*_ N 0 0 _*_ s_ N s_ M s_ _+_ N _+_ M _*_ N M _+_ N 0 N _+_ s_ N s_ M s_ s_ _+_ N M _<_ N M _>_ M N _>_ 0 M false _>_ N' 0 true _>_ s_ N s_ M _>_ N M and tt X X d 0 N N d s_ N s_ M d N M equal X X tt gcd 0 N 0 gcd N' M' U11 tt M' N' gcd N' N' N' p_ s_ N N quot M' M' s_ 0 quot N M' U21 tt M' N quot N M' U31 tt M' N d _+_ _*_ gcd 2.2 _*_ x y _*_ y x d x y d y x _+_ x y _+_ y x gcd x y gcd y x d x y d y x gcd x y gcd y x _*_ x y _*_ y x _+_ x y _+_ y x U32 tt M' N quot d N M' M' d s_ N s_ M d N M U21 tt M' N _>_ M' N U31 tt M' N _>_ N M' U21 tt M' N U22 equal _>_ M' N true _*_ s_ N s_ M _+_ N _+_ M _*_ N M U11 tt M' N' _>_ N' M' U21 tt M' N equal _>_ M' N true _*_ s_ N s_ M _+_ M _*_ N M _>_ s_ N s_ M _>_ N M U31 tt M' N U32 equal _>_ N M' true M' N quot N M' U21 tt M' N U12 tt M' N' d N' M' U11 tt M' N' equal _>_ N' M' true _<_ N M _>_ M N _+_ s_ N s_ M _+_ N M _*_ s_ N s_ M _*_ N M U11 tt M' N' U12 equal _>_ N' M' true M' N' gcd N' M' U11 tt M' N' U32 tt M' N d N M' U31 tt M' N equal _>_ N M' true U12 tt M' N' gcd d N' M' M' quot N M' U31 tt M' N _*_ x y _*_ y x _*_ s_ N s_ M _*_ N M true 7 0 0 U32 3 0 U21 3 0 1 0 0 U11 3 0 d 2 0 4 0 0 7 0 0 _+_ 2 0 5 0 0 _*_ 2 0 _+_ 2 0 gcd 2 0 equal 2 0 3 0 0 and 2 0 _*_ 2 1 2 0 6 0 0 false 0 0 2 0 0 p_ 1 0 U12 3 0 _>_ 2 0 true 0 0 _<_ 2 0 4 0 0 U12 3 0 s_ 1 1 1 0 0 0 quot 2 0 3 0 0 d 2 0 U32 3 0 _<_ 2 0 p_ 1 0 5 0 0 U11 3 0 2 0 0 U31 3 0 equal 2 0 U21 3 0 6 0 0 U22 1 0 _>_ 2 0 tt 0 0 quot 2 0 1 0 0 U22 1 0 U31 3 0 and 2 0 gcd 2 0 _*_ s_ N s_ M _*_ N M _*_ x y _*_ y x true _*_ s_ N s_ M _+_ N _+_ M _*_ N M false _*_ s_ N s_ M _+_ M _*_ N M false U12 tt M' N' gcd d N' M' M' gcd N' M' U11 tt M' N' U11 tt M' N' U12 equal _>_ N' M' true M' N' gcd x y gcd y x true Failed! NaTT certifiable-1.6