diff --git a/.gitattributes b/.gitattributes
index 52c07489bab4c7aa494455f6857d624023f9980a..74a5f37e8a8a92860fce6be4af253ef97783fb65 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -10390,3 +10390,96 @@ results/face_9B_gan/00022_00.png filter=lfs diff=lfs merge=lfs -text
 results/face_9B_gan/00022_01.png filter=lfs diff=lfs merge=lfs -text
 results/face_9B_gan/00022_02.png filter=lfs diff=lfs merge=lfs -text
 results/face_9B_gan/00023_00.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/Canon_10_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/Canon_14_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/Canon_40_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/Canon_42_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/Canon_56_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_0988_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1045_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1057_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1137_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1233_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1241_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1245_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1265_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1286_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1326_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1404_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1412_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1425_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1454_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1462_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1474_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1575_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1583_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1599_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/DSC_1603_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_107_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_113_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_118_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_125_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_130_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_140_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_143_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_150_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_181_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_190_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_203_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/IMG_210_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140090_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140122_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140126_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140134_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140138_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140177_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140189_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140279_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140388_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140401_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140417_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1140434_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1160566_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1160646_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1160772_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1160776_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1171010_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1171031_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/P1171051_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_103_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_123_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_128_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_132_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_145_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_158_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_16_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_182_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_187_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_196_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_197_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_202_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_206_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_233_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_43_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_50_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_57_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_60_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_62_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/panasonic_85_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_100_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_107_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_116_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_11_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_120_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_129_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_158_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_160_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_169_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_183_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_189_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_1_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_49_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_53_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_54_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_80_x1.png filter=lfs diff=lfs merge=lfs -text
