evaluate_v1.py

#!/bin/python3
# import logging.config
import os
import time

# logging.config.fileConfig('logging.conf')

cards = ["16", "8", "4", "2", "1"]
cores = ["4", "8", "16", "32"]
numScenarios = 10

solver_path = "solver_apps/org.sat4j.core.jar"

start_time = time.time()
modelPath = "./data/linux/linux.cnf"
for card in cards:
    for i in range(numScenarios):
        reqPath = "./data/linux/prod_{}_{}.cnf".format(card, i + 1)

        print(
            "python3 ./fastdiag.py " + modelPath + " " + reqPath + " " + solver_path)
        os.system(
            "python3 ./fastdiag.py " + modelPath + " " + reqPath + " " + solver_path + " >>" + " resultFastDiag.csv")

        for core in cores:
            print(
                "python3 ./fastdiagp_v2_1.py " + modelPath + " " + reqPath + " " + solver_path + " " + core)
            os.system(
                "python3 ./fastdiagp_v2_1.py " + modelPath + " " + reqPath + " " + solver_path + " " + core + " >>"
                + " resultFastDiagPV2_1_0.csv")

total_time = time.time() - start_time
print("Sat4j time: " + str(total_time))