f_69 = F.G(range(0, 30 + 1), f_68) f_70 = F.add_predicate(2, "<=", 1.05) f_71 = F.G(range(30, 45 + 1), f_70) f_72 = F.Conj([f_69, f_71]) f_73 = F.add_predicate(2, "<=", 1.05) f_74 = F.G(range(45, 105 + 1), f_73) f_75 = F.add_predicate(2, ">=", 0.0) f_76 = F.G(range(0, 15 + 1), f_75) f_77 = F.Conj([f_74, f_76]) f_78 = F.Conj([f_72, f_77]) f_79 = F.add_predicate(2, ">=", 0.3) f_80 = F.G(range(15, 45 + 1), f_79) f_81 = F.add_predicate(2, ">=", 0.45) f_82 = F.G(range(45, 60 + 1), f_81) f_83 = F.Conj([f_80, f_82]) f_84 = F.add_predicate(2, ">=", 0.6) f_85 = F.G(range(60, 75 + 1), f_84) f_86 = F.add_predicate(2, ">=", 0.75) f_87 = F.G(range(75, 90 + 1), f_86) f_88 = F.Conj([f_85, f_87]) f_89 = F.Conj([f_83, f_88]) f_90 = F.Conj([f_78, f_89]) f_91 = F.add_predicate(2, ">=", 0.6) f_92 = F.G(range(90, 105 + 1), f_91) f_93 = F.Conj([f_90, f_92]) f_94 = F.Disj([f_67, f_93]) f_95 = F.Conj([f_44, f_94]) r = directed_distance(F, f_95, f_12) print(r)
f_12 = F.Conj([f_5, f_11]) f_13 = F.add_predicate(1, "<=", 0.8) f_14 = F.G(range(0, 30 + 1), f_13) f_15 = F.add_predicate(1, "<=", 0.9) f_16 = F.G(range(30, 60 + 1), f_15) f_17 = F.Conj([f_14, f_16]) f_18 = F.add_predicate(1, "<=", 1.2) f_19 = F.G(range(60, 120 + 1), f_18) f_20 = F.add_predicate(1, ">=", 0.0) f_21 = F.G(range(0, 30 + 1), f_20) f_22 = F.Conj([f_19, f_21]) f_23 = F.Conj([f_17, f_22]) f_24 = F.add_predicate(1, ">=", 0.3) f_25 = F.G(range(30, 60 + 1), f_24) f_26 = F.add_predicate(1, ">=", 0.6) f_27 = F.G(range(60, 120 + 1), f_26) f_28 = F.Conj([f_25, f_27]) f_29 = F.Conj([f_23, f_28]) f_30 = F.add_predicate(2, "<=", 0.9) f_31 = F.G(range(0, 30 + 1), f_30) f_32 = F.add_predicate(2, "<=", 1.2) f_33 = F.G(range(30, 120 + 1), f_32) f_34 = F.Conj([f_31, f_33]) f_35 = F.add_predicate(2, ">=", 0.0) f_36 = F.G(range(0, 120 + 1), f_35) f_37 = F.Conj([f_34, f_36]) f_38 = F.Conj([f_29, f_37]) r = directed_distance(F, f_38, f_12) print(r)
f_15 = F.add_predicate(1, "<=", 1.05) f_16 = F.G(range(35, 70 + 1), f_15) f_17 = F.Conj([f_14, f_16]) f_18 = F.add_predicate(1, "<=", 1.25) f_19 = F.G(range(70, 105 + 1), f_18) f_20 = F.add_predicate(1, ">=", 0.0) f_21 = F.G(range(0, 35 + 1), f_20) f_22 = F.Conj([f_19, f_21]) f_23 = F.Conj([f_17, f_22]) f_24 = F.add_predicate(1, ">=", 0.35) f_25 = F.G(range(35, 70 + 1), f_24) f_26 = F.add_predicate(1, ">=", 0.7) f_27 = F.G(range(70, 105 + 1), f_26) f_28 = F.Conj([f_25, f_27]) f_29 = F.Conj([f_23, f_28]) f_30 = F.add_predicate(2, "<=", 0.95) f_31 = F.G(range(0, 35 + 1), f_30) f_32 = F.add_predicate(2, "<=", 1.05) f_33 = F.G(range(35, 70 + 1), f_32) f_34 = F.Conj([f_31, f_33]) f_35 = F.add_predicate(2, "<=", 1.25) f_36 = F.G(range(70, 105 + 1), f_35) f_37 = F.add_predicate(2, ">=", 0.0) f_38 = F.G(range(0, 105 + 1), f_37) f_39 = F.Conj([f_36, f_38]) f_40 = F.Conj([f_34, f_39]) f_41 = F.Conj([f_29, f_40]) r = directed_distance(F, f_12, f_41) print(r)
f_60 = F.G(range(0, 40 + 1), f_59) f_61 = F.add_predicate(2, "<=", 1.0) f_62 = F.G(range(40, 60 + 1), f_61) f_63 = F.Conj([f_60, f_62]) f_64 = F.add_predicate(2, "<=", 1.1) f_65 = F.G(range(60, 80 + 1), f_64) f_66 = F.add_predicate(2, "<=", 1.1) f_67 = F.G(range(80, 100 + 1), f_66) f_68 = F.Conj([f_65, f_67]) f_69 = F.Conj([f_63, f_68]) f_70 = F.add_predicate(2, ">=", 0.0) f_71 = F.G(range(0, 20 + 1), f_70) f_72 = F.add_predicate(2, ">=", 0.2) f_73 = F.G(range(20, 40 + 1), f_72) f_74 = F.Conj([f_71, f_73]) f_75 = F.add_predicate(2, ">=", 0.4) f_76 = F.G(range(40, 60 + 1), f_75) f_77 = F.add_predicate(2, ">=", 0.6) f_78 = F.G(range(60, 80 + 1), f_77) f_79 = F.Conj([f_76, f_78]) f_80 = F.Conj([f_74, f_79]) f_81 = F.Conj([f_69, f_80]) f_82 = F.add_predicate(2, ">=", 0.8) f_83 = F.G(range(80, 100 + 1), f_82) f_84 = F.Conj([f_81, f_83]) f_85 = F.Disj([f_58, f_84]) f_86 = F.Conj([f_38, f_85]) r = directed_distance(F, f_86, f_12) print(r)