A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1#!/usr/bin/env python3
2
3import sys
4
5import matplotlib.pyplot as plt
6import numpy as np
7import pandas as pd
8import seaborn as sns
9
10sns.set(font_scale=1.6, style="whitegrid", font="IBM Plex Sans")
11
12data = "memcmp.csv"
13df = pd.read_csv(data, index_col=0)
14
15f, ax = plt.subplots(figsize=(7, 7))
16ax.set(xlim=(7500, 300000), ylim=(7500, 300000), xscale="log", yscale="log")
17
18sns.scatterplot(
19 x="MiniZinc 2.5.5",
20 y="Prototype Implementation",
21 data=df,
22 ax=ax,
23 # hue="problem",
24 # style="problem",
25 legend=False,
26)
27plt.plot([0, 1000000], [0, 1000000], linewidth=2)
28
29plt.savefig("memcmp.pdf")