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 = "timecmp.csv"
13df = pd.read_csv(data, index_col=0)
14
15f, ax = plt.subplots(figsize=(7, 7))
16ax.set(xlim=(0.90, 100000), ylim=(0.90, 100000), xscale="log", yscale="log")
17
18# ax.yaxis.set_major_formatter(ticker.EngFormatter())
19
20sns.scatterplot(
21 x="MiniZinc 2.5.5",
22 y="Prototype Implementation",
23 data=df,
24 ax=ax,
25 # hue="problem",
26 # style="problem",
27 legend=False,
28)
29plt.plot([0, 100000], [0, 100000], linewidth=2)
30
31plt.savefig("timecmp.pdf")