import compare_target_precision

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