#!/usr/bin/env python
import numpy as np
import matplotlib.pyplot as plt
import matplotlib
import seaborn

seaborn.set_style("white")
matplotlib.rcParams.update({'xtick.labelsize': 12})
matplotlib.rcParams.update({'ytick.labelsize': 12})
matplotlib.rcParams.update({'legend.fontsize': 12})
matplotlib.rcParams.update({'axes.titlesize': 12})
matplotlib.rcParams.update({'axes.labelsize': 12})

N = 3
bf = (915544, 557179, 141672)
df = (886501, 528297, 107256)

ind = np.arange(N)  # the x locations for the groups
width = 0.25       # the width of the bars

fig, ax = plt.subplots()
rects1 = ax.bar(ind-width, df, width)
rects2 = ax.bar(ind, bf, width, color='g')


# add some text for labels, title and axes ticks
ax.set_ylabel('Time per proof (ns)')
ax.set_xlabel('# proofs')
ax.set_xticks(ind)
ax.set_xticklabels(('2000', '20000', '200000'))

ax.legend((rects1[0], rects2[0]), ('DF', 'BF'))
plt.savefig("proofs.pdf", bbox_inches='tight')