commit 9c494bac60061fbd8528d7a7518edcb4ae7464a0 · dekker.one/on-restart-benchmarks

+107 -55

analyse_chuffed.py

···

       13
        
       import re

     

       14
        
       import sys

     

       15
        
       

     

       0
        
       
     

       0
        
       
     

       16
        
       

     

       17
        
       def compute_area(file, time):

     

       18
        
           area = -1

     
···

       30
        
               if match:

     

       31
        
                   objectives.append(int(match.group(1)))

     

       32
        
                   continue

     

       33
       -
               match = re.match(r"%\stime elapsed:\s(\d+)\sms", line)

     

       34
        
               if match:

     

       35
       -
                   times.append(int(match.group(1)))

     

       36
        
                   continue

     

       37
       -
           times.append(time)

     

       0
        
       
     

       0
        
       
     

       38
        
       

     

       39
        
           assert len(objectives) > 0

     

       40
        
           assert len(objectives) + 1 == len(times)

     

       41
        
           area = 0

     

       42
        
           for i in range(len(objectives)):

     

       43
       -
               area += ((times[i + 1] - times[i]) / 1000) * objectives[i]

     

       44
        
           return int(area)

     

       45
        
       

     

       46
        
       

     

       47
        
       folder = sys.argv[1]

     

       48
       -
       stats = {}

     

       49
       -
       for root, dirs, files in os.walk(folder):

     

       50
       -
           for name in files:

     

       51
       -
               if name.endswith(".sol"):

     

       52
       -
                   seed = 1

     

       53
       -
                   match = re.search(r"\.(\d+)\.sol", name)

     

       54
       -
                   if match:

     

       55
       -
                       seed = int(match.group(1))

     

       56
       -
                   with open(os.path.join(root, name)) as f:

     

       57
       -
                       contents = f.readlines()

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       58
        
       

     

       59
       -
                   statistics = {}

     

       60
       -
                   print(contents)

     

       61
       -
                   for line in contents:

     

       62
       -
                       # Nodes

     

       63
       -
                       match = re.search(r"nodes=(\d+)", line)

     

       64
       -
                       if match:

     

       65
       -
                           statistics["nodes"] = int(match.group(1))

     

       66
       -
                           continue

     

       67
       -
                       # Solve time

     

       68
       -
                       match = re.search(r"solveTime=(\d+\.\d+)", line)

     

       69
       -
                       if match:

     

       70
       -
                           statistics["search_time"] = int(float(match.group(1)) * 1000)

     

       71
       -
                           continue

     

       72
       -
                       # Restarts

     

       73
       -
                       match = re.search(r"restart count:\s+(\d+)", line)

     

       74
       -
                       if match:

     

       75
       -
                           statistics["restarts"] = int(match.group(1))

     

       76
       -
                           continue

     

       77
        
       

     

       78
       -
                   for line in contents[::-1]:

     

       79
       -
                       # Best objective

     

       80
       -
                       match = re.match(r"objective\s=\s(\d+)", line)

     

       81
       -
                       if match:

     

       82
       -
                           statistics["objective"] = int(match.group(1))

     

       83
       -
                           break

     

       84
       -
                   # Area

     

       85
       -
                   area = compute_area(contents, statistics["search_time"])

     

       86
        
       

     

       87
       -
                   stats[name[:-(4)].replace(".", ",")] = (

     

       88
       -
                       area,

     

       89
       -
                       statistics["objective"],

     

       90
       -
                       statistics["search_time"],

     

       91
       -
                       statistics["restarts"],

     

       92
       -
                       statistics["nodes"],

     

       93
       -
                   )

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       94
        
       

     

       95
       -
       sorted_stats = sorted(stats.items())

     

       96
       -
       a = sorted_stats[0][0][: sorted_stats[0][0].find(",")]

     

       97
       -
       for key, val in sorted_stats:

     

       98
       -
           if key[: key.find(",")] != a:

     

       99
       -
               print("\n\n")

     

       100
       -
               a = key[: key.find(",")]

     

       101
       -
           print("%s,%s" % (key, ",".join([v.__str__() for v in val])))

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       102
        
       

     

       103
       -
       exit(1)

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0

···

       13
        
       import re

     

       14
        
       import sys

     

       15
        
       

     

       16
       +
       from statistics import stdev

     

       17
       +
       

     

       18
        
       

     

       19
        
       def compute_area(file, time):

     

       20
        
           area = -1

     
