From 5ece8f0654561c90401f8c3f1ca7c05e26f96212 Mon Sep 17 00:00:00 2001
From: Matej Hajnal <matej.hajnal@gmail.com>
Date: Thu, 22 Oct 2020 23:14:04 +0200
Subject: [PATCH] examples - old semisyn bees, rat function added

---
 .gitignore                              |   1 +
 results/prism_results/example/10_bees.p | Bin 0 -> 2334 bytes
 results/prism_results/example/2_bees.p  | Bin 0 -> 78 bytes
 results/prism_results/example/5_bees.p  | Bin 0 -> 512 bytes
 4 files changed, 1 insertion(+)
 create mode 100644 results/prism_results/example/10_bees.p
 create mode 100644 results/prism_results/example/2_bees.p
 create mode 100644 results/prism_results/example/5_bees.p

diff --git a/.gitignore b/.gitignore
index d840f3b..c9be51b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -136,6 +136,7 @@ performance_test/backup*
 results/data_intervals/*
 results/constraints/*
 results/prism_results/*
+!results/prism_results/example/
 results/storm_results/*
 results/performance_results/*
 results/optimisation_results/*
diff --git a/results/prism_results/example/10_bees.p b/results/prism_results/example/10_bees.p
new file mode 100644
index 0000000000000000000000000000000000000000..46e21d0a061aebba333fcadef09badaeeade01b1
GIT binary patch
literal 2334
zcmd5-J9Zl}43y*iY~LW2x@f7VJaK=rP7*dL)1)$QkQ3wxIYN$;)>rY&fJ<<tbZ*i}
z0Ey3F0C0cae#@I(df03>yQl488@mwVG2f(5IElyb6zcIg>~gU<=Qrs9gTpwr7LRTL
zvBwo17`6|&%eUz(gZ8VaC-;Fkz$d^MKk!<#?S9K+oXm_#aj(m)e;#!CZTdk({TlS_
z;UQi^vJ+3pdupC=^n~WTXDv$jE<Gb*Kk>YhG<iOVWG9TY9|2y-OdXJ+QCZqzYq@DJ
zqQYSAD44vNI;?L=humQc(F_HXVH(xbR*scK01G0>G@F#R%kR_gf6zL5nGmmOH5%C{
z^#6iVS@VirC0^0_s@{J{e{QZOYjBJZPb6<<Q8USlRh`I~*wd{TbCpyy#;j+FB>ajt
zvZNr!W}L>O{H0HDh@(1Zj9%QclZ`t`QG6J?r6$N=E0T2Lwqb84Oqq4>$fXi_0iuZ_
z(Bdw=0qPT{Xi{x*q-%7Drqn6jS*&xXvcz|x5Hih9YC@Mkrq5{F#S_wd(;!|CmYDY8
zCGXG>l>)iM3FnE`QPe*Vy0YscgH5KTFC!lo)0QaIEH14dd0&Z%f>DS85w0?^BI6RG
z-Bd~%m4qs3Eruz8bSx1ds)ai1@?HAN5pUnl<vD)Et68?L?!}p9N@J&@s;+C%?19EX
z)1X^&redJMk1=p!?sYBnt*|ZOu$@F&U5Z(cy;SamJz7#pse(fzH$LJ_a$avlJPLE|
zvW1oEn57D{oYhC}gT<2S2&J+qR=!k*G92n2aWtw^=Z!DTRTk^BHm0n?efq^!z<0!k
z)<2r~vXr^x6pFH1j88CY5r4P?G`bMdYGy@YLEp|Z>6I_;Ao@%)glj690qeXne3@6F
fwt3|VcFmi_FwLh<UGSa}`C{wH|BEl*!}l*QixA<6

literal 0
HcmV?d00001

diff --git a/results/prism_results/example/2_bees.p b/results/prism_results/example/2_bees.p
new file mode 100644
index 0000000000000000000000000000000000000000..84b3f495c593ffaa2663db362bd482fe07d9c1a8
GIT binary patch
literal 78
zcmZo*jxA)+h~Q#iV9+Q~&{Z(h)Y394WQ-673K(e>Xu$+E3c-?vOc5eL8C{?RNERdr
O(q*Jos9DIIss{ixv<~?I

literal 0
HcmV?d00001

diff --git a/results/prism_results/example/5_bees.p b/results/prism_results/example/5_bees.p
new file mode 100644
index 0000000000000000000000000000000000000000..a2384106f37d6d3a0f0e31567c497c97ee00688f
GIT binary patch
literal 512
zcmZWlK@x&M3`0>bzQEfap$v|&i%)U(;>8*7^ap;<f0=ZFh4BJSn>6Wu%BL1pJQqdL
zR-<cOSBng~ix+eT8D(h(sdSnL-N%-S?zU$5%s|;=L;;ufqP3Rs0nJv@X9-FViGYg_
zL^E=YV;h}2SF&tusP<>0)<b+T&^qxP_b*AxmW`N{C>w=rl+I{)f*Bp-7e;s&T1j9x
zAex<(pvRsSWbm1r9LVqaa^jO5=Va)&Qyyz_a8V|rh2feN%(lx5nu!IR5}_t-Fxy&B
G@9PgPLuerY

literal 0
HcmV?d00001