+results/dreal_9B/sony_82_x1.png filter=lfs diff=lfs merge=lfs -text
diff --git a/results/dreal_9B/Canon_10_x1.png b/results/dreal_9B/Canon_10_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..621e52de6bb82c307fcd9d63b761fef66a42d038
--- /dev/null
+++ b/results/dreal_9B/Canon_10_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8d911c8832ceeca0a17cd28f570e178a1a29fb1d29175a8ea1586f53adab03f9
+size 229607
diff --git a/results/dreal_9B/Canon_14_x1.png b/results/dreal_9B/Canon_14_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..6b00bc278b9c4cf2d3eac8056576171d25c98fc4
--- /dev/null
+++ b/results/dreal_9B/Canon_14_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8b00e3c61ac736008ed98d1ae1f86b04cc4bed734e4d2ba4b944ac0c66b8253e
+size 266290
diff --git a/results/dreal_9B/Canon_40_x1.png b/results/dreal_9B/Canon_40_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..46f119f2142b9d5f128ec9022fe1a8ef4dc7200e
--- /dev/null
+++ b/results/dreal_9B/Canon_40_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b05a6bc15dfd471d4557069b21f4d79ca5e469c9c445ea7c29799ab2592728d8
+size 333584
diff --git a/results/dreal_9B/Canon_42_x1.png b/results/dreal_9B/Canon_42_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..6c159b3675c5a4fee633d5ff81fb4383c9edcba0
--- /dev/null
+++ b/results/dreal_9B/Canon_42_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:070570d102c290abf9d3118c711d6e07aa05a6ded86a5b1051102c3e12ad4713
+size 290313
diff --git a/results/dreal_9B/Canon_56_x1.png b/results/dreal_9B/Canon_56_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..beb33ee787c2522c4bdde782512fe1249477dd8c
--- /dev/null
+++ b/results/dreal_9B/Canon_56_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1f124232109cfa5316a0233d42a7f5e671d14b037711e6a416c0998e4a4ccc8e
+size 254072
diff --git a/results/dreal_9B/DSC_0988_x1.png b/results/dreal_9B/DSC_0988_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..db45baf073868c164bd509d090a4ecccaa623fb9
--- /dev/null
+++ b/results/dreal_9B/DSC_0988_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a5ea9cef56effa05aae7e47336ca03a69c151bdc2a40152bf72659bcb9d4e410
+size 198293
diff --git a/results/dreal_9B/DSC_1045_x1.png b/results/dreal_9B/DSC_1045_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..40fdaf9f2ee9aaa0417192a0df36ed6277827ed2
--- /dev/null
+++ b/results/dreal_9B/DSC_1045_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4d05fc6e2aa33ff5d0cbeb27fa3a0a564118e207a384b884e5dfc4fe85e264d4
+size 244735
diff --git a/results/dreal_9B/DSC_1057_x1.png b/results/dreal_9B/DSC_1057_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..3e435008b1bbf56a97f2ca972bce78418f8ac540
--- /dev/null
+++ b/results/dreal_9B/DSC_1057_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f56d5bc2933468f4475719b8bf7c9db2d7af37f9692f1ac16b0157d1c056b750
+size 278573
diff --git a/results/dreal_9B/DSC_1137_x1.png b/results/dreal_9B/DSC_1137_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..905985273c49a20854c7f09a58e3288cbf4e5f2f
--- /dev/null
+++ b/results/dreal_9B/DSC_1137_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ae44349ce3f5e56308450584f6166dc01c567c10b3db1d9dd9a29d801a6df34e
+size 341065
diff --git a/results/dreal_9B/DSC_1233_x1.png b/results/dreal_9B/DSC_1233_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d7ec4ec3d3140b80a61551a73b630bdfa45c4eec
--- /dev/null
+++ b/results/dreal_9B/DSC_1233_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e952ec4135ea3717e11894f5b030d18fc4c89bd42677c5e61898dd97373318cb
+size 310080
diff --git a/results/dreal_9B/DSC_1241_x1.png b/results/dreal_9B/DSC_1241_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d3b71f78e2544c284545b7f39528b252694ab6aa
--- /dev/null
+++ b/results/dreal_9B/DSC_1241_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1da613a702907a6cdbe2fcda367d42f0250654a05acd4b200cd028434be12a83
+size 243187
diff --git a/results/dreal_9B/DSC_1245_x1.png b/results/dreal_9B/DSC_1245_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..0d3ecb8ccb5c424c5e4b33e2af07cd684a2674f3
--- /dev/null
+++ b/results/dreal_9B/DSC_1245_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e321ee0fce500dcdac931f4ccaf88d5f818328e7cd045d1fd5744bb42962a422
+size 252070
diff --git a/results/dreal_9B/DSC_1265_x1.png b/results/dreal_9B/DSC_1265_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..13771db934c72862e53be43c590b6f62aad0b95e
--- /dev/null
+++ b/results/dreal_9B/DSC_1265_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2615e9591ea3ef9ba8a6c82499e5404628735855d6c07522ed926ab83f4391c0
+size 280374
diff --git a/results/dreal_9B/DSC_1286_x1.png b/results/dreal_9B/DSC_1286_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..66a116b645e8ef42a55b5a4ee6c4cfeae7b95e1c
--- /dev/null
+++ b/results/dreal_9B/DSC_1286_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:06e28dfe75a66cb78acee23669088297ee8ebac35641237b2f5878c60a3d166e
+size 291625
diff --git a/results/dreal_9B/DSC_1326_x1.png b/results/dreal_9B/DSC_1326_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..f05ab6b77025e74d80ea71e1edbec04f6370188f
--- /dev/null
+++ b/results/dreal_9B/DSC_1326_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:fc6ca393edb29af9790b496c5fc155e1ca27bde87b48d9eaa7d29870dca1f837
+size 332210
diff --git a/results/dreal_9B/DSC_1404_x1.png b/results/dreal_9B/DSC_1404_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..fe725073bda55f32744c83a4a8b593e1b626f13d
--- /dev/null
+++ b/results/dreal_9B/DSC_1404_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:704651629392c51acfe029b9f9ee0264d8c72eee530d77b6c29171192fa24f11
+size 245897
diff --git a/results/dreal_9B/DSC_1412_x1.png b/results/dreal_9B/DSC_1412_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..ec72af37c40364733ebf3282c56a96efb8d984f7
--- /dev/null
+++ b/results/dreal_9B/DSC_1412_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ee5cc6c35500e89a521785cbd81641ba938e1511e92383874f036ea94c8a6d8e
+size 231938
diff --git a/results/dreal_9B/DSC_1425_x1.png b/results/dreal_9B/DSC_1425_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..780f1a763f9b2da4b8885a8beab44bd8cba6ce6b
--- /dev/null
+++ b/results/dreal_9B/DSC_1425_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:03ffb2c20a11eeff5b46ffae8435161afb17ce9b9b8f8c104e3c4daae29ba4e8
+size 344073
diff --git a/results/dreal_9B/DSC_1454_x1.png b/results/dreal_9B/DSC_1454_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..93e4662783e7df781a0540f926133cb436415fd9
--- /dev/null
+++ b/results/dreal_9B/DSC_1454_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:996ed14d11781869f9774803855849170761b336fa8eaa7b597b0d3243cde069
+size 365598
diff --git a/results/dreal_9B/DSC_1462_x1.png b/results/dreal_9B/DSC_1462_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..324628cbbe3c1ab4d89babe81d264d3adcd60fd8
--- /dev/null
+++ b/results/dreal_9B/DSC_1462_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:abf098a460c656c62362dc4f50770a0ac1a33148f4ccadf0661ed8f429260edf
+size 406191
diff --git a/results/dreal_9B/DSC_1474_x1.png b/results/dreal_9B/DSC_1474_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..8724203ee8a48c00813249234ab92c19ecb10cdd
--- /dev/null
+++ b/results/dreal_9B/DSC_1474_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6c6b55c60c2f65f267494cda585889095e3ecae2254b9a7329470019dfda1eb7
+size 379269
diff --git a/results/dreal_9B/DSC_1575_x1.png b/results/dreal_9B/DSC_1575_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..9d3fb0085d943598dd619676e16e3796d19aaaa8
--- /dev/null
+++ b/results/dreal_9B/DSC_1575_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ad982c4f64f5d97c0a1206486480d8dff419d3896dc16f292cb620084bf8f748
+size 377638
diff --git a/results/dreal_9B/DSC_1583_x1.png b/results/dreal_9B/DSC_1583_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..72d8ccd9cbbac715dce2b56b042c902d73352619
--- /dev/null
+++ b/results/dreal_9B/DSC_1583_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:45070d1a3222e7b23d8b395122c05c40af8a2cfb73cb41915ce67373ef4dedeb
+size 370285
diff --git a/results/dreal_9B/DSC_1599_x1.png b/results/dreal_9B/DSC_1599_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..074aa60a4dde1def8abd629b4224a5ff5a607921
--- /dev/null
+++ b/results/dreal_9B/DSC_1599_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0c9111a8e14c039b47be18ac96075b2a725faf8c0d1cd5b55620015b8a68d7c5
+size 320925
diff --git a/results/dreal_9B/DSC_1603_x1.png b/results/dreal_9B/DSC_1603_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d130f12e73afadd5fe8d1fa3dbac6a0cbc890c83
--- /dev/null
+++ b/results/dreal_9B/DSC_1603_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4c7c0afecf8887cc4c1a49b38af85805a3312f1268311a98db0607476844a2af
+size 386824
diff --git a/results/dreal_9B/IMG_107_x1.png b/results/dreal_9B/IMG_107_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..a1e8a374c954d22222a23291eb96f18d26ab8e9b
--- /dev/null
+++ b/results/dreal_9B/IMG_107_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8fadeb09bb797445bc2e6dae3b4e752bfb4ae22fd41541e5a4f5e46b0342450d
+size 145771
diff --git a/results/dreal_9B/IMG_113_x1.png b/results/dreal_9B/IMG_113_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..aaf713c89e575a3f52777c738d782b9cb30277fd
--- /dev/null
+++ b/results/dreal_9B/IMG_113_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a144988ae527d7c9f2f58e2966e0e90627ee27180bf31b9e59904bd32bfece1e
+size 260189
diff --git a/results/dreal_9B/IMG_118_x1.png b/results/dreal_9B/IMG_118_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..81e1378d161e574e63a2e90bd2822a6939659f51
--- /dev/null
+++ b/results/dreal_9B/IMG_118_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3c60c829690747ec2cd4b19d168e59730df1a8f898e43280b48f6892ccb9c4b4
+size 282304
diff --git a/results/dreal_9B/IMG_125_x1.png b/results/dreal_9B/IMG_125_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..fccc94128e464229732d02e3d1f138cf3a98db79
--- /dev/null
+++ b/results/dreal_9B/IMG_125_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:08804d4696a1fb0bbcc6b66140c4866c83a904da5370ea57ec52caf1acbbfd3b
+size 322995
diff --git a/results/dreal_9B/IMG_130_x1.png b/results/dreal_9B/IMG_130_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..57ee12b99ac6c224f20edd07de9628a6aac8d105
--- /dev/null
+++ b/results/dreal_9B/IMG_130_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7be8896fb9d2bf2ef299bbff5c93c74fbd06e53b4658e3900380c04db4fe41ba
+size 346544
diff --git a/results/dreal_9B/IMG_140_x1.png b/results/dreal_9B/IMG_140_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..c8ee614a60519d3c632f8840de03a1bc02ffa3ae
--- /dev/null
+++ b/results/dreal_9B/IMG_140_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:45741ae6da3c9355be874360c4e6ef75d89c5c944a150f5d8a803990737ffd82
+size 298860
diff --git a/results/dreal_9B/IMG_143_x1.png b/results/dreal_9B/IMG_143_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..e28affdb4946f70e92088b1be53cc2ca11bb7aa5
--- /dev/null
+++ b/results/dreal_9B/IMG_143_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:12529cfa072be59dd8c050bfc6d1dd8dd3ff3c019f57552e349f92e3b808a66a
+size 418154
diff --git a/results/dreal_9B/IMG_150_x1.png b/results/dreal_9B/IMG_150_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..a570aa1f23b1528cd697d7cb27bca3487354fb4d
--- /dev/null
+++ b/results/dreal_9B/IMG_150_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:809a56c59ece01155300d29b703352def9e54c8b52601e850c6266b571432f8d
+size 274843
diff --git a/results/dreal_9B/IMG_181_x1.png b/results/dreal_9B/IMG_181_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..deb134b3ab757c6ba5d6fa81ab753b3da20a0bf8
--- /dev/null
+++ b/results/dreal_9B/IMG_181_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f12f893dc72492b66eee7936fb8ba126bb4ad4d63084ae18ede881cadc807fa7
+size 387648
diff --git a/results/dreal_9B/IMG_190_x1.png b/results/dreal_9B/IMG_190_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d1fa97e7b0e5f8d7d5acf002967216fd7780f20a
--- /dev/null
+++ b/results/dreal_9B/IMG_190_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c9b960c51d768fd41564725346ef2006f71428863f0990b263bc3dace1799472
+size 329342
diff --git a/results/dreal_9B/IMG_203_x1.png b/results/dreal_9B/IMG_203_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..ce9165e894bf9c803b9619eae89657366e7b54bd
--- /dev/null
+++ b/results/dreal_9B/IMG_203_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1b6e49ec7dc7495ff154af806a0d77ac845005695f578dcb3b8b044a85f4504c
+size 288400
diff --git a/results/dreal_9B/IMG_210_x1.png b/results/dreal_9B/IMG_210_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..a35f7de07dcb9ed88a2b53b661b7182ebec2448b
--- /dev/null
+++ b/results/dreal_9B/IMG_210_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a2e8147da700c699135631c939e52e4c7a08bbfb82b3a61b6371f564c75cc5de
+size 271956
diff --git a/results/dreal_9B/P1140090_x1.png b/results/dreal_9B/P1140090_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..641bb9c6c8865db10f8a4a07948ee30fd57ed85f
--- /dev/null
+++ b/results/dreal_9B/P1140090_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f7b3de42633ad4ed2fc07db956393cfecd9b1a5c0fb11125cb741fc87b0af7b6
+size 351324
diff --git a/results/dreal_9B/P1140122_x1.png b/results/dreal_9B/P1140122_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..7bc20bc6b581f02f339c13207c1bbc9064557134
--- /dev/null
+++ b/results/dreal_9B/P1140122_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:97c96a83b39eb6d9e1fde33cfbc476543da162ce0dbd1c33e9c5430ea74d848d
+size 437524
diff --git a/results/dreal_9B/P1140126_x1.png b/results/dreal_9B/P1140126_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..a5bd86dfe964aa496f9d5380830a44191f37664e
--- /dev/null
+++ b/results/dreal_9B/P1140126_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5a5603d0f35b75edda728148d99088d7ef6735b673a083ead3d7333a7ccbbf83
+size 422341
diff --git a/results/dreal_9B/P1140134_x1.png b/results/dreal_9B/P1140134_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..ce31c11b35b1e2212771d668dadf3b2d75069a19
--- /dev/null
+++ b/results/dreal_9B/P1140134_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:579f01028c1651fc9b36a33cbbc125d05c6a02d651449fd30fc1126f923370fb
+size 355996
diff --git a/results/dreal_9B/P1140138_x1.png b/results/dreal_9B/P1140138_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..bd566f3ecc44ee22f623894fc1a26b0f03ab70d6
--- /dev/null
+++ b/results/dreal_9B/P1140138_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:38194529250ea4e205d0acbdc3f2cf2c07eeeb90de8cefad3edb72788c5e9d37
+size 305492
diff --git a/results/dreal_9B/P1140177_x1.png b/results/dreal_9B/P1140177_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..57df113c1e6741d8b947c961e79a30fd4b4658ba
--- /dev/null
+++ b/results/dreal_9B/P1140177_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:84789239310578ee91555e6f1c0e9d8b9cc62915799108b8e235c5b532bca9f9
+size 394451
diff --git a/results/dreal_9B/P1140189_x1.png b/results/dreal_9B/P1140189_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..6df0b7466c6afd53e5598f6d74b38e7db1533e45
--- /dev/null
+++ b/results/dreal_9B/P1140189_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9def1cd6169d4ad491121481c1d5d5f99ebc49e10b70e479deafca478dedc981
+size 306285
diff --git a/results/dreal_9B/P1140279_x1.png b/results/dreal_9B/P1140279_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..bd02ed4e508b4bd7242d816569f777a06d29edec
--- /dev/null
+++ b/results/dreal_9B/P1140279_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6f01f7aab295c5943432cc88e91c0f383adeb8076cd8bdc8b107a01173310c0d
+size 350388
diff --git a/results/dreal_9B/P1140388_x1.png b/results/dreal_9B/P1140388_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..1171f8bbc8f6c7a8eec78927f1c140a9db01f733
--- /dev/null
+++ b/results/dreal_9B/P1140388_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:185d68f8ebbf7a3a559d307408dd1bb0a12eaa959e6fa4437098869ea5d3cc09
+size 307426
diff --git a/results/dreal_9B/P1140401_x1.png b/results/dreal_9B/P1140401_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d037b6bc9c44f0cbb96cc8239bea68a29d403ad3
--- /dev/null
+++ b/results/dreal_9B/P1140401_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:28e4cccaeaad4e79b139dc5f454627de28f429a91fd8526febefadf3eec73195
+size 248454
diff --git a/results/dreal_9B/P1140417_x1.png b/results/dreal_9B/P1140417_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..55b894ddfa50a332af28d9039ec12dc42ca088ed
--- /dev/null
+++ b/results/dreal_9B/P1140417_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:660f119dfcce09203ca4ee7686314bd8351038e92d7a38047b75bd118176c24f
+size 427791
diff --git a/results/dreal_9B/P1140434_x1.png b/results/dreal_9B/P1140434_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..63beedb538fcf6d0dc709b3ae429abffd321e135
--- /dev/null
+++ b/results/dreal_9B/P1140434_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4c821ed3bd153494d965bfd821fc2b8355e9ac10dbe1b43936b1b136b033e662
+size 307174
diff --git a/results/dreal_9B/P1160566_x1.png b/results/dreal_9B/P1160566_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..0b7fa682449acf161377cb9bc7979cdcc96b90fb
--- /dev/null
+++ b/results/dreal_9B/P1160566_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c55761b09246d337128085f14a4f4aee03b3f4889ce3247bad4c7af5303a6f7c
+size 189037
diff --git a/results/dreal_9B/P1160646_x1.png b/results/dreal_9B/P1160646_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..bd10380352e342c6045cafe6cd1affaba5c364f8
--- /dev/null
+++ b/results/dreal_9B/P1160646_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9c9f1aecf0766b7b5f6a0d2650ea361ed82bb9362a940815556eb56693277809
+size 283045
diff --git a/results/dreal_9B/P1160772_x1.png b/results/dreal_9B/P1160772_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..21b0260d41b0e0bf7c82ef699a222e9e4e474171
--- /dev/null
+++ b/results/dreal_9B/P1160772_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1c133fcedda32492a9880eb5d8054874b98ee2c0978e8ee247e143600ba20f2b
+size 352865
diff --git a/results/dreal_9B/P1160776_x1.png b/results/dreal_9B/P1160776_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..39865dedb5751b0a0c64792591b7f61d1ef96ea2
--- /dev/null
+++ b/results/dreal_9B/P1160776_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cd1120ddce358f999e43822d352b94bbc8e91e5558eaf4fa643993c0275c4d96
+size 276014
diff --git a/results/dreal_9B/P1171010_x1.png b/results/dreal_9B/P1171010_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..781bb0a885959dac7e2bf637ca413677f94fd8d0
--- /dev/null
+++ b/results/dreal_9B/P1171010_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:669db7ca6cdc9d6b80b466cd99df4b8fd26053e21a919d5e909ca5e2441b7c63
+size 359560
diff --git a/results/dreal_9B/P1171031_x1.png b/results/dreal_9B/P1171031_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..19f572dc3965eaa0ae0183d178b230daa98d7143
--- /dev/null
+++ b/results/dreal_9B/P1171031_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d69c9940d8f3b50ca9875fcf584062709e2140157e742cf40944310f50a14061
+size 342232
diff --git a/results/dreal_9B/P1171051_x1.png b/results/dreal_9B/P1171051_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..9523c05aa635aea56cbb4739309a7498995ab9aa
--- /dev/null
+++ b/results/dreal_9B/P1171051_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f5b2f00aad32e83e155b7e09524ab7bc8f7d587aaab6ff8248a8edfe12d3f5aa
+size 310844
diff --git a/results/dreal_9B/panasonic_103_x1.png b/results/dreal_9B/panasonic_103_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..167cb03e7c56a2190a0faff3e967606463d98300
--- /dev/null
+++ b/results/dreal_9B/panasonic_103_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:74a96b20204c90543ba0c674474fd48b544a2397f5a0a226381e4c6c7692fe4c
+size 266169
diff --git a/results/dreal_9B/panasonic_123_x1.png b/results/dreal_9B/panasonic_123_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..dbfba27507562f0a278b2baddb2d2aadd2bae6e2
--- /dev/null
+++ b/results/dreal_9B/panasonic_123_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b8e382149a1a2f57f82c03c2d5d32f53ef8ff184f79f0fa73f46c5ef6ddc490b
+size 360577
diff --git a/results/dreal_9B/panasonic_128_x1.png b/results/dreal_9B/panasonic_128_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..5ff341ac2c3511fe63354be4510b5533835aaf12
--- /dev/null
+++ b/results/dreal_9B/panasonic_128_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:bbaead2edb474148f211c3633bd11386a13996f3ff87a00cc3271e3ed3050e48
+size 244038
diff --git a/results/dreal_9B/panasonic_132_x1.png b/results/dreal_9B/panasonic_132_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d319ea2b836d24542f1e773af2191f735a8f2bb7
--- /dev/null
+++ b/results/dreal_9B/panasonic_132_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:daef4ad493c65eeb09e28f870db678b29622bcb208cef3d534b9a00c8f2fe78c
+size 262395
diff --git a/results/dreal_9B/panasonic_145_x1.png b/results/dreal_9B/panasonic_145_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..ee1221a07db2de9ab39278d400f8dd89ce776bc5
--- /dev/null
+++ b/results/dreal_9B/panasonic_145_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3e30e1dd8a367f7904db0870155a03806e8258b07cb852fced153c43c56ca9f0
+size 294547
diff --git a/results/dreal_9B/panasonic_158_x1.png b/results/dreal_9B/panasonic_158_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..39f1f9d159ffdfd0dc1e40e2e74045981ff08c85
--- /dev/null
+++ b/results/dreal_9B/panasonic_158_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1188a9db16fdf3beb4d062da64a1dbd8b9c18a7f188d95910da5a680d8ce58fe
+size 298602
diff --git a/results/dreal_9B/panasonic_16_x1.png b/results/dreal_9B/panasonic_16_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..00b0581e43e6545ef0723f92a436a4ddbca6931d
--- /dev/null
+++ b/results/dreal_9B/panasonic_16_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cf72ca95294dd7abf29b196db96735b7ebbfd4595f3693137f45ff9a66f80a7a
+size 307727
diff --git a/results/dreal_9B/panasonic_182_x1.png b/results/dreal_9B/panasonic_182_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..9d831915b4c19172abb9d84a204c7bed8ce6c893
--- /dev/null
+++ b/results/dreal_9B/panasonic_182_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:93399f19ff06f536b2bbff90c08d769ec3b93011431ec5234ed93e1f462c60f6
+size 365111
diff --git a/results/dreal_9B/panasonic_187_x1.png b/results/dreal_9B/panasonic_187_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..0dd088c85cc993e789e1cdecc93850f2ba3b75d4
--- /dev/null
+++ b/results/dreal_9B/panasonic_187_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:02d010cc3ad3ac582fe4b9d9bf1046bf3016bc631f386092d39a9acec93420b3
+size 418357
diff --git a/results/dreal_9B/panasonic_196_x1.png b/results/dreal_9B/panasonic_196_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..454473d1c80e459667269c02a2893763207df63c
--- /dev/null
+++ b/results/dreal_9B/panasonic_196_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:68231c1684de91785038b066a5c980da8f5c7c840ca56369f77d30685e06d8a0
+size 356286
diff --git a/results/dreal_9B/panasonic_197_x1.png b/results/dreal_9B/panasonic_197_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..5883029c20fee095a2c666f9064ec6cfca48ebcb
--- /dev/null
+++ b/results/dreal_9B/panasonic_197_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0695d0234e38680a73fcda44c5de60ff4cb35b899d3a8b7a775dfc79db5f7e6b
+size 372962
diff --git a/results/dreal_9B/panasonic_202_x1.png b/results/dreal_9B/panasonic_202_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..da60bbd308f0a5655d84c6ae0cfceb6302133ca2
--- /dev/null
+++ b/results/dreal_9B/panasonic_202_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c6395cd8ea386d2d99a25c4d85602e4ca18ea69cf1b94bafacaf48b26ec72b69
+size 347564
diff --git a/results/dreal_9B/panasonic_206_x1.png b/results/dreal_9B/panasonic_206_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..680af3fb4d9f87c6824139621a999232d44ceb1a
--- /dev/null
+++ b/results/dreal_9B/panasonic_206_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4b731186b98de2359ecea641d2f27426ff5972fb6b832ab28eeca5ea5b059175
+size 299202
diff --git a/results/dreal_9B/panasonic_233_x1.png b/results/dreal_9B/panasonic_233_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d23b60cb9e1758a35d2e273b7467982d8227c11d
--- /dev/null
+++ b/results/dreal_9B/panasonic_233_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:023d1401903d596c73c94d2c4a7078dffed99bb2bc91eb13c756274e02136ed0
+size 336955
diff --git a/results/dreal_9B/panasonic_43_x1.png b/results/dreal_9B/panasonic_43_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..57fd36e669a579cd86ce21d4a37e40d1a0edd464
--- /dev/null
+++ b/results/dreal_9B/panasonic_43_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2d5d5145c83b06c40e21192934da50dbd82b4deb2537c4e55e2ea32b52ecbb60
+size 469500
diff --git a/results/dreal_9B/panasonic_50_x1.png b/results/dreal_9B/panasonic_50_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..efc0fee17b7993e0ae81d994d24f59ca013bf2ec
--- /dev/null
+++ b/results/dreal_9B/panasonic_50_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:eee7cb181cf25e93de9c18db943994ace3247f0fd64951e47ce5444c84494961
+size 387526
diff --git a/results/dreal_9B/panasonic_57_x1.png b/results/dreal_9B/panasonic_57_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..5eddac5f5e4583f5a9addb98bbe453d7c2fe4bd1
--- /dev/null
+++ b/results/dreal_9B/panasonic_57_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:19a48d3659b04df87f00cb75e29a1508dbcdb48ef5be951e19aa9db2669bd8e5
+size 300081
diff --git a/results/dreal_9B/panasonic_60_x1.png b/results/dreal_9B/panasonic_60_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..139831941c2397a0ac68a4db3edcdc1abaddd697
--- /dev/null
+++ b/results/dreal_9B/panasonic_60_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:91a373add81ea4d204ed41f231b68cfd11b9c522fea732900131aa02c3d9f8e5
+size 335003
diff --git a/results/dreal_9B/panasonic_62_x1.png b/results/dreal_9B/panasonic_62_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..ff2a8a01c4615d16e87cc26638d6a57c2a801130
--- /dev/null
+++ b/results/dreal_9B/panasonic_62_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5813e062fc08ce82781f4f8fde274f62c5f8d916ea6a5db5aae673e2e8e1febf
+size 345752
diff --git a/results/dreal_9B/panasonic_85_x1.png b/results/dreal_9B/panasonic_85_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..dfca930c720a9af6b06bf183329f5a28c77062c1
--- /dev/null
+++ b/results/dreal_9B/panasonic_85_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4e045213fbd19fc6391e5691c98673c7ec911783d64ac535a7182ef02f5640c9
+size 331505
diff --git a/results/dreal_9B/sony_100_x1.png b/results/dreal_9B/sony_100_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..bb720d3c07ac6fcbafeff5aacae59b165ef6c4d3
--- /dev/null
+++ b/results/dreal_9B/sony_100_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:445f0ee417d773fc53d3109cb8fc9c225affdad6f32133673584abfa6be0ad17
+size 348524
diff --git a/results/dreal_9B/sony_107_x1.png b/results/dreal_9B/sony_107_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..df9c08d029eb1dffa9f7ffe12a4a4d28fc6688da
--- /dev/null
+++ b/results/dreal_9B/sony_107_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8bb8ecd60886c67bba43031f6d1065ec7f684c812967a8d9685c3ad0652e0285
+size 271813
diff --git a/results/dreal_9B/sony_116_x1.png b/results/dreal_9B/sony_116_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..c1ebd897e1138f3337d14d379300b64678dbf4cd
--- /dev/null
+++ b/results/dreal_9B/sony_116_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d14d0280f31686bc6e6284771c44fa85e0c06f7e27ec0ec0997efb941bd28588
+size 319282
diff --git a/results/dreal_9B/sony_11_x1.png b/results/dreal_9B/sony_11_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..e6572cf6d6a6b68ac385f1e1a5297f5cc0eae03c
--- /dev/null
+++ b/results/dreal_9B/sony_11_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0e8dc3fb8fb77f73a4508c1291fd8311c64778a4b0bed3a29ea283a0d0112889
+size 335484
diff --git a/results/dreal_9B/sony_120_x1.png b/results/dreal_9B/sony_120_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..af974ef147fc4741609abf6e0d8357dad7fac18f
--- /dev/null
+++ b/results/dreal_9B/sony_120_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7cb8e21280ba6eb58318e594b98c564e08b93dcc0d3cab918ef5967eda453cd2
+size 350704
diff --git a/results/dreal_9B/sony_129_x1.png b/results/dreal_9B/sony_129_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d5c64c4d816cc679801c6dbf13044e97a717fd20
--- /dev/null
+++ b/results/dreal_9B/sony_129_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5f3a9d6df95bffc901d8f3262e5a9ed5d11287f7526dd3d0324f2715863d865a
+size 425683
diff --git a/results/dreal_9B/sony_158_x1.png b/results/dreal_9B/sony_158_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..4453da857d63256443131a8ef089069468184ab2
--- /dev/null
+++ b/results/dreal_9B/sony_158_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:79b91cfbc26911ad1f6809d47e041b24fb90127a5123acce5be428887041ce43
+size 232045
diff --git a/results/dreal_9B/sony_160_x1.png b/results/dreal_9B/sony_160_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..30df21c89d0cb96f861299548f771481060f2d1c
--- /dev/null
+++ b/results/dreal_9B/sony_160_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:57c0dfc55006de578d893c20066d7ac97aca0ce37235147586e6239de4894303
+size 199942
diff --git a/results/dreal_9B/sony_169_x1.png b/results/dreal_9B/sony_169_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..c9f878135d84f876b59d10718ca868b53e528d7e
--- /dev/null
+++ b/results/dreal_9B/sony_169_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1b526a17c95d719038bd3ed8385ee39cdd2994c7b0839dc6d555262753c0f0c0
+size 403927
diff --git a/results/dreal_9B/sony_183_x1.png b/results/dreal_9B/sony_183_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..55e6932ef3624b7cc1263f2811fd7197f6a612e3
--- /dev/null
+++ b/results/dreal_9B/sony_183_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e664365ecdcfc488171a3e44d6bc826e3d5f7485581c93ab6cc0ade91d95d468
+size 273894
diff --git a/results/dreal_9B/sony_189_x1.png b/results/dreal_9B/sony_189_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..130138decd203b1cff1a53db7ac3137fd581c8e4
--- /dev/null
+++ b/results/dreal_9B/sony_189_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9040fd86cd52eafaf021d61e6b2f631a135b444eb6ee132408e601df79166146
+size 236117
diff --git a/results/dreal_9B/sony_1_x1.png b/results/dreal_9B/sony_1_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..b896cd5f000b80c339b45178b869cedfd4fd291c
--- /dev/null
+++ b/results/dreal_9B/sony_1_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2e80435a42b50bafec25ff198614db6561ee961475141f6396e74272d45ed8c3
+size 354362
diff --git a/results/dreal_9B/sony_49_x1.png b/results/dreal_9B/sony_49_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..8370f783444c8b91df2d9c8f893b7d5cc0246b5e
--- /dev/null
+++ b/results/dreal_9B/sony_49_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2dbe2b2496553422286c9965e3825852578bac4b10de881953fbf78a7e8179a1
+size 281073
diff --git a/results/dreal_9B/sony_53_x1.png b/results/dreal_9B/sony_53_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..53a5fab879c1a7cc84c5d545cbc5ab513b174253
--- /dev/null
+++ b/results/dreal_9B/sony_53_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4c106633e2d9de8939926667b13fd86e515ed7000bed7e27b0cb68c95369e589
+size 310403
diff --git a/results/dreal_9B/sony_54_x1.png b/results/dreal_9B/sony_54_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..f49f48fc7401a053a0009ec48a418a2ea7587f9b
--- /dev/null
+++ b/results/dreal_9B/sony_54_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:cbb3c602776538b1ef68a111a7c0dee2a890b3da6c6a2ef0c1bd5eeca5615fdd
+size 326029
diff --git a/results/dreal_9B/sony_80_x1.png b/results/dreal_9B/sony_80_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..389ae7dac413263f4d0f1183f1947353b31f8e74
--- /dev/null
+++ b/results/dreal_9B/sony_80_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9e59808299f21c797848865828896e9c417027b28d6fe23a3df3f2a22be92f47
+size 443117
diff --git a/results/dreal_9B/sony_82_x1.png b/results/dreal_9B/sony_82_x1.png
new file mode 100644
index 0000000000000000000000000000000000000000..cce7c4b963b8a6b2251bc82396a3518a96761aad
--- /dev/null
+++ b/results/dreal_9B/sony_82_x1.png
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5c43a0d50cca60e071c140822f1d83d34da8dcf6822fd6916e9a87d920f0c1bc
+size 341860