aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/dreal4/bazel-bin/test
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/dreal4/bazel-bin/test')
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.d319
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.obin0 -> 1328 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.d168
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.obin0 -> 5920 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.d2
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.obin0 -> 1336 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.d264
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.obin0 -> 55032 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.d294
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.obin0 -> 712936 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/abseil_testbin0 -> 12976 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/abseil_test-2.params45
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/abseil_test.runfiles/MANIFEST28
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so1
l---------Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/test/abseil_test1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/abseil_test.runfiles_manifest28
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/gmp_testbin0 -> 14240 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/gmp_test-2.params15
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/gmp_test.runfiles/MANIFEST1
l---------Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/dreal/test/gmp_test1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/gmp_test.runfiles_manifest1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/ibex_polytope_testbin0 -> 8888 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/ibex_polytope_test-2.params22
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/MANIFEST2
l---------Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/DiscreteBoundary-0100.bch1
l---------Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/ibex_polytope_test1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles_manifest2
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/nlopt_testbin0 -> 42384 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/nlopt_test-2.params21
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/nlopt_test.runfiles/MANIFEST3
l---------Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so1
l---------Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so1
l---------Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/test/nlopt_test1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/nlopt_test.runfiles_manifest3
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/spdlog_testbin0 -> 327384 bytes
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/spdlog_test-2.params13
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/spdlog_test.runfiles/MANIFEST1
l---------Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/dreal/test/spdlog_test1
-rwxr-xr-xSolvers/dreal4/bazel-bin/test/spdlog_test.runfiles_manifest1
65 files changed, 1268 insertions, 0 deletions
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.d b/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.d
new file mode 100755
index 00000000..df6a9c51
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.d
@@ -0,0 +1,319 @@
1bazel-out/k8-opt/bin/test/_objs/abseil_test/abseil_test.pic.o: \
2 test/abseil_test.cc /usr/include/stdc-predef.h \
3 external/com_google_absl/absl/container/flat_hash_map.h \
4 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
5 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
6 /usr/include/bits/wordsize.h \
7 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
8 /usr/include/features.h /usr/include/sys/cdefs.h \
9 /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
10 /usr/include/gnu/stubs-64.h \
11 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
12 /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
13 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
14 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
15 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
16 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
17 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
18 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
19 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
20 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
21 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
22 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
23 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
24 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
25 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
26 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
27 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
28 external/com_google_absl/absl/algorithm/container.h \
29 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
30 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
31 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
32 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
33 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
34 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
35 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
36 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
37 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
38 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
39 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
40 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
41 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
42 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
43 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
44 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
45 /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \
46 /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \
47 /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
48 /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
49 /usr/include/sys/types.h /usr/include/bits/types.h \
50 /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
51 /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \
52 /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \
53 /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \
54 /usr/include/endian.h /usr/include/bits/endian.h \
55 /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \
56 /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
57 /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
58 /usr/include/bits/types/__sigset_t.h \
59 /usr/include/bits/types/struct_timeval.h \
60 /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \
61 /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
62 /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
63 /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \
64 /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \
65 /usr/include/bits/stdlib.h \
66 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
67 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
68 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
69 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
70 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
71 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
72 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
73 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
74 /usr/include/assert.h \
75 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iterator \
76 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
77 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
78 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
79 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
80 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
81 /usr/include/wchar.h \
82 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
83 /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
84 /usr/include/bits/types/mbstate_t.h \
85 /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
86 /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \
87 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stream_iterator.h \
88 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
89 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
90 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
91 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
92 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
93 /usr/include/locale.h /usr/include/bits/locale.h \
94 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
95 /usr/include/ctype.h \
96 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
97 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
98 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
99 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
100 /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \
101 /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
102 /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
103 /usr/include/bits/types/struct_tm.h \
104 /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \
105 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
106 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
107 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
108 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
109 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
110 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
111 /usr/include/stdint.h /usr/include/bits/stdint-uintn.h \
112 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
113 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
114 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
115 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
116 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
117 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
118 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
119 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
120 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
121 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
122 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
123 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
124 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
125 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
126 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
127 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
128 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
129 /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
130 /usr/include/bits/types/__fpos64_t.h \
131 /usr/include/bits/types/struct_FILE.h \
132 /usr/include/bits/types/cookie_io_functions_t.h \
133 /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
134 /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
135 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
136 /usr/include/errno.h /usr/include/bits/errno.h \
137 /usr/include/linux/errno.h /usr/include/asm/errno.h \
138 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
139 /usr/include/bits/types/error_t.h \
140 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
141 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
142 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
143 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
144 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
145 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
146 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
147 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
148 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/numeric \
149 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_numeric.h \
150 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
151 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
152 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
153 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
154 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
155 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
156 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
157 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
158 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
159 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
160 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_set \
161 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_set.h \
162 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
163 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
164 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
165 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
166 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
167 external/com_google_absl/absl/algorithm/algorithm.h \
168 external/com_google_absl/absl/base/config.h \
169 /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
170 /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
171 /usr/include/limits.h /usr/include/bits/posix1_lim.h \
172 /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
173 /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
174 /usr/include/bits/uio_lim.h external/com_google_absl/absl/base/options.h \
175 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ciso646 \
176 external/com_google_absl/absl/base/policy_checks.h \
177 external/com_google_absl/absl/base/macros.h \
178 external/com_google_absl/absl/base/attributes.h \
179 external/com_google_absl/absl/base/optimization.h \
180 external/com_google_absl/absl/base/port.h \
181 external/com_google_absl/absl/meta/type_traits.h \
182 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
183 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
184 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
185 external/com_google_absl/absl/container/internal/container_memory.h \
186 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
187 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
188 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
189 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
190 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
191 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
192 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
193 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
194 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
195 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
196 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
197 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
198 external/com_google_absl/absl/memory/memory.h \
199 external/com_google_absl/absl/utility/utility.h \
200 external/com_google_absl/absl/base/internal/inline_variable.h \
201 external/com_google_absl/absl/base/internal/identity.h \
202 external/com_google_absl/absl/base/internal/invoke.h \
203 external/com_google_absl/absl/container/internal/hash_function_defaults.h \
204 external/com_google_absl/absl/hash/hash.h \
205 external/com_google_absl/absl/hash/internal/hash.h \
206 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
207 /usr/include/math.h /usr/include/bits/math-vector.h \
208 /usr/include/bits/libm-simd-decl-stubs.h \
209 /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
210 /usr/include/bits/fp-fast.h \
211 /usr/include/bits/mathcalls-helper-functions.h \
212 /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
213 /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
214 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
215 /usr/include/string.h /usr/include/strings.h \
216 /usr/include/bits/strings_fortified.h \
217 /usr/include/bits/string_fortified.h \
218 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/deque \
219 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_deque.h \
220 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/deque.tcc \
221 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/forward_list \
222 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/forward_list.h \
223 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/forward_list.tcc \
224 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/list \
225 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_list.h \
226 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/list.tcc \
227 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
228 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
229 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
230 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
231 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
232 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
233 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
234 external/com_google_absl/absl/base/internal/endian.h \
235 /usr/include/byteswap.h \
236 external/com_google_absl/absl/base/internal/unaligned_access.h \
237 external/com_google_absl/absl/container/fixed_array.h \
238 external/com_google_absl/absl/base/dynamic_annotations.h \
239 external/com_google_absl/absl/base/internal/dynamic_annotations.h \
240 external/com_google_absl/absl/base/internal/throw_delegate.h \
241 external/com_google_absl/absl/container/internal/compressed_tuple.h \
242 external/com_google_absl/absl/numeric/int128.h \
243 external/com_google_absl/absl/numeric/int128_have_intrinsic.inc \
244 external/com_google_absl/absl/strings/string_view.h \
245 external/com_google_absl/absl/types/optional.h \
246 external/com_google_absl/absl/types/bad_optional_access.h \
247 external/com_google_absl/absl/types/internal/optional.h \
248 external/com_google_absl/absl/types/variant.h \
249 external/com_google_absl/absl/types/internal/variant.h \
250 external/com_google_absl/absl/types/bad_variant_access.h \
251 external/com_google_absl/absl/hash/internal/city.h \
252 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \
253 external/com_google_absl/absl/strings/cord.h \
254 external/com_google_absl/absl/base/internal/per_thread_tls.h \
255 external/com_google_absl/absl/container/inlined_vector.h \
256 external/com_google_absl/absl/container/internal/inlined_vector.h \
257 external/com_google_absl/absl/types/span.h \
258 external/com_google_absl/absl/types/internal/span.h \
259 external/com_google_absl/absl/functional/function_ref.h \
260 external/com_google_absl/absl/functional/internal/function_ref.h \
261 external/com_google_absl/absl/strings/internal/cord_internal.h \
262 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
263 external/com_google_absl/absl/strings/internal/resize_uninitialized.h \
264 external/com_google_absl/absl/container/internal/raw_hash_map.h \
265 external/com_google_absl/absl/container/internal/raw_hash_set.h \
266 external/com_google_absl/absl/base/internal/bits.h \
267 external/com_google_absl/absl/container/internal/common.h \
268 external/com_google_absl/absl/container/internal/hash_policy_traits.h \
269 external/com_google_absl/absl/container/internal/hashtable_debug_hooks.h \
270 external/com_google_absl/absl/container/internal/hashtablez_sampler.h \
271 external/com_google_absl/absl/container/internal/have_sse.h \
272 /usr/lib/gcc/x86_64-redhat-linux/10/include/emmintrin.h \
273 /usr/lib/gcc/x86_64-redhat-linux/10/include/xmmintrin.h \
274 /usr/lib/gcc/x86_64-redhat-linux/10/include/mmintrin.h \
275 /usr/lib/gcc/x86_64-redhat-linux/10/include/mm_malloc.h \
276 external/com_google_absl/absl/synchronization/mutex.h \
277 external/com_google_absl/absl/base/const_init.h \
278 external/com_google_absl/absl/base/internal/low_level_alloc.h \
279 external/com_google_absl/absl/base/internal/thread_identity.h \
280 /usr/include/unistd.h /usr/include/bits/posix_opt.h \
281 /usr/include/bits/environments.h /usr/include/bits/confname.h \
282 /usr/include/bits/getopt_posix.h /usr/include/bits/getopt_core.h \
283 /usr/include/bits/unistd.h /usr/include/bits/unistd_ext.h \
284 external/com_google_absl/absl/base/internal/tsan_mutex_interface.h \
285 external/com_google_absl/absl/base/thread_annotations.h \
286 external/com_google_absl/absl/base/internal/thread_annotations.h \
287 external/com_google_absl/absl/synchronization/internal/kernel_timeout.h \
288 external/com_google_absl/absl/base/internal/raw_logging.h \
289 external/com_google_absl/absl/base/internal/atomic_hook.h \
290 external/com_google_absl/absl/base/log_severity.h \
291 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
292 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
293 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
294 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
295 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
296 /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
297 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
298 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
299 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
300 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
301 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
302 external/com_google_absl/absl/time/clock.h \
303 external/com_google_absl/absl/time/time.h /usr/include/sys/time.h \
304 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
305 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
306 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
307 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
308 external/com_google_absl/absl/time/civil_time.h \
309 external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time.h \
310 external/com_google_absl/absl/time/internal/cctz/include/cctz/civil_time_detail.h \
311 external/com_google_absl/absl/time/internal/cctz/include/cctz/time_zone.h \
312 external/com_google_absl/absl/synchronization/internal/per_thread_sem.h \
313 external/com_google_absl/absl/synchronization/internal/create_thread_identity.h \
314 external/com_google_absl/absl/container/internal/layout.h \
315 external/com_google_absl/absl/strings/str_cat.h \
316 external/com_google_absl/absl/strings/numbers.h \
317 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cxxabi.h \
318 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cxxabi_tweaks.h \
319 external/com_google_absl/absl/container/flat_hash_set.h
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.o b/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.o
new file mode 100755
index 00000000..251e4d5c
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/abseil_test/abseil_test.pic.o
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.d b/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.d
new file mode 100755
index 00000000..2739b76f
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.d
@@ -0,0 +1,168 @@
1bazel-out/k8-opt/bin/test/_objs/gmp_test/gmp_test.pic.o: test/gmp_test.cc \
2 /usr/include/stdc-predef.h \
3 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
4 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
5 /usr/include/bits/wordsize.h \
6 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
7 /usr/include/features.h /usr/include/sys/cdefs.h \
8 /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
9 /usr/include/gnu/stubs-64.h \
10 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
11 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
12 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
13 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
14 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
15 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
16 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
17 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
18 /usr/include/wchar.h /usr/include/bits/libc-header-start.h \
19 /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
20 /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
21 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
22 /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
23 /usr/include/bits/types/mbstate_t.h \
24 /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
25 /usr/include/bits/types/FILE.h /usr/include/bits/types/locale_t.h \
26 /usr/include/bits/types/__locale_t.h /usr/include/bits/wchar2.h \
27 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
28 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
29 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
30 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
31 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
32 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
33 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
34 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
35 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
36 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
37 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
38 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
39 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
40 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
41 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
42 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
43 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
44 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
45 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
46 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
47 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
48 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
49 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
50 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
51 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
52 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
53 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
54 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
55 /usr/include/stdint.h /usr/include/bits/types.h \
56 /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \
57 /usr/include/bits/time64.h /usr/include/bits/stdint-intn.h \
58 /usr/include/bits/stdint-uintn.h \
59 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
60 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
61 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
62 /usr/include/locale.h /usr/include/bits/locale.h \
63 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
64 /usr/include/ctype.h /usr/include/bits/endian.h \
65 /usr/include/bits/endianness.h \
66 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
67 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
68 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
69 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
70 /usr/include/pthread.h /usr/include/sched.h \
71 /usr/include/bits/types/time_t.h \
72 /usr/include/bits/types/struct_timespec.h /usr/include/bits/sched.h \
73 /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
74 /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
75 /usr/include/bits/types/struct_timeval.h \
76 /usr/include/bits/types/clock_t.h /usr/include/bits/types/struct_tm.h \
77 /usr/include/bits/types/clockid_t.h /usr/include/bits/types/timer_t.h \
78 /usr/include/bits/types/struct_itimerspec.h \
79 /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
80 /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
81 /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
82 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
83 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
84 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
85 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
86 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
87 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
88 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
89 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
90 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
91 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
92 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
93 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
94 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
95 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
96 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
97 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
98 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
99 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
100 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
101 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
102 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
103 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
104 /usr/include/stdlib.h /usr/include/bits/waitflags.h \
105 /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
106 /usr/include/endian.h /usr/include/bits/byteswap.h \
107 /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
108 /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
109 /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
110 /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
111 /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
112 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
113 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
114 /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
115 /usr/include/bits/types/__fpos64_t.h \
116 /usr/include/bits/types/struct_FILE.h \
117 /usr/include/bits/types/cookie_io_functions_t.h \
118 /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
119 /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
120 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
121 /usr/include/errno.h /usr/include/bits/errno.h \
122 /usr/include/linux/errno.h /usr/include/asm/errno.h \
123 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
124 /usr/include/bits/types/error_t.h \
125 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
126 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
127 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
128 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
129 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
130 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
131 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
132 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
133 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
134 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
135 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
136 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
137 /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
138 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
139 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
140 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
141 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
142 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
143 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
144 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
145 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
146 external/gmp/include/gmpxx.h \
147 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
148 /usr/include/string.h /usr/include/strings.h \
149 /usr/include/bits/strings_fortified.h \
150 /usr/include/bits/string_fortified.h \
151 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
152 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
153 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
154 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
155 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
156 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
157 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
158 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
159 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
160 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cfloat \
161 /usr/lib/gcc/x86_64-redhat-linux/10/include/float.h \
162 external/gmp/include/gmp.h /usr/include/gmp-x86_64.h \
163 /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
164 /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
165 /usr/include/limits.h /usr/include/bits/posix1_lim.h \
166 /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
167 /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
168 /usr/include/bits/uio_lim.h
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.o b/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.o
new file mode 100755
index 00000000..be8931b5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/gmp_test/gmp_test.pic.o
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.d b/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.d
new file mode 100755
index 00000000..455193f3
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.d
@@ -0,0 +1,2 @@
1bazel-out/k8-opt/bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.o: \
2 test/ibex_polytope_test.cc /usr/include/stdc-predef.h
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.o b/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.o
new file mode 100755
index 00000000..be8846e7
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.o
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.d b/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.d
new file mode 100755
index 00000000..a663877e
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.d
@@ -0,0 +1,264 @@
1bazel-out/k8-opt/bin/test/_objs/nlopt_test/nlopt_test.pic.o: \
2 test/nlopt_test.cc /usr/include/stdc-predef.h \
3 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
4 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
5 /usr/include/bits/wordsize.h \
6 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
7 /usr/include/features.h /usr/include/sys/cdefs.h \
8 /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
9 /usr/include/gnu/stubs-64.h \
10 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
11 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
12 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
13 /usr/include/math.h /usr/include/bits/libc-header-start.h \
14 /usr/include/bits/types.h /usr/include/bits/timesize.h \
15 /usr/include/bits/typesizes.h /usr/include/bits/time64.h \
16 /usr/include/bits/math-vector.h /usr/include/bits/libm-simd-decl-stubs.h \
17 /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \
18 /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
19 /usr/include/bits/fp-fast.h \
20 /usr/include/bits/mathcalls-helper-functions.h \
21 /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
22 /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
23 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
24 /usr/include/stdlib.h \
25 /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
26 /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \
27 /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
28 /usr/include/sys/types.h /usr/include/bits/types/clock_t.h \
29 /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \
30 /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \
31 /usr/include/endian.h /usr/include/bits/endian.h \
32 /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \
33 /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
34 /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
35 /usr/include/bits/types/__sigset_t.h \
36 /usr/include/bits/types/struct_timeval.h \
37 /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \
38 /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
39 /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
40 /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \
41 /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \
42 /usr/include/bits/stdlib.h \
43 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
44 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
45 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
46 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
47 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
48 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
49 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
50 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
51 /usr/include/wchar.h \
52 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
53 /usr/include/bits/wchar.h /usr/include/bits/types/wint_t.h \
54 /usr/include/bits/types/mbstate_t.h \
55 /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
56 /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \
57 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
58 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
59 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
60 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
61 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
62 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
63 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
64 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
65 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
66 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
67 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
68 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
69 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
70 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
71 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
72 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
73 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
74 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
75 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
76 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
77 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
78 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
79 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
80 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
81 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
82 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
83 /usr/include/stdint.h /usr/include/bits/stdint-uintn.h \
84 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
85 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
86 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
87 /usr/include/locale.h /usr/include/bits/locale.h \
88 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
89 /usr/include/ctype.h \
90 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
91 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
92 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
93 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
94 /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \
95 /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
96 /usr/include/time.h /usr/include/bits/time.h /usr/include/bits/timex.h \
97 /usr/include/bits/types/struct_tm.h \
98 /usr/include/bits/types/struct_itimerspec.h /usr/include/bits/setjmp.h \
99 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
100 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
101 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
102 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
103 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
104 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
105 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
106 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
107 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
108 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
109 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
110 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
111 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
112 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
113 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
114 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
115 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
116 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
117 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
118 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
119 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
120 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
121 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
122 /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
123 /usr/include/bits/types/__fpos64_t.h \
124 /usr/include/bits/types/struct_FILE.h \
125 /usr/include/bits/types/cookie_io_functions_t.h \
126 /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
127 /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
128 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
129 /usr/include/errno.h /usr/include/bits/errno.h \
130 /usr/include/linux/errno.h /usr/include/asm/errno.h \
131 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
132 /usr/include/bits/types/error_t.h \
133 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
134 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
135 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
136 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
137 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
138 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
139 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
140 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
141 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
142 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
143 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
144 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
145 /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
146 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
147 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
148 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
149 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
150 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
151 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
152 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
153 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
154 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
155 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
156 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
157 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
158 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
159 external/com_google_googletest/googletest/include/gtest/gtest.h \
160 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstddef \
161 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
162 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
163 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
164 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
165 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
166 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
167 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
168 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
169 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
170 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
171 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
172 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
173 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
174 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
175 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
176 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
177 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
178 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
179 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
180 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
181 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
182 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
183 external/com_google_googletest/googletest/include/gtest/internal/gtest-internal.h \
184 external/com_google_googletest/googletest/include/gtest/internal/gtest-port.h \
185 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdlib.h \
186 /usr/include/string.h /usr/include/strings.h \
187 /usr/include/bits/strings_fortified.h \
188 /usr/include/bits/string_fortified.h /usr/include/sys/stat.h \
189 /usr/include/bits/stat.h /usr/include/bits/statx.h \
190 /usr/include/linux/stat.h /usr/include/linux/types.h \
191 /usr/include/asm/types.h /usr/include/asm-generic/types.h \
192 /usr/include/asm-generic/int-ll64.h /usr/include/asm/bitsperlong.h \
193 /usr/include/asm-generic/bitsperlong.h /usr/include/linux/posix_types.h \
194 /usr/include/linux/stddef.h /usr/include/asm/posix_types.h \
195 /usr/include/asm/posix_types_64.h /usr/include/asm-generic/posix_types.h \
196 /usr/include/bits/statx-generic.h \
197 /usr/include/bits/types/struct_statx_timestamp.h \
198 /usr/include/bits/types/struct_statx.h \
199 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/locale \
200 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.h \
201 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
202 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/time_members.h \
203 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/messages_members.h \
204 /usr/include/libintl.h \
205 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/codecvt.h \
206 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.tcc \
207 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_conv.h \
208 external/com_google_googletest/googletest/include/gtest/internal/custom/gtest-port.h \
209 external/com_google_googletest/googletest/include/gtest/internal/gtest-port-arch.h \
210 /usr/include/unistd.h /usr/include/bits/posix_opt.h \
211 /usr/include/bits/environments.h /usr/include/bits/confname.h \
212 /usr/include/bits/getopt_posix.h /usr/include/bits/getopt_core.h \
213 /usr/include/bits/unistd.h /usr/include/bits/unistd_ext.h \
214 /usr/include/regex.h /usr/include/sys/wait.h /usr/include/signal.h \
215 /usr/include/bits/signum.h /usr/include/bits/signum-generic.h \
216 /usr/include/bits/types/sig_atomic_t.h \
217 /usr/include/bits/types/siginfo_t.h /usr/include/bits/types/__sigval_t.h \
218 /usr/include/bits/siginfo-arch.h /usr/include/bits/siginfo-consts.h \
219 /usr/include/bits/siginfo-consts-arch.h \
220 /usr/include/bits/types/sigval_t.h /usr/include/bits/types/sigevent_t.h \
221 /usr/include/bits/sigevent-consts.h /usr/include/bits/sigaction.h \
222 /usr/include/bits/sigcontext.h /usr/include/bits/types/stack_t.h \
223 /usr/include/sys/ucontext.h /usr/include/bits/sigstack.h \
224 /usr/include/bits/ss_flags.h /usr/include/bits/types/struct_sigstack.h \
225 /usr/include/bits/sigthread.h /usr/include/bits/signal_ext.h \
226 /usr/lib/gcc/x86_64-redhat-linux/10/include/float.h \
227 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iomanip \
228 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/quoted_string.h \
229 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/sstream \
230 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/sstream.tcc \
231 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/map \
232 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tree.h \
233 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_map.h \
234 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multimap.h \
235 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
236 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/set \
237 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_set.h \
238 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_multiset.h \
239 external/com_google_googletest/googletest/include/gtest/gtest-message.h \
240 external/com_google_googletest/googletest/include/gtest/internal/gtest-filepath.h \
241 external/com_google_googletest/googletest/include/gtest/internal/gtest-string.h \
242 external/com_google_googletest/googletest/include/gtest/internal/gtest-type-util.h \
243 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cxxabi.h \
244 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cxxabi_tweaks.h \
245 external/com_google_googletest/googletest/include/gtest/gtest-death-test.h \
246 external/com_google_googletest/googletest/include/gtest/internal/gtest-death-test-internal.h \
247 external/com_google_googletest/googletest/include/gtest/gtest-matchers.h \
248 external/com_google_googletest/googletest/include/gtest/gtest-printers.h \
249 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
250 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
251 external/com_google_googletest/googletest/include/gtest/internal/custom/gtest-printers.h \
252 external/com_google_googletest/googletest/include/gtest/gtest-param-test.h \
253 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iterator \
254 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stream_iterator.h \
255 external/com_google_googletest/googletest/include/gtest/internal/gtest-param-util.h \
256 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
257 /usr/include/assert.h \
258 external/com_google_googletest/googletest/include/gtest/gtest-test-part.h \
259 external/com_google_googletest/googletest/include/gtest/gtest_prod.h \
260 external/com_google_googletest/googletest/include/gtest/gtest-typed-test.h \
261 external/com_google_googletest/googletest/include/gtest/gtest_pred_impl.h \
262 external/nlopt/include/_usr_local_include/nlopt.hpp \
263 external/nlopt/include/_usr_local_include/nlopt.h \
264 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.o b/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.o
new file mode 100755
index 00000000..b458fcda
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/nlopt_test/nlopt_test.pic.o
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.d b/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.d
new file mode 100755
index 00000000..d2708aa1
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.d
@@ -0,0 +1,294 @@
1bazel-out/k8-opt/bin/test/_objs/spdlog_test/spdlog_test.pic.o: \
2 test/spdlog_test.cc /usr/include/stdc-predef.h \
3 external/spdlog/include/spdlog/spdlog.h \
4 external/spdlog/include/spdlog/common.h \
5 external/spdlog/include/spdlog/tweakme.h \
6 external/spdlog/include/spdlog/details/null_mutex.h \
7 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/atomic \
8 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_base.h \
9 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++config.h \
10 /usr/include/bits/wordsize.h \
11 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/os_defines.h \
12 /usr/include/features.h /usr/include/sys/cdefs.h \
13 /usr/include/bits/long-double.h /usr/include/gnu/stubs.h \
14 /usr/include/gnu/stubs-64.h \
15 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/cpu_defines.h \
16 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \
17 /usr/include/stdint.h /usr/include/bits/libc-header-start.h \
18 /usr/include/bits/types.h /usr/include/bits/timesize.h \
19 /usr/include/bits/typesizes.h /usr/include/bits/time64.h \
20 /usr/include/bits/wchar.h /usr/include/bits/stdint-intn.h \
21 /usr/include/bits/stdint-uintn.h \
22 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/atomic_lockfree_defines.h \
23 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/move.h \
24 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/type_traits \
25 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/utility \
26 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_relops.h \
27 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_pair.h \
28 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/initializer_list \
29 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/chrono \
30 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ratio \
31 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdint \
32 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/limits \
33 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ctime \
34 /usr/include/time.h /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \
35 /usr/include/bits/time.h /usr/include/bits/timex.h \
36 /usr/include/bits/types/struct_timeval.h \
37 /usr/include/bits/types/clock_t.h /usr/include/bits/types/time_t.h \
38 /usr/include/bits/types/struct_tm.h \
39 /usr/include/bits/types/struct_timespec.h /usr/include/bits/endian.h \
40 /usr/include/bits/endianness.h /usr/include/bits/types/clockid_t.h \
41 /usr/include/bits/types/timer_t.h \
42 /usr/include/bits/types/struct_itimerspec.h \
43 /usr/include/bits/types/locale_t.h /usr/include/bits/types/__locale_t.h \
44 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/parse_numbers.h \
45 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/int_limits.h \
46 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/memory \
47 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algobase.h \
48 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functexcept.h \
49 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_defines.h \
50 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cpp_type_traits.h \
51 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/type_traits.h \
52 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/numeric_traits.h \
53 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_types.h \
54 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator_base_funcs.h \
55 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/concept_check.h \
56 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/assertions.h \
57 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_iterator.h \
58 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ptr_traits.h \
59 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/debug/debug.h \
60 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/predefined_ops.h \
61 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocator.h \
62 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++allocator.h \
63 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/new_allocator.h \
64 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/new \
65 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/exception \
66 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception.h \
67 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/exception_ptr.h \
68 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_init_exception.h \
69 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/typeinfo \
70 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hash_bytes.h \
71 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/nested_exception.h \
72 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/memoryfwd.h \
73 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_construct.h \
74 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_uninitialized.h \
75 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/alloc_traits.h \
76 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/alloc_traits.h \
77 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_tempbuf.h \
78 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_raw_storage_iter.h \
79 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ranges_uninitialized.h \
80 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iosfwd \
81 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stringfwd.h \
82 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/postypes.h \
83 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwchar \
84 /usr/include/wchar.h /usr/include/bits/floatn.h \
85 /usr/include/bits/floatn-common.h \
86 /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \
87 /usr/include/bits/types/wint_t.h /usr/include/bits/types/mbstate_t.h \
88 /usr/include/bits/types/__mbstate_t.h /usr/include/bits/types/__FILE.h \
89 /usr/include/bits/types/FILE.h /usr/include/bits/wchar2.h \
90 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/atomicity.h \
91 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr.h \
92 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/gthr-default.h \
93 /usr/include/pthread.h /usr/include/sched.h /usr/include/bits/sched.h \
94 /usr/include/bits/types/struct_sched_param.h /usr/include/bits/cpu-set.h \
95 /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \
96 /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \
97 /usr/include/bits/struct_rwlock.h /usr/include/bits/setjmp.h \
98 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/atomic_word.h \
99 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/concurrence.h \
100 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_function.h \
101 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/binders.h \
102 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uses_allocator.h \
103 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_ptr.h \
104 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/tuple \
105 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/array \
106 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_access.h \
107 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/iterator_concepts.h \
108 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/concepts \
109 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/range_cmp.h \
110 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/invoke.h \
111 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/functional_hash.h \
112 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr.h \
113 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_base.h \
114 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/allocated_ptr.h \
115 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/refwrap.h \
116 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/aligned_buffer.h \
117 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/shared_ptr_atomic.h \
118 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/backward/auto_ptr.h \
119 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/string \
120 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/char_traits.h \
121 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/localefwd.h \
122 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/c++locale.h \
123 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/clocale \
124 /usr/include/locale.h /usr/include/bits/locale.h \
125 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cctype \
126 /usr/include/ctype.h \
127 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream_insert.h \
128 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/cxxabi_forced.h \
129 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.h \
130 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ext/string_conversions.h \
131 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdlib \
132 /usr/include/stdlib.h /usr/include/bits/waitflags.h \
133 /usr/include/bits/waitstatus.h /usr/include/sys/types.h \
134 /usr/include/endian.h /usr/include/bits/byteswap.h \
135 /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \
136 /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \
137 /usr/include/bits/types/__sigset_t.h /usr/include/bits/select2.h \
138 /usr/include/alloca.h /usr/include/bits/stdlib-bsearch.h \
139 /usr/include/bits/stdlib-float.h /usr/include/bits/stdlib.h \
140 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_abs.h \
141 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdio \
142 /usr/include/stdio.h /usr/include/bits/types/__fpos_t.h \
143 /usr/include/bits/types/__fpos64_t.h \
144 /usr/include/bits/types/struct_FILE.h \
145 /usr/include/bits/types/cookie_io_functions_t.h \
146 /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \
147 /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \
148 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cerrno \
149 /usr/include/errno.h /usr/include/bits/errno.h \
150 /usr/include/linux/errno.h /usr/include/asm/errno.h \
151 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
152 /usr/include/bits/types/error_t.h \
153 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/charconv.h \
154 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_string.tcc \
155 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/functional \
156 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_function.h \
157 external/spdlog/include/spdlog/fmt/fmt.h external/fmt/include/fmt/core.h \
158 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstring \
159 /usr/include/string.h /usr/include/strings.h \
160 /usr/include/bits/strings_fortified.h \
161 /usr/include/bits/string_fortified.h \
162 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iterator \
163 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stream_iterator.h \
164 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf_iterator.h \
165 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/streambuf \
166 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ios_base.h \
167 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.h \
168 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_classes.tcc \
169 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/system_error \
170 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/error_constants.h \
171 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/stdexcept \
172 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/streambuf.tcc \
173 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/vector \
174 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_vector.h \
175 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_bvector.h \
176 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/vector.tcc \
177 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/experimental/string_view \
178 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/experimental/bits/lfts_config.h \
179 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/experimental/bits/string_view.tcc \
180 external/fmt/include/fmt/format.h \
181 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/algorithm \
182 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_algo.h \
183 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/algorithmfwd.h \
184 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/stl_heap.h \
185 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/uniform_int_dist.h \
186 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cmath \
187 /usr/include/math.h /usr/include/bits/math-vector.h \
188 /usr/include/bits/libm-simd-decl-stubs.h \
189 /usr/include/bits/flt-eval-method.h /usr/include/bits/fp-logb.h \
190 /usr/include/bits/fp-fast.h \
191 /usr/include/bits/mathcalls-helper-functions.h \
192 /usr/include/bits/mathcalls.h /usr/include/bits/mathcalls-narrow.h \
193 /usr/include/bits/iscanonical.h /usr/include/bits/mathinline.h \
194 external/fmt/include/fmt/core.h external/fmt/include/fmt/format-inl.h \
195 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cassert \
196 /usr/include/assert.h \
197 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/climits \
198 /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \
199 /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \
200 /usr/include/limits.h /usr/include/bits/posix1_lim.h \
201 /usr/include/bits/local_lim.h /usr/include/linux/limits.h \
202 /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h \
203 /usr/include/bits/uio_lim.h \
204 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cstdarg \
205 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/locale \
206 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.h \
207 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/cwctype \
208 /usr/include/wctype.h /usr/include/bits/wctype-wchar.h \
209 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_base.h \
210 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/ctype_inline.h \
211 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets.tcc \
212 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.h \
213 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/time_members.h \
214 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/x86_64-redhat-linux/bits/messages_members.h \
215 /usr/include/libintl.h \
216 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/codecvt.h \
217 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_facets_nonio.tcc \
218 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/locale_conv.h \
219 external/fmt/include/fmt/format.h \
220 external/spdlog/include/spdlog/common-inl.h \
221 external/spdlog/include/spdlog/details/registry.h \
222 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/unordered_map \
223 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable.h \
224 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/hashtable_policy.h \
225 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unordered_map.h \
226 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/erase_if.h \
227 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/mutex \
228 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/std_mutex.h \
229 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/unique_lock.h \
230 external/spdlog/include/spdlog/details/registry-inl.h \
231 external/spdlog/include/spdlog/details/periodic_worker.h \
232 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/condition_variable \
233 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/thread \
234 external/spdlog/include/spdlog/details/periodic_worker-inl.h \
235 external/spdlog/include/spdlog/logger.h \
236 external/spdlog/include/spdlog/details/log_msg.h \
237 external/spdlog/include/spdlog/details/log_msg-inl.h \
238 external/spdlog/include/spdlog/details/os.h \
239 external/spdlog/include/spdlog/details/os-inl.h /usr/include/sys/stat.h \
240 /usr/include/bits/stat.h /usr/include/bits/statx.h \
241 /usr/include/linux/stat.h /usr/include/linux/types.h \
242 /usr/include/asm/types.h /usr/include/asm-generic/types.h \
243 /usr/include/asm-generic/int-ll64.h /usr/include/asm/bitsperlong.h \
244 /usr/include/asm-generic/bitsperlong.h /usr/include/linux/posix_types.h \
245 /usr/include/linux/stddef.h /usr/include/asm/posix_types.h \
246 /usr/include/asm/posix_types_64.h /usr/include/asm-generic/posix_types.h \
247 /usr/include/bits/statx-generic.h \
248 /usr/include/bits/types/struct_statx_timestamp.h \
249 /usr/include/bits/types/struct_statx.h /usr/include/fcntl.h \
250 /usr/include/bits/fcntl.h /usr/include/bits/fcntl-linux.h \
251 /usr/include/bits/types/struct_iovec.h /usr/include/linux/falloc.h \
252 /usr/include/bits/fcntl2.h /usr/include/unistd.h \
253 /usr/include/bits/posix_opt.h /usr/include/bits/environments.h \
254 /usr/include/bits/confname.h /usr/include/bits/getopt_posix.h \
255 /usr/include/bits/getopt_core.h /usr/include/bits/unistd.h \
256 /usr/include/bits/unistd_ext.h /usr/include/sys/syscall.h \
257 /usr/include/asm/unistd.h /usr/include/asm/unistd_64.h \
258 /usr/include/bits/syscall.h \
259 external/spdlog/include/spdlog/details/backtracer.h \
260 external/spdlog/include/spdlog/details/log_msg_buffer.h \
261 external/spdlog/include/spdlog/details/log_msg_buffer-inl.h \
262 external/spdlog/include/spdlog/details/circular_q.h \
263 external/spdlog/include/spdlog/details/backtracer-inl.h \
264 external/spdlog/include/spdlog/logger-inl.h \
265 external/spdlog/include/spdlog/sinks/sink.h \
266 external/spdlog/include/spdlog/formatter.h \
267 external/spdlog/include/spdlog/sinks/sink-inl.h \
268 external/spdlog/include/spdlog/pattern_formatter.h \
269 external/spdlog/include/spdlog/pattern_formatter-inl.h \
270 external/spdlog/include/spdlog/details/fmt_helper.h \
271 external/spdlog/include/spdlog/sinks/ansicolor_sink.h \
272 external/spdlog/include/spdlog/details/console_globals.h \
273 external/spdlog/include/spdlog/sinks/ansicolor_sink-inl.h \
274 external/spdlog/include/spdlog/version.h \
275 external/spdlog/include/spdlog/details/synchronous_factory.h \
276 external/spdlog/include/spdlog/spdlog-inl.h \
277 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/iostream \
278 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ostream \
279 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/ios \
280 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.h \
281 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/basic_ios.tcc \
282 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/ostream.tcc \
283 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/istream \
284 /usr/lib/gcc/x86_64-redhat-linux/10/../../../../include/c++/10/bits/istream.tcc \
285 external/spdlog/include/spdlog/sinks/basic_file_sink.h \
286 external/spdlog/include/spdlog/details/file_helper.h \
287 external/spdlog/include/spdlog/details/file_helper-inl.h \
288 external/spdlog/include/spdlog/sinks/base_sink.h \
289 external/spdlog/include/spdlog/sinks/base_sink-inl.h \
290 external/spdlog/include/spdlog/sinks/basic_file_sink-inl.h \
291 external/spdlog/include/spdlog/sinks/rotating_file_sink.h \
292 external/spdlog/include/spdlog/sinks/rotating_file_sink-inl.h \
293 external/spdlog/include/spdlog/sinks/stdout_color_sinks.h \
294 external/spdlog/include/spdlog/sinks/stdout_color_sinks-inl.h
diff --git a/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.o b/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.o
new file mode 100755
index 00000000..18011b66
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/_objs/spdlog_test/spdlog_test.pic.o
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test b/Solvers/dreal4/bazel-bin/test/abseil_test
new file mode 100755
index 00000000..9bd1e26b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test-2.params b/Solvers/dreal4/bazel-bin/test/abseil_test-2.params
new file mode 100755
index 00000000..0794e751
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test-2.params
@@ -0,0 +1,45 @@
1-o
2bazel-out/k8-opt/bin/test/abseil_test
3-Wl,-rpath,$ORIGIN/../_solib_k8/
4-Lbazel-out/k8-opt/bin/_solib_k8
5-pie
6-fuse-ld=gold
7-Wl,-no-as-needed
8-Wl,-z,relro,-z,now
9-B/usr/bin
10-pass-exit-codes
11-lstdc++
12-lm
13-Wl,--gc-sections
14bazel-out/k8-opt/bin/test/_objs/abseil_test/abseil_test.pic.o
15-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash
16-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity
17-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess
18-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord
19-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal
20-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset
21-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess
22-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler
23-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased
24-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization
25-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal
26-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace
27-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize
28-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal
29-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal
30-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal
31-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime
32-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone
33-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime
34-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings
35-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal
36-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase
37-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait
38-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128
39-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate
40-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal
41-lexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity
42-pthread
43-pthread
44-pthread
45-pthread
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/MANIFEST b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/MANIFEST
new file mode 100755
index 00000000..4cd79c32
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/MANIFEST
@@ -0,0 +1,28 @@
1dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so
2dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so
3dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so
4dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so
5dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so
6dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so
7dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so
8dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so
9dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so
10dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so
11dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so
12dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so
13dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so
14dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so
15dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so
16dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so
17dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so
18dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so
19dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so
20dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so
21dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so
22dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so
23dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so
24dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so
25dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so
26dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so
27dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so
28dreal/test/abseil_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/abseil_test
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so
new file mode 120000
index 00000000..7169da64
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so
new file mode 120000
index 00000000..45fe19a2
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so
new file mode 120000
index 00000000..b1a56d7b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so
new file mode 120000
index 00000000..41bbf969
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so
new file mode 120000
index 00000000..eda0e201
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so
new file mode 120000
index 00000000..81fe69ed
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so
new file mode 120000
index 00000000..6159db34
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so
new file mode 120000
index 00000000..98aea67f
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so
new file mode 120000
index 00000000..bca35a38
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so
new file mode 120000
index 00000000..bc777f2b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so
new file mode 120000
index 00000000..190ea51b
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so
new file mode 120000
index 00000000..88460bfe
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so
new file mode 120000
index 00000000..3dceddb3
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so
new file mode 120000
index 00000000..389d94a8
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so
new file mode 120000
index 00000000..04d5e772
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so
new file mode 120000
index 00000000..2a155c8c
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so
new file mode 120000
index 00000000..c02ea753
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so
new file mode 120000
index 00000000..477ab577
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so
new file mode 120000
index 00000000..8c736771
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so
new file mode 120000
index 00000000..933a7e37
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so
new file mode 120000
index 00000000..cf4dac49
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so
new file mode 120000
index 00000000..1bb186a1
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so
new file mode 120000
index 00000000..d8ad3058
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so
new file mode 120000
index 00000000..49f69d85
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so
new file mode 120000
index 00000000..3068b417
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so
new file mode 120000
index 00000000..52402eda
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so
new file mode 120000
index 00000000..cec7dd3c
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/test/abseil_test b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/test/abseil_test
new file mode 120000
index 00000000..16b86b6d
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles/dreal/test/abseil_test
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/abseil_test \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles_manifest b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles_manifest
new file mode 100755
index 00000000..4cd79c32
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/abseil_test.runfiles_manifest
@@ -0,0 +1,28 @@
1dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibbase.so
2dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibexponential_Ubiased.so
3dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Sliblog_Useverity.so
4dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibmalloc_Uinternal.so
5dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibraw_Ulogging_Uinternal.so
6dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibspinlock_Uwait.so
7dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sbase_Slibthrow_Udelegate.so
8dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibhashtablez_Usampler.so
9dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Scontainer_Slibraw_Uhash_Uset.so
10dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdebugging_Uinternal.so
11dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibdemangle_Uinternal.so
12dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibstacktrace.so
13dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sdebugging_Slibsymbolize.so
14dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibcity.so
15dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Shash_Slibhash.so
16dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Snumeric_Slibint128.so
17dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibcord.so
18dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibinternal.so
19dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstr_Uformat_Uinternal.so
20dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Sstrings_Slibstrings.so
21dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibgraphcycles_Uinternal.so
22dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Ssynchronization_Slibsynchronization.so
23dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibcivil_Utime.so
24dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Sinternal_Scctz_Slibtime_Uzone.so
25dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stime_Slibtime.so
26dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uoptional_Uaccess.so
27dreal/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Uabsl_Sabsl_Stypes_Slibbad_Uvariant_Uaccess.so
28dreal/test/abseil_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/abseil_test
diff --git a/Solvers/dreal4/bazel-bin/test/gmp_test b/Solvers/dreal4/bazel-bin/test/gmp_test
new file mode 100755
index 00000000..b804f810
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/gmp_test
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/gmp_test-2.params b/Solvers/dreal4/bazel-bin/test/gmp_test-2.params
new file mode 100755
index 00000000..bf48f0d2
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/gmp_test-2.params
@@ -0,0 +1,15 @@
1-o
2bazel-out/k8-opt/bin/test/gmp_test
3-pie
4-fuse-ld=gold
5-Wl,-no-as-needed
6-Wl,-z,relro,-z,now
7-B/usr/bin
8-pass-exit-codes
9-lstdc++
10-lm
11-Wl,--gc-sections
12bazel-out/k8-opt/bin/test/_objs/gmp_test/gmp_test.pic.o
13-L/usr/lib/x86_64-linux-gnu
14-lgmpxx
15-lgmp
diff --git a/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/MANIFEST b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/MANIFEST
new file mode 100755
index 00000000..b0af332a
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/MANIFEST
@@ -0,0 +1 @@
dreal/test/gmp_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/gmp_test
diff --git a/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/dreal/test/gmp_test b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/dreal/test/gmp_test
new file mode 120000
index 00000000..798a8a84
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles/dreal/test/gmp_test
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/gmp_test \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles_manifest b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles_manifest
new file mode 100755
index 00000000..b0af332a
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/gmp_test.runfiles_manifest
@@ -0,0 +1 @@
dreal/test/gmp_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/gmp_test
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test
new file mode 100755
index 00000000..25e2f1f4
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test-2.params b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test-2.params
new file mode 100755
index 00000000..d155505a
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test-2.params
@@ -0,0 +1,22 @@
1-o
2bazel-out/k8-opt/bin/test/ibex_polytope_test
3-pie
4-fuse-ld=gold
5-Wl,-no-as-needed
6-Wl,-z,relro,-z,now
7-B/usr/bin
8-pass-exit-codes
9-lstdc++
10-lm
11-Wl,--gc-sections
12bazel-out/k8-opt/bin/test/_objs/ibex_polytope_test/ibex_polytope_test.pic.o
13-Wl,-rpath
14/usr/local/lib
15-L/usr/local/lib
16-libex
17-Wl,-rpath
18/usr/local/lib/ibex/3rd
19-L/usr/local/lib/ibex/3rd
20-lgaol
21-lgdtoa
22-lultim
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/MANIFEST b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/MANIFEST
new file mode 100755
index 00000000..0c1e3847
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/MANIFEST
@@ -0,0 +1,2 @@
1dreal/test/DiscreteBoundary-0100.bch /home/models/dreal4/test/DiscreteBoundary-0100.bch
2dreal/test/ibex_polytope_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/ibex_polytope_test
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/DiscreteBoundary-0100.bch b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/DiscreteBoundary-0100.bch
new file mode 120000
index 00000000..1eb9cf95
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/DiscreteBoundary-0100.bch
@@ -0,0 +1 @@
/home/models/dreal4/test/DiscreteBoundary-0100.bch \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/ibex_polytope_test b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/ibex_polytope_test
new file mode 120000
index 00000000..b948b5ba
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles/dreal/test/ibex_polytope_test
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/ibex_polytope_test \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles_manifest b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles_manifest
new file mode 100755
index 00000000..0c1e3847
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/ibex_polytope_test.runfiles_manifest
@@ -0,0 +1,2 @@
1dreal/test/DiscreteBoundary-0100.bch /home/models/dreal4/test/DiscreteBoundary-0100.bch
2dreal/test/ibex_polytope_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/ibex_polytope_test
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test b/Solvers/dreal4/bazel-bin/test/nlopt_test
new file mode 100755
index 00000000..99ce26e3
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test-2.params b/Solvers/dreal4/bazel-bin/test/nlopt_test-2.params
new file mode 100755
index 00000000..fe1fdcb5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test-2.params
@@ -0,0 +1,21 @@
1-o
2bazel-out/k8-opt/bin/test/nlopt_test
3-Wl,-rpath,$ORIGIN/../_solib_k8/
4-Lbazel-out/k8-opt/bin/_solib_k8
5-pie
6-fuse-ld=gold
7-Wl,-no-as-needed
8-Wl,-z,relro,-z,now
9-B/usr/bin
10-pass-exit-codes
11-lstdc++
12-lm
13-Wl,--gc-sections
14bazel-out/k8-opt/bin/test/_objs/nlopt_test/nlopt_test.pic.o
15-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain
16-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest
17-Wl,-rpath
18/usr/local/lib
19-L/usr/local/lib
20-lnlopt
21-pthread
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/MANIFEST b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/MANIFEST
new file mode 100755
index 00000000..48ad472d
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/MANIFEST
@@ -0,0 +1,3 @@
1dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so
2dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so
3dreal/test/nlopt_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/nlopt_test
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so
new file mode 120000
index 00000000..7c5d5c19
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so
new file mode 120000
index 00000000..fb76a6db
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/test/nlopt_test b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/test/nlopt_test
new file mode 120000
index 00000000..16357c06
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles/dreal/test/nlopt_test
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/nlopt_test \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles_manifest b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles_manifest
new file mode 100755
index 00000000..48ad472d
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/nlopt_test.runfiles_manifest
@@ -0,0 +1,3 @@
1dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest.so
2dreal/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/_solib_k8/libexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain.so
3dreal/test/nlopt_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/nlopt_test
diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test b/Solvers/dreal4/bazel-bin/test/spdlog_test
new file mode 100755
index 00000000..37be4b9f
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/spdlog_test
Binary files differ
diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test-2.params b/Solvers/dreal4/bazel-bin/test/spdlog_test-2.params
new file mode 100755
index 00000000..e4766d99
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/spdlog_test-2.params
@@ -0,0 +1,13 @@
1-o
2bazel-out/k8-opt/bin/test/spdlog_test
3-pie
4-fuse-ld=gold
5-Wl,-no-as-needed
6-Wl,-z,relro,-z,now
7-B/usr/bin
8-pass-exit-codes
9-lstdc++
10-lm
11-Wl,--gc-sections
12bazel-out/k8-opt/bin/test/_objs/spdlog_test/spdlog_test.pic.o
13-pthread
diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/MANIFEST b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/MANIFEST
new file mode 100755
index 00000000..0c097d32
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/MANIFEST
@@ -0,0 +1 @@
dreal/test/spdlog_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/spdlog_test
diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/dreal/test/spdlog_test b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/dreal/test/spdlog_test
new file mode 120000
index 00000000..cdb5dcc5
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles/dreal/test/spdlog_test
@@ -0,0 +1 @@
/home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/spdlog_test \ No newline at end of file
diff --git a/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles_manifest b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles_manifest
new file mode 100755
index 00000000..0c097d32
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/test/spdlog_test.runfiles_manifest
@@ -0,0 +1 @@
dreal/test/spdlog_test /home/models/.cache/bazel/_bazel_models/d2bcb0d79fb4abe5ea9078c2027c2fc8/execroot/dreal/bazel-out/k8-opt/bin/test/spdlog_test