java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point.cil.out.i -------------------------------------------------------------------------------- This is Ultimate 0.1.24-55cd5f5 [2019-08-15 12:32:38,171 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-15 12:32:38,173 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-15 12:32:38,185 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-15 12:32:38,185 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-15 12:32:38,187 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-15 12:32:38,188 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-15 12:32:38,190 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-15 12:32:38,191 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-15 12:32:38,192 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-15 12:32:38,193 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-15 12:32:38,194 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-15 12:32:38,194 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-15 12:32:38,195 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-15 12:32:38,196 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-15 12:32:38,197 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-15 12:32:38,198 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-15 12:32:38,199 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-15 12:32:38,201 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-15 12:32:38,203 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-15 12:32:38,204 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-15 12:32:38,205 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-15 12:32:38,206 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-15 12:32:38,207 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-15 12:32:38,209 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-15 12:32:38,210 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-15 12:32:38,210 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-15 12:32:38,211 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-15 12:32:38,211 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-15 12:32:38,212 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-15 12:32:38,212 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-15 12:32:38,213 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-15 12:32:38,214 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-15 12:32:38,214 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-15 12:32:38,216 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-15 12:32:38,216 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-15 12:32:38,216 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-15 12:32:38,217 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-15 12:32:38,217 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-15 12:32:38,218 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-15 12:32:38,218 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-15 12:32:38,219 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf [2019-08-15 12:32:38,233 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-15 12:32:38,233 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-15 12:32:38,235 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-15 12:32:38,235 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-15 12:32:38,235 INFO L138 SettingsManager]: * Use SBE=true [2019-08-15 12:32:38,235 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-15 12:32:38,236 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-15 12:32:38,236 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-15 12:32:38,236 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-15 12:32:38,236 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-15 12:32:38,236 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-15 12:32:38,237 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-15 12:32:38,237 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-15 12:32:38,237 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-15 12:32:38,237 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-15 12:32:38,238 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-15 12:32:38,238 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-15 12:32:38,238 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-15 12:32:38,238 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-15 12:32:38,238 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-15 12:32:38,239 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-15 12:32:38,239 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-15 12:32:38,239 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-15 12:32:38,239 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-15 12:32:38,239 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-15 12:32:38,240 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-15 12:32:38,240 INFO L138 SettingsManager]: * To the following directory=dump/ [2019-08-15 12:32:38,267 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-15 12:32:38,284 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-15 12:32:38,288 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-15 12:32:38,289 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-15 12:32:38,290 INFO L275 PluginConnector]: CDTParser initialized [2019-08-15 12:32:38,290 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point.cil.out.i [2019-08-15 12:32:38,351 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ea1f245b0/966bebe53022404fb5d3b8fa02bdade2/FLAGa70c83d72 [2019-08-15 12:32:39,096 INFO L306 CDTParser]: Found 1 translation units. [2019-08-15 12:32:39,097 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point.cil.out.i [2019-08-15 12:32:39,136 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ea1f245b0/966bebe53022404fb5d3b8fa02bdade2/FLAGa70c83d72 [2019-08-15 12:32:39,617 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ea1f245b0/966bebe53022404fb5d3b8fa02bdade2 [2019-08-15 12:32:39,627 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-15 12:32:39,629 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-15 12:32:39,630 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-15 12:32:39,630 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-15 12:32:39,634 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-15 12:32:39,635 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 15.08 12:32:39" (1/1) ... [2019-08-15 12:32:39,638 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@34561930 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:39, skipping insertion in model container [2019-08-15 12:32:39,638 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 15.08 12:32:39" (1/1) ... [2019-08-15 12:32:39,646 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-15 12:32:39,748 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-15 12:32:41,170 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-15 12:32:41,215 INFO L188 MainTranslator]: Completed pre-run [2019-08-15 12:32:41,496 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-15 12:32:41,580 INFO L192 MainTranslator]: Completed translation [2019-08-15 12:32:41,581 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41 WrapperNode [2019-08-15 12:32:41,581 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-15 12:32:41,582 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-15 12:32:41,582 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-15 12:32:41,582 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-15 12:32:41,599 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,600 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,668 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,668 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,772 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,787 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,805 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... [2019-08-15 12:32:41,828 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-15 12:32:41,829 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-15 12:32:41,829 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-15 12:32:41,829 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-15 12:32:41,831 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 12:32:41" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-15 12:32:41,899 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-15 12:32:41,899 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-15 12:32:41,899 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~VOID [2019-08-15 12:32:41,899 INFO L138 BoogieDeclarations]: Found implementation of procedure __le32_to_cpup [2019-08-15 12:32:41,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __le16_to_cpup [2019-08-15 12:32:41,900 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_endpoint_xfer_int [2019-08-15 12:32:41,900 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_make_path [2019-08-15 12:32:41,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __create_pipe [2019-08-15 12:32:41,901 INFO L138 BoogieDeclarations]: Found implementation of procedure __kmalloc [2019-08-15 12:32:41,901 INFO L138 BoogieDeclarations]: Found implementation of procedure kmalloc [2019-08-15 12:32:41,901 INFO L138 BoogieDeclarations]: Found implementation of procedure kzalloc [2019-08-15 12:32:41,901 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2019-08-15 12:32:41,902 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_zalloc [2019-08-15 12:32:41,902 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2019-08-15 12:32:41,902 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_ptr [2019-08-15 12:32:41,902 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_ulong [2019-08-15 12:32:41,902 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2019-08-15 12:32:41,903 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2019-08-15 12:32:41,903 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2019-08-15 12:32:41,906 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_trap [2019-08-15 12:32:41,906 INFO L138 BoogieDeclarations]: Found implementation of procedure input_allocate_device [2019-08-15 12:32:41,906 INFO L138 BoogieDeclarations]: Found implementation of procedure input_get_drvdata [2019-08-15 12:32:41,906 INFO L138 BoogieDeclarations]: Found implementation of procedure input_set_drvdata [2019-08-15 12:32:41,907 INFO L138 BoogieDeclarations]: Found implementation of procedure input_report_abs [2019-08-15 12:32:41,907 INFO L138 BoogieDeclarations]: Found implementation of procedure input_sync [2019-08-15 12:32:41,907 INFO L138 BoogieDeclarations]: Found implementation of procedure get_unaligned_le16 [2019-08-15 12:32:41,907 INFO L138 BoogieDeclarations]: Found implementation of procedure get_unaligned_le32 [2019-08-15 12:32:41,909 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_to_input_id [2019-08-15 12:32:41,909 INFO L138 BoogieDeclarations]: Found implementation of procedure parse_hid_report_descriptor [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_input_open [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_input_close [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_setup_caps [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_urb_callback [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_probe [2019-08-15 12:32:41,910 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_disconnect [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_driverinfo_table_init [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure gtco_driverinfo_table_exit [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_driver_1 [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure interface_to_usbdev [2019-08-15 12:32:41,911 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_submit_urb_2 [2019-08-15 12:32:41,912 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_submit_urb_3 [2019-08-15 12:32:41,912 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_get_dev_4 [2019-08-15 12:32:41,912 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_alloc_urb_5 [2019-08-15 12:32:41,912 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_fill_int_urb_6 [2019-08-15 12:32:41,912 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_set_intfdata_7 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_free_urb_8 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_get_intfdata_9 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_free_urb_10 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_register_driver_11 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_deregister_12 [2019-08-15 12:32:41,913 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop___0 [2019-08-15 12:32:41,914 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_get_intfdata [2019-08-15 12:32:41,914 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_set_intfdata [2019-08-15 12:32:41,914 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_usb_put_intf [2019-08-15 12:32:41,915 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_alloc_urb [2019-08-15 12:32:41,915 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_free_urb [2019-08-15 12:32:41,915 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_fill_int_urb [2019-08-15 12:32:41,916 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_fill_bulk_urb [2019-08-15 12:32:41,916 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_submit_urb [2019-08-15 12:32:41,916 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_interface_to_usbdev [2019-08-15 12:32:41,918 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_get_dev [2019-08-15 12:32:41,918 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_put_dev [2019-08-15 12:32:41,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_get_interface [2019-08-15 12:32:41,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_put_interface [2019-08-15 12:32:41,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_serial_register [2019-08-15 12:32:41,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_serial_deregister [2019-08-15 12:32:41,919 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2019-08-15 12:32:41,920 INFO L138 BoogieDeclarations]: Found implementation of procedure __dynamic_dev_dbg [2019-08-15 12:32:41,969 INFO L138 BoogieDeclarations]: Found implementation of procedure __usb_get_extra_descriptor [2019-08-15 12:32:41,970 INFO L138 BoogieDeclarations]: Found implementation of procedure _dev_info [2019-08-15 12:32:41,970 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_err [2019-08-15 12:32:41,970 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_drvdata [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_set_drvdata [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure input_event [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure input_free_device [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure input_register_device [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure input_set_abs_params [2019-08-15 12:32:41,971 INFO L138 BoogieDeclarations]: Found implementation of procedure input_unregister_device [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcat [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_alloc_coherent [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_control_msg [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_deregister [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_free_coherent [2019-08-15 12:32:41,972 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_kill_urb [2019-08-15 12:32:41,973 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_register_driver [2019-08-15 12:32:41,973 INFO L138 BoogieDeclarations]: Found implementation of procedure external_alloc [2019-08-15 12:32:41,973 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2019-08-15 12:32:41,975 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2019-08-15 12:32:41,976 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_strcpy [2019-08-15 12:32:41,976 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-15 12:32:41,976 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2019-08-15 12:32:41,976 INFO L130 BoogieDeclarations]: Found specification of procedure strcpy [2019-08-15 12:32:41,976 INFO L130 BoogieDeclarations]: Found specification of procedure strlcat [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure __le32_to_cpup [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure __le16_to_cpup [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure usb_endpoint_xfer_int [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure __dynamic_dev_dbg [2019-08-15 12:32:41,977 INFO L130 BoogieDeclarations]: Found specification of procedure snprintf [2019-08-15 12:32:41,978 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_drvdata [2019-08-15 12:32:41,978 INFO L130 BoogieDeclarations]: Found specification of procedure dev_set_drvdata [2019-08-15 12:32:41,978 INFO L130 BoogieDeclarations]: Found specification of procedure dev_err [2019-08-15 12:32:41,978 INFO L130 BoogieDeclarations]: Found specification of procedure _dev_info [2019-08-15 12:32:41,979 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_get_intfdata_9 [2019-08-15 12:32:41,979 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_set_intfdata_7 [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure __usb_get_extra_descriptor [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure interface_to_usbdev [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_get_dev_4 [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure usb_make_path [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2019-08-15 12:32:41,980 INFO L130 BoogieDeclarations]: Found specification of procedure usb_register_driver [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_register_driver_11 [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure usb_deregister [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_deregister_12 [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_fill_int_urb_6 [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_alloc_urb_5 [2019-08-15 12:32:41,981 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_free_urb_8 [2019-08-15 12:32:41,982 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_free_urb_10 [2019-08-15 12:32:41,982 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_submit_urb_2 [2019-08-15 12:32:41,982 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_submit_urb_3 [2019-08-15 12:32:41,983 INFO L130 BoogieDeclarations]: Found specification of procedure usb_kill_urb [2019-08-15 12:32:41,983 INFO L130 BoogieDeclarations]: Found specification of procedure usb_alloc_coherent [2019-08-15 12:32:41,983 INFO L130 BoogieDeclarations]: Found specification of procedure usb_free_coherent [2019-08-15 12:32:41,984 INFO L130 BoogieDeclarations]: Found specification of procedure usb_control_msg [2019-08-15 12:32:41,984 INFO L130 BoogieDeclarations]: Found specification of procedure __create_pipe [2019-08-15 12:32:41,985 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_alloc_urb [2019-08-15 12:32:41,985 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_free_urb [2019-08-15 12:32:41,985 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_fill_int_urb [2019-08-15 12:32:41,985 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_submit_urb [2019-08-15 12:32:41,985 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_interface_to_usbdev [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_get_dev [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_get_intfdata [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_set_intfdata [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2019-08-15 12:32:41,986 INFO L130 BoogieDeclarations]: Found specification of procedure __kmalloc [2019-08-15 12:32:41,987 INFO L130 BoogieDeclarations]: Found specification of procedure kmalloc [2019-08-15 12:32:41,987 INFO L130 BoogieDeclarations]: Found specification of procedure kzalloc [2019-08-15 12:32:41,990 INFO L130 BoogieDeclarations]: Found specification of procedure malloc [2019-08-15 12:32:41,990 INFO L130 BoogieDeclarations]: Found specification of procedure calloc [2019-08-15 12:32:41,990 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-15 12:32:41,990 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ulong [2019-08-15 12:32:41,991 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-15 12:32:41,991 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-15 12:32:41,991 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2019-08-15 12:32:41,991 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_zalloc [2019-08-15 12:32:41,993 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2019-08-15 12:32:41,993 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_ptr [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_ulong [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_trap [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_driver_1 [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure input_allocate_device [2019-08-15 12:32:41,994 INFO L130 BoogieDeclarations]: Found specification of procedure input_free_device [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_get_drvdata [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_set_drvdata [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_register_device [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_unregister_device [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_event [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_report_abs [2019-08-15 12:32:41,995 INFO L130 BoogieDeclarations]: Found specification of procedure input_sync [2019-08-15 12:32:41,996 INFO L130 BoogieDeclarations]: Found specification of procedure input_set_abs_params [2019-08-15 12:32:41,996 INFO L130 BoogieDeclarations]: Found specification of procedure get_unaligned_le16 [2019-08-15 12:32:41,996 INFO L130 BoogieDeclarations]: Found specification of procedure get_unaligned_le32 [2019-08-15 12:32:41,996 INFO L130 BoogieDeclarations]: Found specification of procedure usb_to_input_id [2019-08-15 12:32:41,997 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-15 12:32:41,997 INFO L130 BoogieDeclarations]: Found specification of procedure parse_hid_report_descriptor [2019-08-15 12:32:41,997 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_strcpy [2019-08-15 12:32:41,997 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2019-08-15 12:32:41,997 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_input_open [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_input_close [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_setup_caps [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_urb_callback [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_probe [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_disconnect [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_driverinfo_table_init [2019-08-15 12:32:41,998 INFO L130 BoogieDeclarations]: Found specification of procedure gtco_driverinfo_table_exit [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop___0 [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_usb_put_intf [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_fill_bulk_urb [2019-08-15 12:32:41,999 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~VOID [2019-08-15 12:32:42,000 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_put_dev [2019-08-15 12:32:42,000 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_get_interface [2019-08-15 12:32:42,000 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_put_interface [2019-08-15 12:32:42,000 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_serial_register [2019-08-15 12:32:42,000 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_serial_deregister [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure external_alloc [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure free [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-15 12:32:42,001 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2019-08-15 12:32:42,002 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2019-08-15 12:32:42,677 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2019-08-15 12:32:48,621 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stop___0FINAL: assume true; [2019-08-15 12:32:50,197 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-15 12:32:50,197 INFO L283 CfgBuilder]: Removed 2 assume(true) statements. [2019-08-15 12:32:50,199 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 15.08 12:32:50 BoogieIcfgContainer [2019-08-15 12:32:50,199 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-15 12:32:50,200 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-15 12:32:50,200 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-15 12:32:50,200 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-15 12:32:50,201 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 15.08 12:32:50" (1/1) ... [2019-08-15 12:32:59,327 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:33:01,367 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string87.base|) [2019-08-15 12:33:03,493 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string88.base|) [2019-08-15 12:33:05,659 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string89.base|) [2019-08-15 12:33:07,804 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string90.base|) [2019-08-15 12:33:10,040 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string94.base|) [2019-08-15 12:33:12,152 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string101.base|) [2019-08-15 12:33:14,275 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string104.base|) [2019-08-15 12:33:16,404 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string106.base|) [2019-08-15 12:33:18,590 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string108.base|) [2019-08-15 12:33:20,710 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string109.base|) [2019-08-15 12:33:22,835 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string110.base|) [2019-08-15 12:33:24,975 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string111.base|) [2019-08-15 12:33:27,096 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string115.base|) [2019-08-15 12:33:29,207 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string124.base| |#t~string26.base|) [2019-08-15 12:33:31,329 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string125.base| |#t~string26.base|) [2019-08-15 12:33:33,452 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string126.base| |#t~string26.base|) [2019-08-15 12:33:35,591 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string127.base| |#t~string26.base|) [2019-08-15 12:33:37,730 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string131.base| |#t~string26.base|) [2019-08-15 12:33:39,852 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| |#t~string26.base|) [2019-08-15 12:33:42,000 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| |#t~string26.base|) [2019-08-15 12:33:44,108 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| |#t~string26.base|) [2019-08-15 12:33:46,227 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string138.base| |#t~string26.base|) [2019-08-15 12:33:48,419 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string142.base|) [2019-08-15 12:33:50,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string155.base|) [2019-08-15 12:33:52,730 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string156.base|) [2019-08-15 12:33:54,911 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string157.base|) [2019-08-15 12:33:57,028 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string158.base|) [2019-08-15 12:33:59,152 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |#t~string26.base|) [2019-08-15 12:34:01,250 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string163.base| |#t~string26.base|) [2019-08-15 12:34:03,372 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |#t~string26.base|) [2019-08-15 12:34:05,485 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |#t~string26.base|) [2019-08-15 12:34:07,630 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |#t~string26.base|) [2019-08-15 12:34:09,708 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |#t~string26.base|) [2019-08-15 12:34:11,843 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string172.base| |#t~string26.base|) [2019-08-15 12:34:13,933 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string26.base|) [2019-08-15 12:34:16,048 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string175.base| |#t~string26.base|) [2019-08-15 12:34:18,159 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string176.base| |#t~string26.base|) [2019-08-15 12:34:20,272 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string177.base| |#t~string26.base|) [2019-08-15 12:34:22,371 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string181.base| |#t~string26.base|) [2019-08-15 12:34:24,533 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string184.base| |#t~string26.base|) [2019-08-15 12:34:26,655 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string185.base| |#t~string26.base|) [2019-08-15 12:34:28,810 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string186.base| |#t~string26.base|) [2019-08-15 12:34:32,757 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string187.base| |#t~string26.base|) [2019-08-15 12:34:34,907 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string191.base|) [2019-08-15 12:34:37,075 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string192.base|) [2019-08-15 12:34:39,243 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string193.base|) [2019-08-15 12:34:41,355 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string194.base|) [2019-08-15 12:34:43,465 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string195.base|) [2019-08-15 12:34:45,591 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string199.base|) [2019-08-15 12:34:47,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string200.base| |#t~string26.base|) [2019-08-15 12:34:49,848 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string201.base| |#t~string26.base|) [2019-08-15 12:34:51,939 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string202.base| |#t~string26.base|) [2019-08-15 12:34:54,167 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string203.base| |#t~string26.base|) [2019-08-15 12:34:56,278 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |#t~string26.base|) [2019-08-15 12:34:58,388 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string210.base| |#t~string26.base|) [2019-08-15 12:35:00,537 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string212.base| |#t~string26.base|) [2019-08-15 12:35:02,831 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string214.base| |#t~string26.base|) [2019-08-15 12:35:04,936 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| |#t~string26.base|) [2019-08-15 12:35:07,012 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string218.base| |#t~string26.base|) [2019-08-15 12:35:09,142 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string220.base|) [2019-08-15 12:35:11,372 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string222.base|) [2019-08-15 12:35:13,790 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string224.base|) [2019-08-15 12:35:16,115 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string226.base|) [2019-08-15 12:35:18,304 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string228.base|) [2019-08-15 12:35:20,619 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string230.base|) [2019-08-15 12:35:22,848 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string232.base|) [2019-08-15 12:35:25,440 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string235.base|) [2019-08-15 12:35:27,627 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string236.base|) [2019-08-15 12:35:30,093 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string237.base|) [2019-08-15 12:35:32,360 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string238.base|) [2019-08-15 12:35:34,742 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string242.base| |#t~string26.base|) [2019-08-15 12:35:36,910 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string243.base| |#t~string26.base|) [2019-08-15 12:35:39,072 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string244.base| |#t~string26.base|) [2019-08-15 12:35:41,450 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string245.base| |#t~string26.base|) [2019-08-15 12:35:43,831 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string246.base| |#t~string26.base|) [2019-08-15 12:35:46,090 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string250.base| |#t~string26.base|) [2019-08-15 12:35:48,324 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |#t~string26.base|) [2019-08-15 12:35:50,652 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string252.base| |#t~string26.base|) [2019-08-15 12:35:53,038 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string253.base| |#t~string26.base|) [2019-08-15 12:35:55,331 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string254.base| |#t~string26.base|) [2019-08-15 12:35:57,603 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string258.base| |#t~string26.base|) [2019-08-15 12:35:59,838 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |#t~string26.base|) [2019-08-15 12:36:02,213 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string260.base| |#t~string26.base|) [2019-08-15 12:36:04,405 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string261.base| |#t~string26.base|) [2019-08-15 12:36:06,628 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string262.base| |#t~string26.base|) [2019-08-15 12:36:08,948 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string266.base| |#t~string26.base|) [2019-08-15 12:36:11,092 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string268.base| |#t~string26.base|) [2019-08-15 12:36:13,223 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string270.base|) [2019-08-15 12:36:15,459 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string272.base|) [2019-08-15 12:36:17,564 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string274.base|) [2019-08-15 12:36:19,701 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string277.base|) [2019-08-15 12:36:21,877 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string278.base|) [2019-08-15 12:36:24,110 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string279.base|) [2019-08-15 12:36:26,254 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string280.base|) [2019-08-15 12:36:28,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string284.base|) [2019-08-15 12:36:30,763 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string285.base|) [2019-08-15 12:36:32,888 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string286.base|) [2019-08-15 12:36:35,043 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string287.base|) [2019-08-15 12:36:37,225 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string288.base|) [2019-08-15 12:36:39,345 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| |#t~string26.base|) [2019-08-15 12:36:41,761 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| |#t~string26.base|) [2019-08-15 12:36:43,928 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string294.base| |#t~string26.base|) [2019-08-15 12:36:46,057 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string295.base| |#t~string26.base|) [2019-08-15 12:36:48,338 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string296.base| |#t~string26.base|) [2019-08-15 12:36:50,692 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string300.base|) [2019-08-15 12:36:52,903 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string370.base| |#t~string26.base|) [2019-08-15 12:36:55,231 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string371.base| |#t~string26.base|) [2019-08-15 12:36:57,892 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string372.base| |#t~string26.base|) [2019-08-15 12:36:59,997 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string373.base| |#t~string26.base|) [2019-08-15 12:37:02,206 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |#t~string26.base|) [2019-08-15 12:37:04,559 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string423.base| |#t~string26.base|) [2019-08-15 12:37:07,031 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string427.base| |#t~string26.base|) [2019-08-15 12:37:09,227 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string434.base|) [2019-08-15 12:37:11,436 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string438.base|) [2019-08-15 12:37:13,698 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string441.base|) [2019-08-15 12:37:15,994 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string442.base|) [2019-08-15 12:37:18,271 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string443.base|) [2019-08-15 12:37:21,063 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string444.base|) [2019-08-15 12:37:23,350 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string448.base|) [2019-08-15 12:37:25,628 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string450.base| |#t~string26.base|) [2019-08-15 12:37:28,174 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string451.base| |#t~string26.base|) [2019-08-15 12:37:30,582 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string452.base| |#t~string26.base|) [2019-08-15 12:37:32,964 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string453.base| |#t~string26.base|) [2019-08-15 12:37:35,192 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string457.base| |#t~string26.base|) [2019-08-15 12:37:37,465 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string460.base| |#t~string26.base|) [2019-08-15 12:37:39,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string461.base| |#t~string26.base|) [2019-08-15 12:37:41,888 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string462.base| |#t~string26.base|) [2019-08-15 12:37:44,166 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string463.base| |#t~string26.base|) [2019-08-15 12:37:46,729 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string467.base| |#t~string26.base|) [2019-08-15 12:37:49,299 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string470.base| |#t~string26.base|) [2019-08-15 12:37:51,468 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string471.base| |#t~string26.base|) [2019-08-15 12:37:53,705 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string472.base| |#t~string26.base|) [2019-08-15 12:37:56,421 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string473.base| |#t~string26.base|) [2019-08-15 12:37:58,979 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string477.base| |#t~string26.base|) [2019-08-15 12:38:01,618 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string481.base|) [2019-08-15 12:38:04,234 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string482.base|) [2019-08-15 12:38:06,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string483.base|) [2019-08-15 12:38:09,360 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string484.base|) [2019-08-15 12:38:11,703 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string488.base|) [2019-08-15 12:38:14,206 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string489.base|) [2019-08-15 12:38:16,720 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string490.base|) [2019-08-15 12:38:19,425 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string491.base|) [2019-08-15 12:38:21,893 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string492.base|) [2019-08-15 12:38:24,163 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string496.base|) [2019-08-15 12:38:26,539 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string505.base| |#t~string26.base|) [2019-08-15 12:38:28,809 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string506.base| |#t~string26.base|) [2019-08-15 12:38:30,947 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string507.base| |#t~string26.base|) [2019-08-15 12:38:33,462 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string508.base| |#t~string26.base|) [2019-08-15 12:38:36,339 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string509.base| |#t~string26.base|) [2019-08-15 12:38:38,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string513.base|) [2019-08-15 12:38:41,245 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string522.base|) [2019-08-15 12:38:43,707 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string529.base|) [2019-08-15 12:38:46,139 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string530.base|) [2019-08-15 12:38:48,461 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string531.base| |#t~string26.base|) [2019-08-15 12:38:50,554 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string532.base| |#t~string26.base|) [2019-08-15 12:38:52,679 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string536.base| |#t~string26.base|) [2019-08-15 12:38:55,036 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string542.base| |#t~string26.base|) [2019-08-15 12:38:57,167 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string547.base| |#t~string26.base|) [2019-08-15 12:38:59,284 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string549.base| |#t~string26.base|) [2019-08-15 12:39:01,405 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string578.base|) [2019-08-15 12:39:03,825 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |~#gtco_driverinfo_table~0.base|) [2019-08-15 12:39:06,271 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string26.base| |#t~string579.base|) [2019-08-15 12:39:08,539 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string580.base| |#t~string26.base|) [2019-08-15 12:39:11,658 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string87.base|) [2019-08-15 12:39:13,709 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string88.base|) [2019-08-15 12:39:15,828 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string89.base|) [2019-08-15 12:39:17,932 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string90.base|) [2019-08-15 12:39:20,035 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string94.base|) [2019-08-15 12:39:22,113 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string101.base|) [2019-08-15 12:39:24,164 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string104.base|) [2019-08-15 12:39:26,330 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string106.base|) [2019-08-15 12:39:28,446 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string108.base|) [2019-08-15 12:39:30,536 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string109.base|) [2019-08-15 12:39:33,035 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string110.base|) [2019-08-15 12:39:35,155 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string111.base|) [2019-08-15 12:39:37,262 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string115.base|) [2019-08-15 12:39:39,387 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string124.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:41,474 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string125.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:43,792 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string126.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:45,890 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string127.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:48,043 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string131.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:50,212 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:52,265 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:54,462 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:56,610 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string138.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:39:58,716 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string142.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:00,847 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string155.base|) [2019-08-15 12:40:02,943 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string156.base|) [2019-08-15 12:40:05,307 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string157.base|) [2019-08-15 12:40:07,447 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string158.base|) [2019-08-15 12:40:09,593 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:11,716 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string163.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:13,869 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:15,934 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:18,376 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:20,491 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:22,621 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string172.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:24,749 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:26,798 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string175.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:29,009 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string176.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:31,261 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string177.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:33,475 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string181.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:35,797 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string184.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:37,840 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string185.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:40,354 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string186.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:42,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string187.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:44,785 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string191.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:46,918 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:48,939 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string193.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:51,402 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string194.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:53,668 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string195.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:55,909 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string199.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:40:58,020 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string200.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:00,075 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string201.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:02,388 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string202.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:04,546 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string203.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:06,704 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:08,927 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string210.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:10,970 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string212.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:13,477 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string214.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:15,739 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:17,988 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string218.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:20,231 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string220.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:22,296 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string222.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:24,361 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string224.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:26,662 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string226.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:28,872 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string228.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:31,135 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string230.base|) [2019-08-15 12:41:33,199 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string232.base|) [2019-08-15 12:41:35,239 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string235.base|) [2019-08-15 12:41:37,300 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string236.base|) [2019-08-15 12:41:39,714 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string237.base|) [2019-08-15 12:41:42,035 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string238.base|) [2019-08-15 12:41:44,516 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string242.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:46,640 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string243.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:48,703 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string244.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:50,948 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string245.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:53,186 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string246.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:55,423 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string250.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:57,537 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:41:59,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string252.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:02,056 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string253.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:04,329 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string254.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:06,582 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string258.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:08,741 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:10,788 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string260.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:13,424 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string261.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:15,647 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string262.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:17,862 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string266.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:20,049 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string268.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:22,093 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string270.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:24,140 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string272.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:26,196 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string274.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:28,846 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string277.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:30,877 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string278.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:33,247 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string279.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:35,343 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string280.base|) [2019-08-15 12:42:37,521 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string284.base|) [2019-08-15 12:42:39,717 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string285.base|) [2019-08-15 12:42:41,782 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string286.base|) [2019-08-15 12:42:44,417 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string287.base|) [2019-08-15 12:42:46,530 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string288.base|) [2019-08-15 12:42:48,781 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:51,167 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:53,223 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string294.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:55,409 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string295.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:57,613 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string296.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:42:59,873 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string300.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:02,058 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string370.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:04,128 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string371.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:06,574 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string372.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:08,797 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string373.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:10,921 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:13,290 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string423.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:15,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string427.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:18,101 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string434.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:20,364 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string438.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:22,778 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string441.base|) [2019-08-15 12:43:24,826 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string442.base|) [2019-08-15 12:43:28,308 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string443.base|) [2019-08-15 12:43:30,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string444.base|) [2019-08-15 12:43:32,811 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string448.base|) [2019-08-15 12:43:34,930 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string450.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:36,967 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string451.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:39,512 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string452.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:41,842 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string453.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:44,193 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string457.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:47,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string460.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:49,618 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string461.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:52,406 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string462.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:54,933 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string463.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:57,360 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string467.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:43:59,892 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string470.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:01,943 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string471.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:05,581 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string472.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:07,915 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string473.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:10,165 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string477.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:12,961 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string481.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:15,023 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string482.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:17,701 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string483.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:20,422 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string484.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:22,567 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string488.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:24,829 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string489.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:26,874 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string490.base|) [2019-08-15 12:44:29,461 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string491.base|) [2019-08-15 12:44:31,655 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string492.base|) [2019-08-15 12:44:33,960 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string496.base|) [2019-08-15 12:44:36,253 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string505.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:38,678 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string506.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:40,734 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string507.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:43,173 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string508.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:45,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string509.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:48,259 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string513.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:50,680 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string522.base|) [2019-08-15 12:44:53,088 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string529.base|) [2019-08-15 12:44:55,153 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string530.base|) [2019-08-15 12:44:57,450 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string531.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:44:59,749 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string532.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:02,045 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string536.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:04,886 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string542.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:07,448 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string547.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:09,731 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string549.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:13,014 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string578.base|) [2019-08-15 12:45:15,472 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |~#gtco_driverinfo_table~0.base|) [2019-08-15 12:45:17,962 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72)) |#t~string579.base|) [2019-08-15 12:45:20,092 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string580.base| (select (select |#memory_$Pointer$.base| |~#gtco_driverinfo_table~0.base|) (+ |~#gtco_driverinfo_table~0.offset| 72))) [2019-08-15 12:45:22,183 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string88.base|) [2019-08-15 12:45:24,230 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string89.base|) [2019-08-15 12:45:26,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string90.base|) [2019-08-15 12:45:28,596 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string94.base|) [2019-08-15 12:45:30,754 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string101.base| |#t~string87.base|) [2019-08-15 12:45:32,815 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string104.base| |#t~string87.base|) [2019-08-15 12:45:34,989 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string106.base| |#t~string87.base|) [2019-08-15 12:45:37,100 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string108.base|) [2019-08-15 12:45:39,211 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string109.base|) [2019-08-15 12:45:41,429 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string110.base|) [2019-08-15 12:45:43,568 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string111.base|) [2019-08-15 12:45:45,724 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string115.base|) [2019-08-15 12:45:47,904 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string124.base| |#t~string87.base|) [2019-08-15 12:45:50,000 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string125.base| |#t~string87.base|) [2019-08-15 12:45:52,141 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string126.base| |#t~string87.base|) [2019-08-15 12:45:54,323 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string127.base| |#t~string87.base|) [2019-08-15 12:45:56,463 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string131.base| |#t~string87.base|) [2019-08-15 12:45:58,577 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| |#t~string87.base|) [2019-08-15 12:46:00,725 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| |#t~string87.base|) [2019-08-15 12:46:02,828 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| |#t~string87.base|) [2019-08-15 12:46:04,936 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string138.base| |#t~string87.base|) [2019-08-15 12:46:07,040 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string142.base| |#t~string87.base|) [2019-08-15 12:46:09,171 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string155.base|) [2019-08-15 12:46:11,337 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string156.base|) [2019-08-15 12:46:13,437 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string157.base|) [2019-08-15 12:46:15,560 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |#t~string158.base|) [2019-08-15 12:46:17,706 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |#t~string87.base|) [2019-08-15 12:46:19,829 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string163.base| |#t~string87.base|) [2019-08-15 12:46:21,947 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |#t~string87.base|) [2019-08-15 12:46:24,047 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |#t~string87.base|) [2019-08-15 12:46:26,247 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |#t~string87.base|) [2019-08-15 12:46:28,399 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |#t~string87.base|) [2019-08-15 12:46:30,538 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string172.base| |#t~string87.base|) [2019-08-15 12:46:32,735 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string87.base|) [2019-08-15 12:46:34,872 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string175.base| |#t~string87.base|) [2019-08-15 12:46:37,003 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string176.base| |#t~string87.base|) [2019-08-15 12:46:39,119 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string177.base| |#t~string87.base|) [2019-08-15 12:46:41,273 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string181.base| |#t~string87.base|) [2019-08-15 12:46:43,458 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string184.base| |#t~string87.base|) [2019-08-15 12:46:45,649 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string185.base| |#t~string87.base|) [2019-08-15 12:46:47,738 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string186.base| |#t~string87.base|) [2019-08-15 12:46:49,893 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string187.base| |#t~string87.base|) [2019-08-15 12:46:52,028 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string191.base| |#t~string87.base|) [2019-08-15 12:46:54,169 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| |#t~string87.base|) [2019-08-15 12:46:56,338 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string193.base| |#t~string87.base|) [2019-08-15 12:46:58,571 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string194.base| |#t~string87.base|) [2019-08-15 12:47:00,782 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string195.base| |#t~string87.base|) [2019-08-15 12:47:02,940 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string199.base| |#t~string87.base|) [2019-08-15 12:47:05,066 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string200.base| |#t~string87.base|) [2019-08-15 12:47:07,277 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string201.base| |#t~string87.base|) [2019-08-15 12:47:09,515 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string202.base| |#t~string87.base|) [2019-08-15 12:47:11,619 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string203.base| |#t~string87.base|) [2019-08-15 12:47:13,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |#t~string87.base|) [2019-08-15 12:47:16,146 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string210.base| |#t~string87.base|) [2019-08-15 12:47:18,216 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string212.base| |#t~string87.base|) [2019-08-15 12:47:20,587 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string214.base| |#t~string87.base|) [2019-08-15 12:47:22,696 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| |#t~string87.base|)