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-32bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/seq-mthreaded/rekh_ctm.2-1.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-584d7b9 [2019-08-31 20:42:47,038 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-31 20:42:47,040 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-31 20:42:47,052 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-31 20:42:47,052 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-31 20:42:47,053 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-31 20:42:47,055 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-31 20:42:47,057 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-31 20:42:47,058 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-31 20:42:47,059 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-31 20:42:47,060 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-08-31 20:42:47,061 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-31 20:42:47,062 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-31 20:42:47,062 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-31 20:42:47,063 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-31 20:42:47,065 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-31 20:42:47,065 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-31 20:42:47,066 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-31 20:42:47,068 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-31 20:42:47,070 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-31 20:42:47,072 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-31 20:42:47,073 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-31 20:42:47,074 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-31 20:42:47,075 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-31 20:42:47,078 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-31 20:42:47,078 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-31 20:42:47,079 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-31 20:42:47,080 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-31 20:42:47,080 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-31 20:42:47,081 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-31 20:42:47,082 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-31 20:42:47,083 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-31 20:42:47,083 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-31 20:42:47,084 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-31 20:42:47,085 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-31 20:42:47,086 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-31 20:42:47,086 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-31 20:42:47,087 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-31 20:42:47,087 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-31 20:42:47,088 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-31 20:42:47,089 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-31 20:42:47,089 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf [2019-08-31 20:42:47,105 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-31 20:42:47,105 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-31 20:42:47,106 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-31 20:42:47,107 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-31 20:42:47,107 INFO L138 SettingsManager]: * Use SBE=true [2019-08-31 20:42:47,107 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-31 20:42:47,107 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-31 20:42:47,107 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-31 20:42:47,108 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-31 20:42:47,108 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-31 20:42:47,108 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-31 20:42:47,108 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-31 20:42:47,108 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-31 20:42:47,109 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-31 20:42:47,109 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-31 20:42:47,109 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-31 20:42:47,109 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-31 20:42:47,109 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-31 20:42:47,110 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-31 20:42:47,110 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-31 20:42:47,110 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-31 20:42:47,110 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-31 20:42:47,110 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-31 20:42:47,111 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-31 20:42:47,111 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-31 20:42:47,111 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-31 20:42:47,111 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-31 20:42:47,111 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-31 20:42:47,112 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-31 20:42:47,139 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-31 20:42:47,151 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-31 20:42:47,154 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-31 20:42:47,156 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-31 20:42:47,156 INFO L275 PluginConnector]: CDTParser initialized [2019-08-31 20:42:47,157 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/seq-mthreaded/rekh_ctm.2-1.c [2019-08-31 20:42:47,226 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/9a3f0354a/149df5066f4448afaf8bf1809e93758d/FLAG5f8cf9af3 [2019-08-31 20:42:47,939 INFO L306 CDTParser]: Found 1 translation units. [2019-08-31 20:42:47,941 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/rekh_ctm.2-1.c [2019-08-31 20:42:47,974 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/9a3f0354a/149df5066f4448afaf8bf1809e93758d/FLAG5f8cf9af3 [2019-08-31 20:42:48,076 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/9a3f0354a/149df5066f4448afaf8bf1809e93758d [2019-08-31 20:42:48,085 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-31 20:42:48,087 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-31 20:42:48,088 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-31 20:42:48,088 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-31 20:42:48,092 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-31 20:42:48,093 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:42:48" (1/1) ... [2019-08-31 20:42:48,096 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@6dac0a1c and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:48, skipping insertion in model container [2019-08-31 20:42:48,096 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:42:48" (1/1) ... [2019-08-31 20:42:48,104 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-31 20:42:48,240 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-31 20:42:49,237 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:42:49,267 INFO L188 MainTranslator]: Completed pre-run [2019-08-31 20:42:49,570 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:42:49,785 INFO L192 MainTranslator]: Completed translation [2019-08-31 20:42:49,786 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49 WrapperNode [2019-08-31 20:42:49,787 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-31 20:42:49,788 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-31 20:42:49,788 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-31 20:42:49,788 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-31 20:42:49,810 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:49,811 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:49,906 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:49,907 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:50,060 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:50,086 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:50,113 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (1/1) ... [2019-08-31 20:42:50,149 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-31 20:42:50,149 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-31 20:42:50,150 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-31 20:42:50,150 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-31 20:42:50,151 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:42:49" (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-31 20:42:50,219 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-31 20:42:50,219 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-31 20:42:50,219 INFO L138 BoogieDeclarations]: Found implementation of procedure assert [2019-08-31 20:42:50,219 INFO L138 BoogieDeclarations]: Found implementation of procedure calibrate [2019-08-31 20:42:50,220 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:42:50,221 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:42:50,221 INFO L138 BoogieDeclarations]: Found implementation of procedure bg_nxtcolorsensor [2019-08-31 20:42:50,221 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:42:50,222 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_speed [2019-08-31 20:42:50,222 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_get_count [2019-08-31 20:42:50,222 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_count [2019-08-31 20:42:50,223 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:42:50,223 INFO L138 BoogieDeclarations]: Found implementation of procedure TerminateTask [2019-08-31 20:42:50,223 INFO L138 BoogieDeclarations]: Found implementation of procedure transition [2019-08-31 20:42:50,224 INFO L138 BoogieDeclarations]: Found implementation of procedure init [2019-08-31 20:42:50,225 INFO L138 BoogieDeclarations]: Found implementation of procedure move_motor [2019-08-31 20:42:50,227 INFO L138 BoogieDeclarations]: Found implementation of procedure Controller [2019-08-31 20:42:50,227 INFO L138 BoogieDeclarations]: Found implementation of procedure Reader [2019-08-31 20:42:50,228 INFO L138 BoogieDeclarations]: Found implementation of procedure Writer [2019-08-31 20:42:50,228 INFO L138 BoogieDeclarations]: Found implementation of procedure TapeMover [2019-08-31 20:42:50,228 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Controller [2019-08-31 20:42:50,228 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperController [2019-08-31 20:42:50,228 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperTapeMover [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Reader [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperReader [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Writer [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperWriter [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_schedule_jobs [2019-08-31 20:42:50,229 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_globals [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t0 [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t1 [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t2 [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t3 [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_assert_i0 [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_init [2019-08-31 20:42:50,230 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_final [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_hyperperiod [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_current_priority [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_count [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_speed [2019-08-31 20:42:50,231 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_count [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_speed [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_count [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_speed [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_input [2019-08-31 20:42:50,232 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_output [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_dir [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_read [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_threshold [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_state [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_state [2019-08-31 20:42:50,233 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_state [2019-08-31 20:42:50,234 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:42:50,234 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:42:50,234 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:42:50,234 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_current_priority [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_count [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_speed [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_count [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_speed [2019-08-31 20:42:50,235 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_count [2019-08-31 20:42:50,236 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_speed [2019-08-31 20:42:50,236 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:42:50,236 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:42:50,237 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_input [2019-08-31 20:42:50,237 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_output [2019-08-31 20:42:50,237 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_dir [2019-08-31 20:42:50,237 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_read [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_threshold [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_state [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_state [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_state [2019-08-31 20:42:50,238 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:42:50,239 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:42:50,239 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:42:50,239 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:42:50,240 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_shared [2019-08-31 20:42:50,240 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-31 20:42:50,240 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_shared [2019-08-31 20:42:50,240 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_assert_i0 [2019-08-31 20:42:50,241 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t3 [2019-08-31 20:42:50,241 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t2 [2019-08-31 20:42:50,241 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t1 [2019-08-31 20:42:50,241 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t0 [2019-08-31 20:42:50,242 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ushort [2019-08-31 20:42:50,242 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_bool [2019-08-31 20:42:50,242 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_uchar [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_lock [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_unlock [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure assert [2019-08-31 20:42:50,243 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_current_priority [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_current_priority [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_count [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_count [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_speed [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_speed [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_count [2019-08-31 20:42:50,244 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_count [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_speed [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_speed [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_count [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_count [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_speed [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_speed [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure calibrate [2019-08-31 20:42:50,245 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:42:50,246 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:42:50,246 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:42:50,246 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:42:50,246 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:42:50,247 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:42:50,247 INFO L130 BoogieDeclarations]: Found specification of procedure bg_nxtcolorsensor [2019-08-31 20:42:50,247 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:42:50,247 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_speed [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_get_count [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_count [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure TerminateTask [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_input [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_input [2019-08-31 20:42:50,249 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_output [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_output [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_dir [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_dir [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_read [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_read [2019-08-31 20:42:50,250 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:42:50,251 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:42:50,251 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_threshold [2019-08-31 20:42:50,252 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_threshold [2019-08-31 20:42:50,254 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_state [2019-08-31 20:42:50,255 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_state [2019-08-31 20:42:50,255 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_state [2019-08-31 20:42:50,256 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_state [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_state [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_state [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure transition [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure init [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure move_motor [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure Controller [2019-08-31 20:42:50,262 INFO L130 BoogieDeclarations]: Found specification of procedure Reader [2019-08-31 20:42:50,263 INFO L130 BoogieDeclarations]: Found specification of procedure Writer [2019-08-31 20:42:50,263 INFO L130 BoogieDeclarations]: Found specification of procedure TapeMover [2019-08-31 20:42:50,263 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:42:50,263 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Controller [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperController [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:42:50,264 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperTapeMover [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Reader [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperReader [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Writer [2019-08-31 20:42:50,265 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperWriter [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_schedule_jobs [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_globals [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_init [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_final [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_hyperperiod [2019-08-31 20:42:50,266 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-31 20:42:50,267 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-31 20:42:50,267 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-31 20:42:50,267 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-31 20:42:50,267 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-31 20:42:50,267 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-31 20:43:04,549 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-31 20:43:04,550 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-31 20:43:04,552 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:43:04 BoogieIcfgContainer [2019-08-31 20:43:04,552 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-31 20:43:04,552 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-08-31 20:43:04,552 INFO L271 PluginConnector]: Initializing Sifa... [2019-08-31 20:43:04,553 INFO L275 PluginConnector]: Sifa initialized [2019-08-31 20:43:04,554 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:43:04" (1/1) ... [2019-08-31 20:43:04,589 INFO L162 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-31 20:43:04,590 INFO L169 IcfgInterpreter]: Building call graph [2019-08-31 20:43:04,607 INFO L174 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-31 20:43:04,616 INFO L179 IcfgInterpreter]: Starting interpretation [2019-08-31 20:43:04,617 INFO L199 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-08-31 20:43:04,893 INFO L392 ElimStorePlain]: Different costs {0=[|v_#length_52|], 4656=[|v_#valid_53|]} [2019-08-31 20:43:05,749 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:06,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:06,215 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:06,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:06,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:06,866 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:07,314 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:07,719 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:07,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:08,027 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:08,605 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:08,771 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:08,973 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:09,196 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:09,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:09,551 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:09,747 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:10,093 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:10,461 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:10,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:10,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:10,964 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:11,167 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:11,533 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:11,933 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:12,069 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:12,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:12,577 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:12,825 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:13,214 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:13,397 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:13,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:13,887 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,250 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,426 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,601 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,779 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:14,909 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:15,112 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:15,268 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:15,448 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:16,264 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:16,463 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:16,860 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:17,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:17,816 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:17,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:18,859 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:19,133 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:19,317 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:19,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:19,672 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:20,000 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:20,195 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:20,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:20,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:21,099 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:21,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:21,438 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:21,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:22,003 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:22,187 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:22,583 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:22,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:22,889 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:23,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:23,385 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:23,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:23,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:23,938 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:24,103 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:24,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:24,589 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:24,745 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:24,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:25,056 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:25,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:25,602 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:25,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:26,258 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:26,447 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:26,686 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:26,846 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:27,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:27,201 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:27,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:27,607 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:27,903 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:28,069 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:28,254 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:28,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:28,636 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:28,953 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:29,100 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:29,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:29,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:29,614 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:29,771 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:30,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:30,214 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:30,839 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:31,036 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:31,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:31,550 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:31,735 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:31,916 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:32,076 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:32,461 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:32,626 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:33,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:33,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:34,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:34,354 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:34,514 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:34,703 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:34,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:35,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:35,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:36,152 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:36,537 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:36,789 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:37,240 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:37,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:37,805 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:37,941 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:38,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:39,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:39,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:39,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:39,768 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:39,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:40,395 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:40,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:40,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:41,095 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:41,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:41,451 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:41,744 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:42,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:42,525 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:42,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:42,914 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:43,227 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:43,434 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:43,594 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:43,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:43,912 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:44,222 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:44,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:44,618 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,016 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,279 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,375 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,556 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,738 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:45,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,017 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,459 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,581 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,710 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:46,900 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:47,079 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:47,543 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:47,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:48,039 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:48,222 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:48,360 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:48,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:48,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:49,018 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:49,190 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:49,652 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:49,837 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,199 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,354 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,517 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,676 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:50,869 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:51,061 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:51,228 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:51,712 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:51,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:52,036 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:52,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:52,389 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:52,566 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:52,815 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:53,311 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:54,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:54,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:54,541 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:54,726 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:54,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:55,084 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:55,212 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:55,536 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:55,721 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:55,920 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:56,100 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:56,245 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:56,707 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:56,852 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:57,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:57,806 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:58,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:58,330 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:58,510 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:58,695 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:59,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:59,659 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:43:59,842 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,015 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,154 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,299 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,640 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:00,860 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:01,557 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:01,884 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:02,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:02,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:02,606 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:02,800 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:03,568 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:03,822 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:03,989 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:04,525 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:04,727 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:04,936 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:05,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:05,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:05,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:06,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:06,790 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:06,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:07,066 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:07,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:07,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:08,438 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:08,840 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:08,989 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:09,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:09,367 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:09,895 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:10,044 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:10,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:10,332 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:10,495 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:10,653 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:11,048 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:11,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:11,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:11,605 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:12,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:12,797 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:12,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:13,091 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:13,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:13,442 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:13,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:13,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:14,076 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:14,251 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:14,455 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:14,626 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:15,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:15,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:15,499 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:16,154 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:16,994 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:17,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:17,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:17,508 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:17,699 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:17,991 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,105 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,259 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,579 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:18,924 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:19,308 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:19,494 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:20,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:20,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:20,749 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:20,930 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:21,128 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:21,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:21,511 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:21,811 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:22,303 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:22,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:22,863 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:23,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:23,174 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:23,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:23,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,211 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,416 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,569 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,693 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:24,859 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:25,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:25,354 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:25,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:25,971 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:26,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:26,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:26,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:27,391 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:27,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:27,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:27,906 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:28,031 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:28,833 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:29,012 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:29,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:29,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:29,678 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:30,048 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:30,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:30,428 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:30,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:30,920 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:31,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:31,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,187 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,486 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:32,995 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:33,289 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:33,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:33,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:33,814 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:34,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:34,397 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:34,578 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:34,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:34,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,076 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,214 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,422 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,819 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:35,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:36,112 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:36,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:36,450 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:36,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:36,861 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,055 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,264 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,403 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,536 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:37,991 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:38,168 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:38,352 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:38,534 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:38,964 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:39,157 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:39,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:39,543 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:39,946 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:40,095 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:40,316 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:40,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:40,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:41,016 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:41,205 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:41,398 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:41,782 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:41,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:42,345 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:42,733 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:42,941 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:43,104 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:43,432 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:43,752 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:44,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:44,353 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,080 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,258 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,462 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,792 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:45,952 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:46,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:46,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:46,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:47,149 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:47,317 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:47,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:47,871 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:48,043 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:48,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:48,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:48,944 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:49,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:49,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:49,498 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:49,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:49,975 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:50,153 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:50,507 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:50,957 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:51,117 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:51,284 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:51,448 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:51,619 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:51,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,126 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,292 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,443 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,576 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:52,909 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:53,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:53,375 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:54,063 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:54,245 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:54,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:54,827 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:54,994 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:55,199 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:55,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:55,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:56,499 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:56,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:56,861 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:57,018 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:57,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:57,599 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:57,745 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:58,138 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:58,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:58,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:58,503 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:58,681 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:59,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:59,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:59,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:59,606 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:44:59,927 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:00,072 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:00,221 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:00,415 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:00,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:00,813 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:01,205 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:01,424 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:01,873 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:02,213 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:02,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:02,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:02,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:03,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:03,692 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:04,552 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:04,737 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:05,075 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:05,231 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:05,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:06,084 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:06,367 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:06,533 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:06,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:06,878 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:07,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:07,564 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:07,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:07,915 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:08,113 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:08,276 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:08,641 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:08,838 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:08,990 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:09,307 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:09,655 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:09,854 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:10,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:10,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:10,411 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:10,678 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:10,841 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:11,003 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:11,187 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:11,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:11,922 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:12,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:12,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:12,613 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,054 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,319 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,450 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,790 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:13,962 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:14,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:14,399 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:14,536 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:14,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:15,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:15,528 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:15,873 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:16,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:16,211 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:16,378 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:16,941 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:17,189 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:17,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:17,537 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:17,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:17,891 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:18,238 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:18,389 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:18,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:18,625 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:19,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:19,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:19,692 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:19,826 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:19,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:20,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:20,327 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:20,440 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:20,615 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:21,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:21,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:21,534 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:21,913 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:22,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:22,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:22,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:22,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:23,132 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:23,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:23,570 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:23,754 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:24,194 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:24,742 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:24,910 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:25,072 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:25,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:25,451 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:25,818 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:25,977 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:26,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:26,355 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:26,546 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:26,837 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:26,981 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:27,135 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:27,325 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:27,517 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:27,717 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:28,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:28,235 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:28,397 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:28,588 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:29,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:29,372 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:29,568 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:29,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:29,906 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:30,055 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:30,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:30,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:30,857 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:31,043 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:31,947 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:32,332 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:32,751 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:32,901 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:33,088 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:33,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:33,643 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:33,796 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:33,954 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:34,079 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:34,198 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:34,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:34,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:34,901 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:35,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:35,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:35,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:35,664 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,007 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,205 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,679 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,815 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:36,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:37,815 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:37,989 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:38,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:38,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:38,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:39,065 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:39,410 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:39,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:39,744 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:39,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:40,100 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:40,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:40,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:40,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:40,913 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:41,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:41,363 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:41,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:41,700 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:41,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:42,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:42,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:42,569 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:42,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:43,329 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:43,519 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:43,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:43,901 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:44,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:44,403 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:44,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:44,988 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:45,836 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:46,015 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:46,198 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:46,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:46,492 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:46,854 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:47,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:47,231 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:47,818 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:47,973 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:48,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:48,687 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:48,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:49,070 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:49,468 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:49,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:49,994 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:50,191 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:50,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:50,891 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:51,675 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:52,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:52,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:52,672 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:52,857 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:53,026 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:53,509 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:53,698 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:53,888 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:54,059 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:54,412 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:55,137 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:55,343 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:55,522 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:55,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:55,933 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:56,117 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:56,293 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:56,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:56,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:56,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,103 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,285 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,556 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,736 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:57,896 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:58,654 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:58,856 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:59,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:59,444 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:45:59,857 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:00,046 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:00,227 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:00,600 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:00,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:01,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:01,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:01,503 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:01,665 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:02,230 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:02,829 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:02,974 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:03,448 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:03,621 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:03,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:03,928 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:04,104 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:04,275 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:04,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:04,849 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:05,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:05,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:05,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:05,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:06,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:06,502 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:06,675 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:07,046 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:07,187 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:07,601 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:07,795 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:08,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:08,300 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:08,513 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:08,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:08,901 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:09,233 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:10,001 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:10,140 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:10,429 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:10,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:11,292 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:11,437 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:11,598 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:12,129 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:12,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:12,622 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:12,739 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:12,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:13,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:13,449 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:13,583 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:13,778 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:14,185 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:14,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:14,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:14,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:15,025 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:15,177 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:15,345 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:15,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:15,831 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:16,035 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:16,198 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:16,358 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:16,681 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:16,822 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:17,616 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:17,810 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,099 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,318 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,512 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,777 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:18,916 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,514 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,695 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,842 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:19,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:20,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:20,439 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:20,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:20,775 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:20,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:21,284 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:21,462 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:21,644 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:21,804 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:21,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:22,070 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:22,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:22,555 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:23,509 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:23,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:23,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:24,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:24,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:24,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:24,542 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:25,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:25,195 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:25,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:26,031 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:26,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:26,559 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:27,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:27,341 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:28,165 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:28,280 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:28,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:28,669 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:28,858 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:29,026 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:29,389 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:29,557 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:29,747 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:29,949 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:30,114 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:30,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:30,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:31,066 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:31,263 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:31,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:31,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:31,895 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:32,635 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:32,823 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:33,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:33,327 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:33,520 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:33,704 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:33,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:34,281 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:34,458 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:34,671 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:34,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:35,596 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:35,799 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:35,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:36,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:36,278 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:36,682 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:36,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:37,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:37,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:37,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:37,968 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:38,110 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:38,556 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:38,748 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:39,039 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:39,474 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:39,674 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:39,841 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:40,182 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:40,542 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:40,699 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:40,848 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:41,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:41,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:41,970 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:42,295 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:42,485 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:42,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:43,212 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:43,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:44,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:45,079 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:45,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:45,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:45,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:45,913 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:46,069 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:46,276 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:46,439 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:46,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:46,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:47,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:47,314 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:47,733 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:48,049 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:48,219 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:48,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:48,735 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:48,975 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:49,186 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:49,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:49,742 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:50,051 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:50,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:51,117 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:51,474 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:51,621 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:51,780 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:51,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:52,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:52,342 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:52,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:52,834 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:53,024 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:53,207 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:53,405 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:53,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:54,231 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:54,396 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:54,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:54,996 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:55,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:55,717 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:56,279 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:56,454 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:56,627 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:57,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:57,711 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:57,947 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:58,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:58,392 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:58,517 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:58,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:58,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:59,122 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:59,316 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:59,694 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:46:59,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:00,061 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:00,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:00,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:00,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:00,992 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:01,350 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:01,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:02,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:02,523 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:03,363 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:03,629 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:03,835 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:04,196 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:04,596 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:04,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:05,558 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:05,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:05,863 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:06,296 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:06,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:06,660 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:06,834 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:07,172 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:07,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:07,555 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:07,719 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:07,920 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:08,288 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:08,436 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:09,150 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:09,342 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:09,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:09,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:10,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:10,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:10,411 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:10,699 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:10,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:11,087 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:11,281 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:11,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:11,813 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:11,996 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:12,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:12,711 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:12,890 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:13,068 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:13,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:13,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:14,036 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:14,180 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:14,355 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:14,541 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:15,249 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:15,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:15,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:15,886 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:16,290 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:16,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:17,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:17,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:17,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:18,328 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:18,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:19,189 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:19,375 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,079 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,403 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,566 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,721 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:20,914 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:21,254 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:21,416 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:21,862 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:22,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:22,413 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:22,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:22,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:22,891 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:23,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:23,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:23,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:24,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:24,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:24,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:24,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:25,135 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:25,338 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:25,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:26,017 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:26,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:26,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:26,942 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:27,168 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:27,517 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:27,705 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:27,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:28,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:28,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:28,968 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:29,126 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:29,285 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:29,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:30,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:30,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:31,328 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:31,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:31,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:31,797 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:31,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:32,123 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:32,556 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:32,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:33,312 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:33,481 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:34,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:34,450 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:34,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:35,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:35,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:35,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:35,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:35,836 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:36,296 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:36,662 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:36,848 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:37,022 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:37,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:37,779 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:38,130 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:38,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:38,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:39,149 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:39,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:39,605 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:39,777 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:39,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:40,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:40,540 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:40,707 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:41,537 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:41,748 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:42,250 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:42,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:42,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:42,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:43,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:43,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:43,492 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:43,862 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:44,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:44,366 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:45,205 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:45,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:45,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:45,854 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:46,279 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:46,460 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:46,648 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:46,820 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:47,161 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:47,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:47,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:48,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:48,609 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:48,998 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:49,182 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:49,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:49,661 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:49,819 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:50,032 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:50,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:50,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:50,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:51,080 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:51,225 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:51,406 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:51,557 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:51,755 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:52,088 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:52,862 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:52,996 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:53,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:53,673 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:53,833 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:54,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:54,220 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:54,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:55,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:55,272 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:55,815 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:56,005 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:56,192 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:56,486 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:56,877 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:57,068 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:57,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:57,534 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:57,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:57,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:58,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:58,474 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:58,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:59,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:59,601 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:47:59,873 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:00,012 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:00,189 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:00,825 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:01,015 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:01,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:01,519 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:02,337 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:02,562 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:02,800 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:02,899 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:03,627 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:48:03,628 INFO L235 Elim1Store]: Index analysis took 298268 ms [2019-08-31 20:48:03,713 INFO L375 Elim1Store]: Elim1 did not use preprocessing eliminated variable of array dimension 1, 1 stores, 0 select indices, 0 select index equivalence classes, 1179 disjoint index pairs (out of 0 index pairs), introduced 0 new quantified variables, introduced 0 case distinctions, treesize of input 147 treesize of output 241 [2019-08-31 20:48:03,715 INFO L496 ElimStorePlain]: Start of recursive call 2: End of recursive call: and 1 xjuncts.