diff --git a/optimization-false b/optimization-false
deleted file mode 100755
index 657628a60e79e177181642faade82e56e1100616..0000000000000000000000000000000000000000
Binary files a/optimization-false and /dev/null differ
diff --git a/optimization-true b/optimization-true
deleted file mode 100755
index 9de86d8bd624bdddf3dfeefc5cbcbe115d1efab5..0000000000000000000000000000000000000000
Binary files a/optimization-true and /dev/null differ