d18ca72caf2004c7725b3de670c7397c5bf85eb4	refs/heads/improved_makefiles
a2baff0fd7b88052403cc661253c229acde5e011	refs/heads/instance-calculator
4c16982225c0951e02b23bcdb36d1a5a8c2b44de	refs/heads/master
98f12eaabfd4bdc04f60fdbfe7fec69bdc0eea37	refs/heads/skol_only_the_solution
da6b3f7055a0c142fd7f4f91348c35f87fe4cff2	refs/heads/time-domains-calculator