研读该程序的目的:(1)组合两个以上求解器的程序代码组织;(2)cmake的代码编写和阅读
1.下载cmsatv56-yalsat
2.在编译窗口切换到文件夹cmsatv56-yalsat路径下,运行命令./starexec_build2,自动建立文件夹build并得到编译后的exe程序。编译过程屏幕显示如下:
1 Administrator@PC-20170726RROZ ~ 2 $ cd /cygdrive/d/caidical2022study/cmsatv56-yalsat 3 4 Administrator@PC-20170726RROZ /cygdrive/d/caidical2022study/cmsatv56-yalsat 5 $ ./starexec_build2 6 + gcc --version 7 gcc (GCC) 7.3.0 8 Copyright © 2017 Free Software Foundation, Inc. 9 本程序是自由软件;请参看源代码的版权声明。本软件没有任何担保; 10 包括没有适销性和某一专用目的下的适用性担保。 11 + g++ --version 12 g++ (GCC) 7.3.0 13 Copyright © 2017 Free Software Foundation, Inc. 14 本程序是自由软件;请参看源代码的版权声明。本软件没有任何担保; 15 包括没有适销性和某一专用目的下的适用性担保。 16 + rm -rf build 17 + mkdir build 18 + cd build 19 + cmake -DENABLE_PYTHON_INTERFACE=OFF -DNOVALGRIND=ON -DNOZLIB=ON -DONLY_SIMPLE=ON -DSTATICCOMPILE=ON -DMANPAGE=OFF -DCMAKE_BUILD_TYPE=Release .. 20 -- LIB directory is 'lib' 21 -- BIN directory is 'bin' 22 -- Doing a Release build 23 -- The C compiler identification is GNU 7.3.0 24 -- The CXX compiler identification is GNU 7.3.0 25 -- Check for working C compiler: /usr/bin/cc 26 -- Check for working C compiler: /usr/bin/cc -- works 27 -- Detecting C compiler ABI info 28 -- Detecting C compiler ABI info - done 29 -- Detecting C compile features 30 -- Detecting C compile features - done 31 -- Check for working CXX compiler: /usr/bin/c++.exe 32 -- Check for working CXX compiler: /usr/bin/c++.exe -- works 33 -- Detecting CXX compiler ABI info 34 -- Detecting CXX compiler ABI info - done 35 -- Detecting CXX compile features 36 -- Detecting CXX compile features - done 37 -- Looking for pthread.h 38 -- Looking for pthread.h - found 39 -- Looking for pthread_create 40 -- Looking for pthread_create - found 41 -- Found Threads: TRUE 42 -- build type is Release 43 -- Performing Test HAVE_FLAG_-fno-stack-protector 44 -- Performing Test HAVE_FLAG_-fno-stack-protector - Success 45 -- PROJECT_VERSION: 5.6.8 46 -- PROJECT_VERSION_MAJOR: 5 47 -- PROJECT_VERSION_MINOR: 6 48 -- PROJECT_VERSION_PATCH: 8 49 -- Not compiling detailed statistics. The system is faster without them 50 -- Not on Linux, not creating manpage 51 -- Found PkgConfig: /usr/bin/pkg-config.exe (found version "0.29.1") 52 -- Could NOT find m4ri (missing: M4RI_LIBRARIES M4RI_INCLUDE_DIRS) 53 CMake Warning at CMakeLists.txt:548 (MESSAGE): 54 Did not find M4RI, XOR detection&manipulation disabled 55 56 57 -- All defines at startup: -DNDEBUG -D_FORTIFY_SOURCE=0 58 -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here' 59 -- Could NOT find PythonInterp: Found unsuitable version "2.7.14", but required is at least "3" (found /usr/bin/python) 60 -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "3") 61 -- Python 3 not fully found or Python 2 has been forced -- trying Python 2.7 62 -- Found PythonInterp: /usr/bin/python2.7.exe (found suitable version "2.7.14", minimum required is "2.7") 63 -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "2.7") 64 -- Python 2.7 -- PYTHON_EXECUTABLE=/usr/bin/python2.7.exe 65 -- Python 2.7 -- PYTHON_LIBRARIES=PYTHON_LIBRARY-NOTFOUND 66 -- Python 2.7 -- PYTHON_INCLUDE_DIRS= 67 -- Python 2.7 -- PYTHONLIBS_VERSION_STRING= 68 -- Only building executable with few command-line options because the boost program_options library were not available 69 -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion 70 -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed 71 -- Performing Test HAVE_FLAG_-Wlogical-op 72 -- Performing Test HAVE_FLAG_-Wlogical-op - Success 73 -- Performing Test HAVE_FLAG_-Wrestrict 74 -- Performing Test HAVE_FLAG_-Wrestrict - Success 75 -- Performing Test HAVE_FLAG_-Wnull-dereference 76 -- Performing Test HAVE_FLAG_-Wnull-dereference - Success 77 -- Performing Test HAVE_FLAG_-Wjump-misses-init 78 -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed 79 -- Performing Test HAVE_FLAG_-Wdouble-promotion 80 -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success 81 -- Performing Test HAVE_FLAG_-Wshadow 82 -- Performing Test HAVE_FLAG_-Wshadow - Success 83 -- Performing Test HAVE_FLAG_-Wformat=2 84 -- Performing Test HAVE_FLAG_-Wformat=2 - Success 85 -- Performing Test HAVE_FLAG_-Wextra-semi 86 -- Performing Test HAVE_FLAG_-Wextra-semi - Failed 87 -- Performing Test HAVE_FLAG_-pedantic 88 -- Performing Test HAVE_FLAG_-pedantic - Success 89 -- Performing Test HAVE_FLAG_-Wno-class-memaccess 90 -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed 91 -- Performing Test COMPILER_HAS_DEPRECATED_ATTR 92 -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success 93 CMake Warning at CMakeLists.txt:716 (message): 94 Testing is disabled 95 96 97 -- Configuring done 98 -- Generating done 99 -- Build files have been written to: /cygdrive/d/caidical2022study/cmsatv56-yalsat/build 100 + make -j4 VERBOSE=1 101 /usr/bin/cmake.exe -H/cygdrive/d/caidical2022study/cmsatv56-yalsat -B/cygdrive/d/caidical2022study/cmsatv56-yalsat/build --check-build-system CMakeFiles/Makefile.cmake 0 102 /usr/bin/cmake.exe -E cmake_progress_start /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/CMakeFiles /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/CMakeFiles/progress.marks 103 make -f CMakeFiles/Makefile2 all 104 make[1]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 105 make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend 106 make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend 107 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 108 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build && /usr/bin/cmake.exe -E cmake_depends "Unix Makefiles" /cygdrive/d/caidical2022study/cmsatv56-yalsat /cygdrive/d/caidical2022study/cmsatv56-yalsat/src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= 109 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 110 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build && /usr/bin/cmake.exe -E cmake_depends "Unix Makefiles" /cygdrive/d/caidical2022study/cmsatv56-yalsat /cygdrive/d/caidical2022study/cmsatv56-yalsat/src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= 111 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". 112 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". 113 Scanning dependencies of target CopyPublicHeaders 114 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". 115 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". 116 Scanning dependencies of target cryptominisat5 117 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 118 make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build 119 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 120 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E make_directory /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 121 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E echo Copying\ cryptominisat_c.h\ to\ /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 122 Copying cryptominisat_c.h to /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 123 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E copy_if_different /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/cryptominisat5/cryptominisat_c.h /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 124 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E make_directory /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 125 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E echo Copying\ cryptominisat.h\ to\ /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 126 Copying cryptominisat.h to /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 127 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E copy_if_different /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/cryptominisat5/cryptominisat.h /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 128 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E make_directory /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 129 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E echo Copying\ solvertypesmini.h\ to\ /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 130 Copying solvertypesmini.h to /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 131 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E copy_if_different /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/cryptominisat5/solvertypesmini.h /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 132 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E make_directory /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 133 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E echo Copying\ dimacsparser.h\ to\ /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 134 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 135 make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build 136 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 137 Copying dimacsparser.h to /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 138 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E copy_if_different /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/dimacsparser.h /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 139 [ 2%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o 140 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/cnf.cpp 141 [ 4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o 142 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/propengine.cpp 143 [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o 144 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E make_directory /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 145 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/varreplacer.cpp 146 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E echo Copying\ streambuffer.h\ to\ /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 147 Copying streambuffer.h to /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 148 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E copy_if_different /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/streambuffer.h /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/include/cryptominisat5 149 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 150 [ 6%] Built target CopyPublicHeaders 151 [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o 152 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/clausecleaner.cpp 153 [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o 154 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/clauseusagestats.cpp 155 [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o 156 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/prober.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/prober.cpp 157 [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o 158 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/occsimplifier.cpp 159 [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o 160 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/subsumestrengthen.cpp 161 [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o 162 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/clauseallocator.cpp 163 [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o 164 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/sccfinder.cpp 165 [ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o 166 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/solverconf.cpp 167 [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o 168 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/distillerlong.cpp 169 [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o 170 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/distillerlongwithimpl.cpp 171 [ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o 172 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/str_impl_w_impl_stamp.cpp 173 [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o 174 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/solutionextender.cpp 175 [ 34%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o 176 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/completedetachreattacher.cpp 177 [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o 178 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/searcher.cpp 179 [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o 180 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/solver.cpp 181 [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o 182 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/sqlstats.cpp 183 [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o 184 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/implcache.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/implcache.cpp 185 [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o 186 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/stamp.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/stamp.cpp 187 [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o 188 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/compfinder.cpp 189 [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o 190 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/comphandler.cpp 191 [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o 192 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/hyperengine.cpp 193 [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o 194 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/subsumeimplicit.cpp 195 [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o 196 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/datasync.cpp 197 [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o 198 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/reducedb.cpp 199 [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o 200 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/clausedumper.cpp 201 [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o 202 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/bva.cpp 203 [ 65%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o 204 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/intree.cpp 205 [ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o 206 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/features_calc.cpp 207 [ 69%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o 208 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/features_to_reconf.cpp 209 [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o 210 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/solvefeatures.cpp 211 [ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o 212 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/searchstats.cpp 213 [ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o 214 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/xorfinder.cpp 215 [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o 216 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/cryptominisat_c.cpp 217 [ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o 218 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/yalsat.cpp 219 [ 82%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o 220 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cc -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -g -pthread -O2 -g0 -fPIC -std=gnu99 -o CMakeFiles/cryptominisat5.dir/yals.c.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/yals.c 221 [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o 222 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/walksat.cpp 223 [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o 224 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/sls.cpp 225 [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o 226 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/GitSHA1.cpp 227 [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o 228 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/cryptominisat.cpp 229 [ 93%] Linking CXX static library ../lib/libcryptominisat5.a 230 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -P CMakeFiles/cryptominisat5.dir/cmake_clean_target.cmake 231 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 232 /usr/bin/ar.exe qc ../lib/libcryptominisat5.a CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/cryptominisat5.dir/prober.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/implcache.cpp.o CMakeFiles/cryptominisat5.dir/stamp.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o 233 /usr/bin/ranlib.exe ../lib/libcryptominisat5.a 234 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 235 [ 93%] Built target cryptominisat5 236 make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend 237 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 238 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build && /usr/bin/cmake.exe -E cmake_depends "Unix Makefiles" /cygdrive/d/caidical2022study/cmsatv56-yalsat /cygdrive/d/caidical2022study/cmsatv56-yalsat/src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color= 239 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". 240 Dependee "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". 241 Scanning dependencies of target cryptominisat5_simple-bin 242 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 243 make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build 244 make[2]: 进入目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 245 [ 95%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o 246 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/main_simple.cpp 247 [ 97%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o 248 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/c++.exe -DNDEBUG -D_FORTIFY_SOURCE=0 -I/cygdrive/d/caidical2022study/cmsatv56-yalsat -I/cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /cygdrive/d/caidical2022study/cmsatv56-yalsat/src/main_common.cpp 249 [100%] Linking CXX executable ../cryptominisat5_simple.exe 250 cd /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/cmsat5-src && /usr/bin/cmake.exe -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1 251 /usr/bin/c++.exe -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -Wl,--enable-auto-import -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -o ../cryptominisat5_simple.exe -Wl,--out-implib,../lib/libcryptominisat5_simple.dll.a -Wl,--major-image-version,0,--minor-image-version,0 ../lib/libcryptominisat5.a 252 make[2]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 253 [100%] Built target cryptominisat5_simple-bin 254 make[1]: 离开目录“/cygdrive/d/caidical2022study/cmsatv56-yalsat/build” 255 /usr/bin/cmake.exe -E cmake_progress_start /cygdrive/d/caidical2022study/cmsatv56-yalsat/build/CMakeFiles 0 256 + cp cryptominisat5_simple ../bin/ 257 + ldd ./cryptominisat5_simple 258 ntdll.dll => /cygdrive/c/Windows/SYSTEM32/ntdll.dll (0x76d20000) 259 kernel32.dll => /cygdrive/c/Windows/system32/kernel32.dll (0x76b00000) 260 KERNELBASE.dll => /cygdrive/c/Windows/system32/KERNELBASE.dll (0x7fefc990000) 261 cygwin1.dll => /usr/bin/cygwin1.dll (0x180040000) 262 cyggcc_s-seh-1.dll => /usr/bin/cyggcc_s-seh-1.dll (0x3f2660000) 263 cygstdc++-6.dll => /usr/bin/cygstdc++-6.dll (0x3e7de0000) 264 + echo '1 0' 265 + ./cryptominisat5_simple 266 c CryptoMiniSat version 5.6.8 267 c CryptoMiniSat compiled with gcc version 7.3.0 268 c NOTE: this is a SIMPLIFIED executable. For the full experience, you need to compile/obtain/use the 'cryptominisat5' executable.
|
|
3.运行程序测试求解两个文件,显示如下:
1 Administrator@PC-20170726RROZ /cygdrive/d/caidical2022study/test_cadical2022_3 2 $ ./cryptominisat5_simple.exe q889.cnf out.out 3 c CryptoMiniSat version 5.6.8 4 c CryptoMiniSat compiled with gcc version 7.3.0 5 c NOTE: this is a SIMPLIFIED executable. For the full experience, you need to compile/obtain/use the 'cryptominisat5'
|
|
1 Administrator@PC-20170726RROZ /cygdrive/d/caidical2022study/test_cadical2022_3 2 $ ./cryptominisat5_simple.exe dist8.c.cnf out.out 3 c CryptoMiniSat version 5.6.8 4 c CryptoMiniSat compiled with gcc version 7.3.0 5 c NOTE: this is a SIMPLIFIED executable. For the full experience, you need to compile/obtain/use the 'cryptominisat5'
|
|
4. 编译命令文件代码研读
1 #!/bin/bash 2 3 set -e 4 set -x 5 6 gcc --version 7 g++ --version 8 9 rm -rf cmake-3.11.1 10 tar xzvf cmake-3.11.1.tar.gz 11 cd cmake-3.11.1 || exit 12 ./configure --prefix=$(pwd)/myinstall 13 make -j4 14 make install 15 export CMAKE_ROOT=$(pwd)/myinstall 16 cd .. 17 18 rm -rf build 19 mkdir build 20 21 cd build || exit 22 ../cmake-3.11.1/bin/cmake --version 23 ../cmake-3.11.1/bin/cmake -DENABLE_PYTHON_INTERFACE=OFF -DNOVALGRIND=ON -DNOZLIB=ON -DONLY_SIMPLE=ON -DSTATICCOMPILE=ON -DMANPAGE=OFF -DCMAKE_BUILD_TYPE=Release .. 24 make -j4 VERBOSE=1 25 cp cryptominisat5_simple ../bin/ 26 ldd ./cryptominisat5_simple || true 27 echo "1 0" | ./cryptominisat5_simple || true
|
|
#!/bin/bash
set -eset -x
gcc --versiong++ --version
rm -rf cmake-3.11.1tar xzvf cmake-3.11.1.tar.gzcd cmake-3.11.1 || exit./configure --prefix=$(pwd)/myinstallmake -j4make installexport CMAKE_ROOT=$(pwd)/myinstallcd ..
rm -rf buildmkdir build
cd build || exit../cmake-3.11.1/bin/cmake --version../cmake-3.11.1/bin/cmake -DENABLE_PYTHON_INTERFACE=OFF -DNOVALGRIND=ON -DNOZLIB=ON -DONLY_SIMPLE=ON -DSTATICCOMPILE=ON -DMANPAGE=OFF -DCMAKE_BUILD_TYPE=Release ..make -j4 VERBOSE=1cp cryptominisat5_simple ../bin/ldd ./cryptominisat5_simple || trueecho "1 0" | ./cryptominisat5_simple || true