def METHOD_NAME(tmpdir):
    """
    Test that a query generated from Maraboupy can be saved and loaded correctly and return timeout.
    This query is expected to be UNSAT but is currently unsolveable within one second.
    If future improvements allow the query to be solved within a second, then this test will need to be updated.
    """
    network = load_acas_network()
    # Set output constraint
    outputVars = network.outputVars[0].flatten()
    outputVar = outputVars[0]
    minOutputValue = 1500.0
    network.setLowerBound(outputVar, minOutputValue)
    # Save this query to a temporary file, and reload the query):
    queryFile = tmpdir.mkdir("query").join("query.txt").strpath
    network.saveQuery(queryFile)
    ipq = Marabou.load_query(queryFile)
    # Solve the query loaded from the file and compare to the solution of the original query
    opt = Marabou.createOptions(verbosity = 0, timeoutInSeconds = 1)
    exitCode_net, vals_net, stats_net = network.solve(options = opt)
    exitCode_ipq, vals_ipq, stats_ipq = Marabou.solve_query(ipq, options = opt)
    # Assert timeout
    assert stats_net.hasTimedOut()
    assert stats_ipq.hasTimedOut()
    assert(exitCode_net == "TIMEOUT" and exitCode_ipq == "TIMEOUT")