def test_optimize_multi_param(self):
print(colored("optimize test with three params four functions", 'blue'))
functions = get_all_f("bee_multiparam_synchronous_3.txt", "prism", True)
functions = functions[3]
print(functions)
d = [0.2, 0.3, 0.4, 0.1]
print(d)
result = optimize(functions, ["r_0", "r_1", "r_2"], [[0, 1], [0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
def test_optimize_two_param(self):
print(colored("optimize test with two params three functions", 'blue'))
functions = get_all_f("synchronous_2.txt", "prism", True)
functions = functions[2]
print(functions)
d = load_pickled_data("data")
print("data_point", d)
result = optimize(functions, ["p", "q"], [[0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
def test_optimize_two_param(self):
print(colored("optimize test with two params three functions", 'blue'))
warnings.warn("This test contains nondeterministic code, please check the results manually!!", RuntimeWarning)
functions = get_all_f(os.path.join(cwd, "results/prism_results/asynchronous_2.txt"), "prism", True)
functions = functions[2]
print("functions", functions)
d = pickle_load(os.path.join(data_dir, "data.p"))
print("data_point", d)
result = optimize.optimize(functions, ["p", "q"], [[0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
def test_optimize_multi_param(self):
print(colored("optimize test with three params four functions", 'blue'))
warnings.warn("This test contains nondeterministic code, please check the results manually!!", RuntimeWarning)
functions = get_all_f(os.path.join(cwd, "results/prism_results/multiparam_synchronous_3.txt"), "prism", True)
functions = functions[3]
print(functions)
d = [0.2, 0.3, 0.4, 0.1]
print(d)
result = optimize.optimize(functions, ["p", "q1", "q2"], [[0, 1], [0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
def test_optimize_three_functions(self):
print(colored("optimize test with two params four functions", 'blue'))
## RefinedSpace(region, params, types=None, rectangles_sat=False, rectangles_unsat=False, rectangles_unknown=None, sat_samples=None, unsat_samples=None, true_point=False, title=False):
functions = get_all_f("synchronous_3.txt", "prism", True)
functions = functions[3]
print(functions)
d = [0.2, 0.3, 0.4, 0.1]
print(d)
result = optimize(functions, ["p", "q"], [[0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
def test_optimize_three_functions(self):
print(colored("optimize test with two params four functions", 'blue'))
warnings.warn("This test contains nondeterministic code, please check the results manually!!", RuntimeWarning)
## RefinedSpace(region, params, types=None, rectangles_sat=False, rectangles_unsat=False, rectangles_unknown=None, sat_samples=None, unsat_samples=None, true_point=False, title=False):
functions = get_all_f(os.path.join(cwd, "results/prism_results/asynchronous_3.txt"), "prism", True)
functions = functions[3]
print("functions", functions)
d = [0.2, 0.3, 0.4, 0.1]
print(d)
result = optimize.optimize(functions, ["p", "q"], [[0, 1], [0, 1]], d)
print("parameter point", result[0])
print("function values", result[1])
print("distance", result[2])
import socket
from synthetise import check_deeper
from load import get_all_f, load_pickled_data
from common.math import create_intervals
## LOAD DATA
start_time = time.time()
D3 = load_pickled_data("Data_two_param")
print(
f" It took {socket.gethostname()} {time.time() - start_time} seconds to load data"
)
## LOAD POLYNOMIALS
start_time = time.time()
functions = get_all_f("./sem*[0-9].txt", True)
print(
f" It took {socket.gethostname()} {time.time() - start_time} seconds to load polynomials"
)
## GET TO THE RIGHT DIRECTORY
os.chdir("..")
try:
os.mkdir("performance_results")
except:
print("Folder performance_results probably already exists")
os.chdir("performance_results")
## LOAD PARAMETER VALUES
p_values = sorted([
0.028502714675268215, 0.45223461506339047, 0.8732745414252937,