···

       32
        
               if match:

     

       33
        
                   objectives.append(int(match.group(1)))

     

       34
        
                   continue

     

       35
       +
               match = re.match(r"%\stime elapsed:\s(\d+\.\d+)\ss", line)

     

       36
        
               if match:

     

       37
       +
                   times.append(float(match.group(1)))

     

       38
        
                   continue

     

       39
       +
           # Not proven optimal

     

       40
       +
           if len(times) == len(objectives):

     

       41
       +
               times.append(time)

     

       42
        
       

     

       43
        
           assert len(objectives) > 0

     

       44
        
           assert len(objectives) + 1 == len(times)

     

       45
        
           area = 0

     

       46
        
           for i in range(len(objectives)):

     

       47
       +
               area += (times[i + 1] - times[i]) * objectives[i]

     

       48
        
           return int(area)

     

       49
        
       

     

       50
        
       

     

       51
        
       folder = sys.argv[1]

     

       52
       +
       statistics = dict()

     

       53
       +
       instances = set()

     

       54
       +
       for config in ["original", "restart"]:

     

       55
       +
           for root, dirs, files in os.walk(folder + "/" + config):

     

       56
       +
               for name in files:

     

       57
       +
                   if name.endswith(".sol"):

     

       58
       +
                       components = name[:-(4)].split(".")

     

       59
       +
                       data = components[0]

     

       60
       +
                       instances.add(data)

     

       61
       +
                       seed = 1

     

       62
       +
                       if len(components) > 1:

     

       63
       +
                           assert len(components) == 2

     

       64
       +
                           seed = components[1]

     

       65
        
       

     

       66
       +
                       if data not in statistics:

     

       67
       +
                           statistics[data] = dict()

     

       68
       +
                       if config not in statistics[data]:

     

       69
       +
                           statistics[data][config] = []

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       70
        
       

     

       71
       +
                       with open(os.path.join(root, name)) as f:

     

       72
       +
                           contents = f.readlines()

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       73
        
       

     

       74
       +
                       nodes = None

     

       75
       +
                       solvetime = None

     

       76
       +
                       restarts = None

     

       77
       +
                       objective = None

     

       78
       +
                       for line in contents:

     

       79
       +
                           # Nodes

     

       80
       +
                           match = re.search(r"%%%mzn-stat: nodes=(\d+)", line)

     

       81
       +
                           if match:

     

       82
       +
                               nodes = int(match.group(1))

     

       83
       +
                               continue

     

       84
       +
                           # Solve time

     

       85
       +
                           match = re.search(r"%%%mzn-stat: solveTime=(\d+\.\d+)", line)

     

       86
       +
                           if match:

     

       87
       +
                               solvetime = float(match.group(1))

     

       88
       +
                               continue

     

       89
       +
                           # Restarts

     

       90
       +
                           match = re.search(r"%%%mzn-stat: restarts=(\d+)", line)

     

       91
       +
                           if match:

     

       92
       +
                               restarts = int(match.group(1))

     

       93
       +
                               continue

     

       94
        
       

     

       95
       +
                       for line in contents[::-1]:

     

       96
       +
                           # Best objective

     

       97
       +
                           match = re.match(r"%%%mzn-stat: objective=(-?\d+)", line)

     

       98
       +
                           if match:

     

       99
       +
                               objective = int(match.group(1))

     

       100
       +
                               break

     

       101
       +
                       # Area

     

       102
       +
                       area = compute_area(contents, solvetime)

     

       103
       +
       

     

       104
       +
                       statistics[data][config].append(

     

       105
       +
                           (

     

       106
       +
                               area,

     

       107
       +
                               objective,

     

       108
       +
                               solvetime,

     

       109
       +
                               restarts,

     

       110
       +
                               nodes,

     

       111
       +
                           )

     

       112
       +
                       )

     

       113
       +
       

     

       114
       +
       for data in instances:

     

       115
       +
           for config in ["original", "restart"]:

     

       116
       +
               stats = statistics[data][config]

     

       117
       +
               cumulative = stats[0]

     

       118
       +
               for i in range(1, len(stats)):

     

       119
       +
                   cumulative = tuple(map(sum, zip(cumulative, stats[i])))

     

       120
       +
               avg = tuple([x / len(stats) for x in cumulative])

     

       121
       +
               dev = stdev([x[1] for x in stats]) if len(stats) > 1 else 0

     

       122
       +
               # (avg area, avg objective, stdev objective)

     

       123
       +
               statistics[data][config] = (avg[0], avg[1], dev)

     

       124
        
       

     

       125
       +
       # Print header

     

       126
       +
       print(

     

       127
       +
           """

     

       128
       +
       \\begin{tabular}{l|rr|rr|rr}

     

       129
       +
       \\toprule

     

       130
       +
       & \multicolumn{2}{c|}{Chuffed} & \multicolumn{2}{c|}{Chuffed Restart} \\\\

     

       131
       +
       Instance & $\intobj$ & $\minobj$ & $\intobj$ & $\minobj$ \\\\

     

       132
       +
       \midrule

     

       133
       +
       """

     

       134
       +
       )

     

       135
       +
       

     

       136
       +
       sorted_instances = sorted(instances)

     

       137
       +
       for data in sorted_instances:

     

       138
       +
           print(f"{data}", end="")

     

       139
       +
           for config in ["original", "restart"]:

     

       140
       +
               print(

     

       141
       +
                   f" & {int(statistics[data][config][0] / 1000) }k & {int(statistics[data][config][1])}",

     

       142
       +
                   end="",

     

       143
       +
               )

     

       144
       +
               if statistics[data][config][2] != 0:

     

       145
       +
                   print("^{", end="")

     

       146
       +
                   print(

     

       147
       +
                       int(statistics[data][config][2] / statistics[data][config][1] * 100),

     

       148
       +
                       # int(statistics[data][config][2]),

     

       149
       +
                       end="",

     

       150
       +
                   )

     

       151
       +
                   print("}", end="")

     

       152
       +
           print(" \\\\")

     

       153
       +
       

     

       154
       +
       # Print footer

     

       155
       +
       print("\n\\bottomrule\n\end{tabular}")

-1

analyse_gecode.py

···

       8
        
       'constraint trace("% init_area = \(ub(objective));\n", true);'

     

       9
        
       to the model in question.

     

       10
        
       """

     

       11
       -
       import csv

     

       12
        
       import os

     

       13
        
       import re

     

       14
        
       import sys

···

       8
        
       'constraint trace("% init_area = \(ub(objective));\n", true);'

     

       9
        
       to the model in question.

     

       10
        
       """

     

       0
        
       
     

       11
        
       import os

     

       12
        
       import re

     

       13
        
       import sys