/usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/SifaCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-32bit-Taipan_Default.epf -i ../../../trunk/examples/svcomp/array-tiling/mlceu.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-6598664 [2019-11-24 09:54:16,875 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-11-24 09:54:16,877 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-11-24 09:54:16,895 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-11-24 09:54:16,895 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-11-24 09:54:16,897 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-11-24 09:54:16,899 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-11-24 09:54:16,908 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-11-24 09:54:16,912 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-11-24 09:54:16,916 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-11-24 09:54:16,918 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-11-24 09:54:16,920 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-11-24 09:54:16,920 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-11-24 09:54:16,922 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-11-24 09:54:16,924 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-11-24 09:54:16,926 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-11-24 09:54:16,927 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-11-24 09:54:16,928 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-11-24 09:54:16,929 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-11-24 09:54:16,934 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-11-24 09:54:16,937 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-11-24 09:54:16,938 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-11-24 09:54:16,941 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-11-24 09:54:16,942 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-11-24 09:54:16,944 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-11-24 09:54:16,944 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-11-24 09:54:16,945 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-11-24 09:54:16,946 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-11-24 09:54:16,948 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-11-24 09:54:16,949 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-11-24 09:54:16,949 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-11-24 09:54:16,951 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-11-24 09:54:16,951 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-11-24 09:54:16,952 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-11-24 09:54:16,954 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-11-24 09:54:16,954 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-11-24 09:54:16,955 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-11-24 09:54:16,955 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-11-24 09:54:16,955 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-11-24 09:54:16,957 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-11-24 09:54:16,959 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-11-24 09:54:16,960 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/taipan/svcomp-Reach-32bit-Taipan_Default.epf [2019-11-24 09:54:16,985 INFO L113 SettingsManager]: Loading preferences was successful [2019-11-24 09:54:16,986 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-11-24 09:54:16,986 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2019-11-24 09:54:16,987 INFO L138 SettingsManager]: * User list type=DISABLED [2019-11-24 09:54:16,987 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2019-11-24 09:54:16,987 INFO L138 SettingsManager]: * Explicit value domain=true [2019-11-24 09:54:16,987 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2019-11-24 09:54:16,988 INFO L138 SettingsManager]: * Octagon Domain=false [2019-11-24 09:54:16,988 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2019-11-24 09:54:16,988 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2019-11-24 09:54:16,988 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2019-11-24 09:54:16,988 INFO L138 SettingsManager]: * Interval Domain=false [2019-11-24 09:54:16,989 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2019-11-24 09:54:16,989 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2019-11-24 09:54:16,989 INFO L138 SettingsManager]: * Simplification Technique=SIMPLIFY_QUICK [2019-11-24 09:54:16,990 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-11-24 09:54:16,990 INFO L138 SettingsManager]: * sizeof long=4 [2019-11-24 09:54:16,990 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-11-24 09:54:16,990 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-11-24 09:54:16,990 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-11-24 09:54:16,991 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-11-24 09:54:16,991 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-11-24 09:54:16,991 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-11-24 09:54:16,991 INFO L138 SettingsManager]: * sizeof long double=12 [2019-11-24 09:54:16,991 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-11-24 09:54:16,992 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-11-24 09:54:16,992 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-11-24 09:54:16,992 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-11-24 09:54:16,992 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-11-24 09:54:16,992 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-11-24 09:54:16,993 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-11-24 09:54:16,993 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-11-24 09:54:16,993 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-11-24 09:54:16,993 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2019-11-24 09:54:16,993 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-11-24 09:54:16,994 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-11-24 09:54:16,994 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-11-24 09:54:16,994 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2019-11-24 09:54:17,264 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-11-24 09:54:17,277 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-11-24 09:54:17,280 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-11-24 09:54:17,281 INFO L271 PluginConnector]: Initializing CDTParser... [2019-11-24 09:54:17,282 INFO L275 PluginConnector]: CDTParser initialized [2019-11-24 09:54:17,282 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/array-tiling/mlceu.c [2019-11-24 09:54:17,362 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/67dacc260/ec33202de3fc493fa31c301c2701523d/FLAG2d506bc37 [2019-11-24 09:54:17,826 INFO L306 CDTParser]: Found 1 translation units. [2019-11-24 09:54:17,827 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/array-tiling/mlceu.c [2019-11-24 09:54:17,833 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/67dacc260/ec33202de3fc493fa31c301c2701523d/FLAG2d506bc37 [2019-11-24 09:54:18,194 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/67dacc260/ec33202de3fc493fa31c301c2701523d [2019-11-24 09:54:18,203 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-11-24 09:54:18,205 INFO L131 ToolchainWalker]: Walking toolchain with 5 elements. [2019-11-24 09:54:18,206 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-11-24 09:54:18,206 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-11-24 09:54:18,209 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-11-24 09:54:18,210 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,213 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@14d82bca and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18, skipping insertion in model container [2019-11-24 09:54:18,213 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,220 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2019-11-24 09:54:18,236 INFO L178 MainTranslator]: Built tables and reachable declarations [2019-11-24 09:54:18,400 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-11-24 09:54:18,412 INFO L203 MainTranslator]: Completed pre-run [2019-11-24 09:54:18,430 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-11-24 09:54:18,445 INFO L208 MainTranslator]: Completed translation [2019-11-24 09:54:18,446 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18 WrapperNode [2019-11-24 09:54:18,446 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-11-24 09:54:18,447 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2019-11-24 09:54:18,447 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2019-11-24 09:54:18,447 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2019-11-24 09:54:18,454 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,462 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,558 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2019-11-24 09:54:18,558 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-11-24 09:54:18,558 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-11-24 09:54:18,559 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-11-24 09:54:18,567 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,568 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,569 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,569 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,575 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,579 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,581 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,582 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-11-24 09:54:18,583 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-11-24 09:54:18,583 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-11-24 09:54:18,583 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-11-24 09:54:18,584 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:54:18" (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-11-24 09:54:18,647 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-11-24 09:54:18,648 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2019-11-24 09:54:18,648 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-11-24 09:54:18,648 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-11-24 09:54:18,648 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-11-24 09:54:18,982 INFO L279 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-11-24 09:54:18,983 INFO L284 CfgBuilder]: Removed 8 assume(true) statements. [2019-11-24 09:54:18,984 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 24.11 09:54:18 BoogieIcfgContainer [2019-11-24 09:54:18,984 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-11-24 09:54:18,985 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-11-24 09:54:18,985 INFO L271 PluginConnector]: Initializing Sifa... [2019-11-24 09:54:18,985 INFO L275 PluginConnector]: Sifa initialized [2019-11-24 09:54:18,986 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 24.11 09:54:18" (1/1) ... [2019-11-24 09:54:18,987 INFO L79 SifaObserver]: LogSizeWrapperFluid Intern Fluid=SizeLimitFluid ♦ Abstract Domain=CompoundDomain ♦ Fluid=SizeLimitFluid ♦ Max. Parallel Explicit Values=2 ♦ Max. Parallel Intervals=2 ♦ Loop Summarizer=FixpointLoopSummarizer ♦ CompoundDomain Intern Domains=ExplicitValueDomain;IntervalDomain ♦ Call Summarizer=TopInputCallSummarizer ♦ Xnf Conversion Technique=BOTTOM_UP_WITH_LOCAL_SIMPLIFICATION ♦ SizeLimitFluid Max. Disjunctions=8 ♦ Simplification Technique=SIMPLIFY_QUICK ♦ SizeLimitFluid Max. DAG Size=-1 [2019-11-24 09:54:19,015 INFO L159 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-11-24 09:54:19,015 INFO L166 IcfgInterpreter]: Building call graph [2019-11-24 09:54:19,023 INFO L171 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-11-24 09:54:19,031 INFO L176 IcfgInterpreter]: Starting interpretation [2019-11-24 09:54:19,033 INFO L197 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-11-24 09:54:19,291 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:19,575 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:19,665 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:19,879 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:19,905 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:19,924 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,376 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,497 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,529 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,543 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,554 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,900 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:20,974 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,062 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,074 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,088 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,235 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,555 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,786 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,879 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:21,980 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,050 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,088 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,163 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,312 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,351 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,370 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,413 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,734 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,791 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,809 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:22,920 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,150 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,167 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,183 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,220 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,263 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,278 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,291 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,601 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:23,757 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,003 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,117 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,170 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,188 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,210 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,260 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,275 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,294 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,338 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,529 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,643 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,770 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,786 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,848 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,884 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:24,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,216 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,308 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,472 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,513 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,529 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,582 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,601 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,619 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,637 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,651 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,680 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:25,869 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:26,085 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:26,190 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:26,202 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:26,483 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:26,837 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,004 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,028 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,044 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,128 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,146 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,164 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,178 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,194 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,210 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,232 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,295 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,490 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,521 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,797 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,941 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:27,962 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,141 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,218 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,329 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,347 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,363 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,438 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,453 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,471 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,505 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,563 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,625 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,638 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,652 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:28,793 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,123 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,227 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,246 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,385 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,480 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,498 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,514 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,551 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,788 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,845 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,881 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,911 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,929 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,945 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:29,958 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,038 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,093 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,107 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,121 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,146 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,156 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,339 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,503 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,519 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,539 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,558 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,595 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,636 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,755 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,772 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:30,870 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,084 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,098 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,133 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,342 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,359 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,373 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,417 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,431 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,447 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,494 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,608 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,705 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,930 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:31,976 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,049 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,092 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,141 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,250 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,318 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,341 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,362 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,507 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,543 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,635 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,700 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,734 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:32,769 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,190 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,211 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,228 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,298 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,317 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,394 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,412 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,797 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,815 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:33,958 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,092 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,221 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,353 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,373 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,390 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,407 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,432 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,608 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,875 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,892 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,932 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,949 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:34,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,028 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,041 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,081 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,093 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,129 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,348 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,528 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,560 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,601 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,636 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,924 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:35,952 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,035 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,052 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,091 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,113 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,203 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,285 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,338 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,352 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,370 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,389 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,470 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,553 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,652 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,666 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,683 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,753 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:36,879 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,377 WARN L192 SmtUtils]: Spent 127.00 ms on a formula simplification. DAG size of input: 218 DAG size of output: 216 [2019-11-24 09:54:37,407 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,626 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,678 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,698 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,721 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,742 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,796 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,823 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,859 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,895 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,950 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:37,972 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,206 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,230 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,250 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,433 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,498 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,585 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,624 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,891 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,938 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:38,985 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,062 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,073 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,195 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,219 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,243 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,251 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,501 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,556 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,677 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,738 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,844 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,873 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,931 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:39,958 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,085 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,108 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,268 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,287 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,309 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,474 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,592 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,609 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,701 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,729 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,768 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,857 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,921 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,935 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,949 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,962 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:40,996 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,059 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,507 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,742 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,790 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:41,835 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,001 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,077 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,140 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,160 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,178 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,198 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,271 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,321 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,339 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,378 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,397 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,416 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,437 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,581 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,619 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,655 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,744 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,761 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,778 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:42,809 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,055 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,170 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,249 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,278 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,544 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,588 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,731 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,906 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,927 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:43,949 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,251 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,271 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,337 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,467 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,533 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,630 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,653 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,815 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,834 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,909 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,928 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:44,987 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,008 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,027 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,044 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,062 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,080 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,153 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,171 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,214 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,231 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,269 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,633 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,674 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,788 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,807 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:45,829 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,064 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,115 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,139 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,163 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,253 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,297 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,465 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,485 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,523 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,634 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,652 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,668 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,707 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,724 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,810 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,910 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,920 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,936 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:46,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,031 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,066 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,120 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,153 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,304 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,495 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,781 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,804 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,868 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,889 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,911 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,929 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,975 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:47,998 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,019 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,039 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,062 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,188 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,313 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,407 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,516 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,590 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,612 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,686 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,831 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,874 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,893 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:48,975 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,020 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,040 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,081 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,202 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,221 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,271 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,442 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,610 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,883 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,906 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,960 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:49,983 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,127 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,247 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,269 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,322 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,398 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,420 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,475 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,578 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,659 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,805 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,821 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,951 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,973 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:50,993 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,038 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,157 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,176 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,199 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,216 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,235 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,362 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,425 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,591 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,603 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,614 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,660 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,688 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,698 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,768 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:51,982 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,008 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,031 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,091 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,149 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,171 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,253 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,326 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,352 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,429 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,483 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,693 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,720 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,744 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,767 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,921 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,943 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,966 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:52,991 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,013 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,033 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,058 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,084 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,115 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,132 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,150 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,300 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,338 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,476 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,536 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,615 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,652 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,764 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,795 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:53,942 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,213 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,316 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,370 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,593 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,639 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,664 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,692 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,754 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,816 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,836 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:54,858 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,002 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,147 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,199 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,249 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,271 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,313 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,336 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,419 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,466 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,546 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,690 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,844 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:55,945 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,008 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,066 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,125 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,253 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,270 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,287 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,300 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,315 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,347 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,360 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:56,890 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,002 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,025 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,152 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,198 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,221 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,416 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,439 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,464 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,490 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,514 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,602 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,655 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,773 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,877 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,901 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,920 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,966 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:57,987 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,009 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,029 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,141 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,161 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,284 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,400 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,436 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,457 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,571 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,584 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,694 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,742 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,752 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:58,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,071 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,203 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,292 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,388 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,412 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,431 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,456 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,640 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,723 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,845 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,870 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,897 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,922 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:54:59,977 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,003 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,056 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,139 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,178 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,218 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,311 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,327 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,429 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,447 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,518 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,553 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,571 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,724 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:00,992 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,056 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,087 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,103 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,115 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,127 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,170 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,195 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,207 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,408 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,633 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,656 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,733 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,757 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,781 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,808 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:01,941 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,070 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,096 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,232 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,259 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,284 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,308 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,334 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,410 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,434 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,492 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,517 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,686 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,860 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,882 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,906 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:02,928 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,026 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,134 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,267 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,361 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,381 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,459 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,479 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,500 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,520 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,541 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,659 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,762 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,774 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,783 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:03,906 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,007 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,361 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,473 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,497 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,591 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:04,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,012 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,104 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,261 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,283 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,308 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,333 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,364 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,614 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,638 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,659 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,703 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,751 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,775 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,798 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,853 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,875 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,894 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,914 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,937 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,959 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:05,980 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,089 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,193 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,213 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,234 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,255 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,302 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,412 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,433 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,485 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,503 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,566 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,734 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:06,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,035 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,137 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,184 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,318 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,340 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,423 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,563 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,587 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,804 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:07,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,149 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,296 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,320 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,368 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,391 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,416 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,439 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,461 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,648 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,669 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,709 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,731 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,752 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,912 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,959 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,977 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:08,997 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,016 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,034 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,104 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,144 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,193 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,226 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,241 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,295 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,309 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,323 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,339 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,391 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,403 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,653 WARN L192 SmtUtils]: Spent 117.00 ms on a formula simplification. DAG size of input: 274 DAG size of output: 271 [2019-11-24 09:55:09,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,821 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,870 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:09,910 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,137 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,244 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,278 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,406 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,434 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,461 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,640 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,665 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:10,847 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,003 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,110 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,271 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,295 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,375 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,398 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,423 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,505 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,772 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,788 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,803 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,820 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,838 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,914 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,929 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:11,945 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,044 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,091 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,139 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,153 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,221 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,236 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,289 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,319 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,332 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,345 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,358 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,385 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,687 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,710 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,764 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,819 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,878 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,953 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:12,979 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,007 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,137 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,166 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,194 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,223 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,406 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,601 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,734 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,820 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,903 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,926 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,948 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:13,970 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,018 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,041 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,086 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,161 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,219 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,241 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,263 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,457 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,502 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,523 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,544 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,566 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,702 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,773 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,830 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,850 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:14,870 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,073 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,131 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,231 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,247 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,299 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,414 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,697 WARN L192 SmtUtils]: Spent 106.00 ms on a formula simplification. DAG size of input: 292 DAG size of output: 291 [2019-11-24 09:55:15,778 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,893 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:15,952 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,042 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,163 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,189 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,410 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,436 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,718 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,743 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,769 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,795 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,822 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,844 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:16,928 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,220 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,513 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,537 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,584 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,607 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,703 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,726 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,814 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,855 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,869 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:17,901 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,011 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,064 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,079 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,096 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,126 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,191 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,201 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,233 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,347 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,361 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,376 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,389 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,402 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,418 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,447 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,462 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,490 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,498 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,508 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:18,741 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,016 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,057 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,145 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,283 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,336 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,445 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,500 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,561 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,585 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,612 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,639 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,666 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,695 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,753 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,921 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:19,980 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,006 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,032 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,096 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,318 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,343 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,404 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,431 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,548 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,571 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,617 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,740 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,844 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,868 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:20,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,001 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,023 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,047 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,143 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,172 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,343 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,362 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,407 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,425 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,442 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,461 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,567 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,612 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,729 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,740 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,775 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,914 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:21,968 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:22,249 WARN L192 SmtUtils]: Spent 233.00 ms on a formula simplification. DAG size of input: 303 DAG size of output: 300 [2019-11-24 09:55:22,566 WARN L192 SmtUtils]: Spent 298.00 ms on a formula simplification. DAG size of input: 301 DAG size of output: 297 [2019-11-24 09:55:22,602 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:22,846 WARN L192 SmtUtils]: Spent 229.00 ms on a formula simplification that was a NOOP. DAG size: 299 [2019-11-24 09:55:23,042 WARN L192 SmtUtils]: Spent 193.00 ms on a formula simplification. DAG size of input: 300 DAG size of output: 299 [2019-11-24 09:55:23,076 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,219 WARN L192 SmtUtils]: Spent 134.00 ms on a formula simplification that was a NOOP. DAG size: 302 [2019-11-24 09:55:23,387 WARN L192 SmtUtils]: Spent 165.00 ms on a formula simplification. DAG size of input: 303 DAG size of output: 303 [2019-11-24 09:55:23,521 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,550 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,642 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,774 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:23,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,058 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,187 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,252 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,387 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,575 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,604 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,633 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,864 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,929 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:24,990 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,018 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,076 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,196 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,224 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,252 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,279 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,368 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,453 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,480 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,506 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,533 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,770 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,796 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,860 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,880 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,899 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:25,922 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,029 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,264 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,282 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,298 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,351 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,366 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,430 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,447 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,461 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,477 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,609 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,627 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,641 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,656 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:26,684 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,033 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,064 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,089 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,238 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,301 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,362 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,390 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,482 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,511 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,541 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,572 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:27,803 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,011 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,036 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,205 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,314 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,338 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,363 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,387 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,437 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,518 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,541 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,566 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,687 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,740 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,765 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,790 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,811 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:28,835 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,028 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,158 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,180 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,204 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,282 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,302 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,348 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,394 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,488 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,529 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,604 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,621 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,642 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,741 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,760 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:29,778 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,019 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,121 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,156 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,169 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,321 WARN L192 SmtUtils]: Spent 106.00 ms on a formula simplification that was a NOOP. DAG size: 310 [2019-11-24 09:55:30,429 WARN L192 SmtUtils]: Spent 101.00 ms on a formula simplification. DAG size of input: 311 DAG size of output: 310 [2019-11-24 09:55:30,508 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,608 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,637 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,664 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,693 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,721 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,913 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:30,943 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,009 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,037 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,103 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,133 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,159 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,278 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,305 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,538 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,589 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,647 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,674 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,756 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:31,846 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,054 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,079 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,136 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,161 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,187 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,211 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,322 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,346 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,393 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,483 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,525 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,545 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,641 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,691 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,709 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,727 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,746 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,764 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:32,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,010 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,028 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,046 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,143 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,185 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,200 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,427 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,441 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,454 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,562 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:33,823 WARN L192 SmtUtils]: Spent 102.00 ms on a formula simplification. DAG size of input: 316 DAG size of output: 311 [2019-11-24 09:55:33,846 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,122 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,198 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,258 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,285 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,351 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,574 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,660 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,720 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,783 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,867 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,959 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:34,988 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,018 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,316 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,407 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,433 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,582 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,689 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,800 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,847 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:35,896 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,186 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,284 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,421 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,529 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,632 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,678 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,703 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,756 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,779 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,831 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,855 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,907 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,958 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:36,980 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,086 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,111 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,215 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,231 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,262 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,392 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,408 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,487 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,500 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,514 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,528 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,565 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,614 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,651 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,674 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,749 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,783 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,792 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:37,929 WARN L192 SmtUtils]: Spent 100.00 ms on a formula simplification. DAG size of input: 323 DAG size of output: 320 [2019-11-24 09:55:38,127 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,157 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,218 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,279 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,473 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,631 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,692 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,796 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,897 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,964 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:38,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,309 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,501 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,549 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,574 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,627 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,745 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,829 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,852 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,974 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:39,998 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,022 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,045 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,159 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,181 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,231 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,255 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,280 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,304 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,365 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,386 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,440 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,587 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,634 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,719 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,764 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,815 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,859 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:40,902 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,165 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,186 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,303 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,323 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,341 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,381 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,417 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,453 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,471 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,597 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,614 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,656 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,666 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:41,920 WARN L192 SmtUtils]: Spent 120.00 ms on a formula simplification. DAG size of input: 323 DAG size of output: 322 [2019-11-24 09:55:41,979 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,054 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,112 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,177 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,337 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,482 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,541 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,600 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,631 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,759 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,817 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,878 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,907 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,937 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:42,996 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,058 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,088 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,118 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,190 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,219 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,617 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:43,878 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,051 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,286 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,484 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,527 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,579 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,866 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:44,912 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,480 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,507 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,561 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,588 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,616 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,837 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,877 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:45,986 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,004 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,021 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,078 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,095 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,131 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,148 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,192 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,213 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,283 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,296 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,366 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,381 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,416 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,430 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,444 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:46,757 WARN L192 SmtUtils]: Spent 105.00 ms on a formula simplification. DAG size of input: 326 DAG size of output: 324 [2019-11-24 09:55:47,013 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,044 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,229 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,377 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,538 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,562 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,586 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,746 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,847 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,876 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,931 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:47,957 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,013 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,068 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,250 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,272 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,356 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,409 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,465 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,489 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,514 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,580 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,604 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,629 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,680 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,706 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,734 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,755 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,780 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,805 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:48,870 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,174 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,197 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,220 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,269 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,366 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,459 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,692 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,758 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:55:49,777 WARN L227 Elim1Store]: Array PQE input equivalent to false