From 182660bca04f9716bb55872b0220127e1d7da999 Mon Sep 17 00:00:00 2001
From: Torsten Schaub <torsten@cs.uni-potsdam.de>
Date: Wed, 29 Nov 2023 14:35:09 +0100
Subject: [PATCH] update after training

---
 include/heuristic-driven-solving |   2 +-
 include/modeling                 |   2 +-
 main.tex                         |   1 -
 slides/controlling.pdf           | Bin 131 -> 131 bytes
 slides/hsolving.pdf              | Bin 131 -> 131 bytes
 slides/main.pdf                  | Bin 132 -> 132 bytes
 slides/modeling.pdf              | Bin 131 -> 131 bytes
 slides/msolving.pdf              | Bin 132 -> 132 bytes
 slides/systems.pdf               | Bin 131 -> 131 bytes
 slides/tsolving.pdf              | Bin 131 -> 131 bytes
 10 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/heuristic-driven-solving b/include/heuristic-driven-solving
index 6ada0d6..d5be05f 160000
--- a/include/heuristic-driven-solving
+++ b/include/heuristic-driven-solving
@@ -1 +1 @@
-Subproject commit 6ada0d6545fe7f5c0fbcd9cbb14637a732ad3e6e
+Subproject commit d5be05faecbe0163338f6e8b957389879018ddd2
diff --git a/include/modeling b/include/modeling
index 93b44a4..58d1415 160000
--- a/include/modeling
+++ b/include/modeling
@@ -1 +1 @@
-Subproject commit 93b44a47578ac0f50ced4e7c258d8b258aad207a
+Subproject commit 58d1415d7d927043a7f103d81db04ef69cede962
diff --git a/main.tex b/main.tex
index 1c6763c..4d73752 100644
--- a/main.tex
+++ b/main.tex
@@ -68,7 +68,6 @@
 %ocharacterization%
 %pcharacterization%
 %solving%
-%
 %encoding%
 %meta%
 %controlling%
diff --git a/slides/controlling.pdf b/slides/controlling.pdf
index fbc2d28c7527e310ee6dcd3e7397aad6fc153d57..a14e333e37e55b14b3299029b1e23db228ca5dac 100644
GIT binary patch
delta 84
zcmWN`xeb6Y3;;l-%@mAa$MKUP7{YlhQPa_80Y-*vZ>ODJIUDrop;}!`6y`$4km<Gg
g3`7JS#bPb+!o&YmH?km;+6Pz8_w}r!5VBDI0PE@&!T<mO

delta 84
zcmWN`u@QhE5Cp(6r3y>n9(eAHun5s}#@Ni%1}s@O-Di5H*Oy!&Sut2wE+N2m#M)^g
e`>SaywQzJ|&>=GR*mi1w&eqd)-kRZo+R_KTrxq#z

diff --git a/slides/hsolving.pdf b/slides/hsolving.pdf
index f285432bbd9969e3b3b1930c67049a486e078ae9..8a7e1f6c6beb6e8c774594c67e642ccdf0f2c58b 100644
GIT binary patch
delta 84
zcmWm0u@QhE3<c1mWeP_C0tp$yA^0KOS=-sNfFpap>g}+@%cl-h>C+Ppw0|_$RDw%g
exhN{wtcznH!JrB>fVvnaOO|+Fj~`SLE5{EU2^b>)

delta 84
zcmWN{u?@f=3<N;YGDSu(_;Jh-8NwKlQm0GH0vS0-SKbOMd~%gO&dnMiW3ri6f)h7!
fB=Ziff|9M*L{!00$52+K<cVp<=YGeL_ff<j>!=oI

diff --git a/slides/main.pdf b/slides/main.pdf
index ece8e15863b4cb62554eca1ff21344a6607a0004..b02838dd7ce5a1b0396f04acf622c6d69af6782e 100644
GIT binary patch
delta 85
zcmV~$yAgmO3;@uxWeP_K0Yb8bJA{1htnI8Bz>$4#AN%;|QtAnaA{_!vmtzQKOGvXi
fV*)a}iy1enE1lI6q#;1^8Y<<v-#7;n6G-_15ZV`&

delta 85
zcmV~$yAgmO3;@uxWeP{gA6UX25(szJcGe8w$iBCaeSCItEDQr;R2a2UMK^bm=`bY(
eQtQf2O$I9yP-;L=8fXocx|ZjD^AtnY-pUWzFcwt+

diff --git a/slides/modeling.pdf b/slides/modeling.pdf
index be1ab54d0e58b90649da1eac18cb3e1576020f71..43c859ad32be67ab4458fb856cf7ef34ffcae9c7 100644
GIT binary patch
delta 84
zcmV~$yAgme2msKt%@mFR1Og1<5c$BJwViDiaAe=x$3DJx$>2nefaq>EEi&s!f<YKW
ew5WBR-WP|;a^vh!6*D=ivotBs{l>|rj8J|CsTVZ>

delta 84
zcmV~$yAgmO3;@uxWeP{g2Lc(wAqYwCtnF-Bz>$4#AN%;^$`LrHm@I~frdT1(JjQa%
fiWAi+vUTvz)fc(Yh{0sJl>6lJ+;5zfL;=eWA;%Zs

diff --git a/slides/msolving.pdf b/slides/msolving.pdf
index 87ccaf0188c89a5c1fcef52f6175c7f58280d51d..1d9ba0384a2e1c95f7de02aa892a616c5b140573 100644
GIT binary patch
delta 85
zcmV~$xeb6Y3;;mUW(r2I<0y8PU<bbvH63*ZU}Wz0v5#+FT#V97v`;Y<2p$>Yp41b3
eX{hxHtdS*dXdsrDMlhhtNZWJ2c_J<nTI~lR*BC(n

delta 85
zcmV~$u@S%^2mrvdb&8B25J8v74j^!sI$df9$jJHMWtWdHSQ0SMhVt3HHPw+Mq?{>B
eec}QzhcL@9L3NR-1cIn(5mul3jRSx>_gQ}^Q5b6g

diff --git a/slides/systems.pdf b/slides/systems.pdf
index 0fb54d6314b1906572d792dca20a263eb9cf31d6..6dbae81bffce1120c9d3d0eb6d97862808f0fcc9 100644
GIT binary patch
delta 83
zcmWN{u@QhE3<c1mWeP_iBm}a9OZYLlv$nHk0Y}zXzm-;c`wrJR0Tkli!6qic930+=
etCO9D&}uR0JR}(X&*~&<K_l{gJ-!VwrIA0?=N7~O

delta 83
zcmV~$yAgmO3;@uhWeP_~g#31Ji3G@<wVf>sII{2Uvdbq|f`BGA!a2#oh$aH7x}VE6
d0V&jinR+G;Q(}Q0I0Bcp=JmPXb!ayRsXwmt7773W

diff --git a/slides/tsolving.pdf b/slides/tsolving.pdf
index 8d0edd8a82fbb99e558d2bd83da20ecaf252d3f9..49c2f4e2717eff1487b96d8ad9cbad1c346a13cf 100644
GIT binary patch
delta 84
zcmWN|yAgme2msJan<*TDe1K#KhX8>)YdhO4;K-(X&0A@uk4|@rK_bPVa4Qk0LM+gF
f5sIs}FcMaAGe_C#T3M+M2#P)ObH9Fc#0fM17!McR

delta 84
zcmV~$u@QhE3<c1$WeP_~@`1n*4iN&mv$nHk0Y~<|eeC0_R}m7XW)REj09<0NP|P_d
ej~XJZ(xSquTI=j>m=lO1iV~;ie%FZ(=A3@cs}^+t