import compute_target_precision

if __name__ == "__main__":
    # intervals
    domain = "int"
    for oracle in ["none", "pos-nonrel", "def-nonrel"]:
        compute_target_precision.process(oracle, domain)
    # polyhedra
    domain = "pk-ap-pplite"
    for oracle in ["none", "pos-nonrel", "def-nonrel", "pos-rel", "def-rel"]:
        compute_target_precision.process(oracle, domain)

