/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/poly1.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-6598664 [2019-11-24 09:56:03,886 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-11-24 09:56:03,889 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-11-24 09:56:03,907 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-11-24 09:56:03,907 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-11-24 09:56:03,909 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-11-24 09:56:03,911 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-11-24 09:56:03,923 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-11-24 09:56:03,925 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-11-24 09:56:03,926 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-11-24 09:56:03,926 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-11-24 09:56:03,929 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-11-24 09:56:03,929 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-11-24 09:56:03,930 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-11-24 09:56:03,931 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-11-24 09:56:03,932 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-11-24 09:56:03,932 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-11-24 09:56:03,933 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-11-24 09:56:03,935 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-11-24 09:56:03,937 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-11-24 09:56:03,938 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-11-24 09:56:03,939 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-11-24 09:56:03,940 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-11-24 09:56:03,941 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-11-24 09:56:03,943 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-11-24 09:56:03,943 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-11-24 09:56:03,943 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-11-24 09:56:03,944 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-11-24 09:56:03,944 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-11-24 09:56:03,945 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-11-24 09:56:03,946 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-11-24 09:56:03,946 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-11-24 09:56:03,947 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-11-24 09:56:03,948 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-11-24 09:56:03,949 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-11-24 09:56:03,949 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-11-24 09:56:03,950 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-11-24 09:56:03,950 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-11-24 09:56:03,950 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-11-24 09:56:03,951 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-11-24 09:56:03,951 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-11-24 09:56:03,952 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:56:03,966 INFO L113 SettingsManager]: Loading preferences was successful [2019-11-24 09:56:03,966 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-11-24 09:56:03,967 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2019-11-24 09:56:03,967 INFO L138 SettingsManager]: * User list type=DISABLED [2019-11-24 09:56:03,968 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2019-11-24 09:56:03,968 INFO L138 SettingsManager]: * Explicit value domain=true [2019-11-24 09:56:03,968 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2019-11-24 09:56:03,968 INFO L138 SettingsManager]: * Octagon Domain=false [2019-11-24 09:56:03,968 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2019-11-24 09:56:03,969 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2019-11-24 09:56:03,969 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2019-11-24 09:56:03,969 INFO L138 SettingsManager]: * Interval Domain=false [2019-11-24 09:56:03,969 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2019-11-24 09:56:03,969 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2019-11-24 09:56:03,970 INFO L138 SettingsManager]: * Simplification Technique=SIMPLIFY_QUICK [2019-11-24 09:56:03,970 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-11-24 09:56:03,970 INFO L138 SettingsManager]: * sizeof long=4 [2019-11-24 09:56:03,970 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-11-24 09:56:03,971 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-11-24 09:56:03,971 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-11-24 09:56:03,971 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-11-24 09:56:03,971 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-11-24 09:56:03,971 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-11-24 09:56:03,972 INFO L138 SettingsManager]: * sizeof long double=12 [2019-11-24 09:56:03,972 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-11-24 09:56:03,972 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-11-24 09:56:03,972 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-11-24 09:56:03,972 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-11-24 09:56:03,973 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-11-24 09:56:03,973 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-11-24 09:56:03,973 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-11-24 09:56:03,973 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-11-24 09:56:03,973 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-11-24 09:56:03,974 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2019-11-24 09:56:03,974 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-11-24 09:56:03,974 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-11-24 09:56:03,974 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-11-24 09:56:03,974 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES [2019-11-24 09:56:04,233 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-11-24 09:56:04,245 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-11-24 09:56:04,249 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-11-24 09:56:04,250 INFO L271 PluginConnector]: Initializing CDTParser... [2019-11-24 09:56:04,250 INFO L275 PluginConnector]: CDTParser initialized [2019-11-24 09:56:04,251 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/array-tiling/poly1.c [2019-11-24 09:56:04,329 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/8450929e1/e4b2af8ec4fc48378b7d5a616a46a9f8/FLAGca444ef06 [2019-11-24 09:56:04,779 INFO L306 CDTParser]: Found 1 translation units. [2019-11-24 09:56:04,780 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/array-tiling/poly1.c [2019-11-24 09:56:04,786 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/8450929e1/e4b2af8ec4fc48378b7d5a616a46a9f8/FLAGca444ef06 [2019-11-24 09:56:05,160 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/8450929e1/e4b2af8ec4fc48378b7d5a616a46a9f8 [2019-11-24 09:56:05,170 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-11-24 09:56:05,172 INFO L131 ToolchainWalker]: Walking toolchain with 5 elements. [2019-11-24 09:56:05,173 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-11-24 09:56:05,173 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-11-24 09:56:05,177 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-11-24 09:56:05,178 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,181 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@675cb5 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05, skipping insertion in model container [2019-11-24 09:56:05,181 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,189 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2019-11-24 09:56:05,205 INFO L178 MainTranslator]: Built tables and reachable declarations [2019-11-24 09:56:05,369 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-11-24 09:56:05,379 INFO L203 MainTranslator]: Completed pre-run [2019-11-24 09:56:05,395 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-11-24 09:56:05,410 INFO L208 MainTranslator]: Completed translation [2019-11-24 09:56:05,410 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05 WrapperNode [2019-11-24 09:56:05,410 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-11-24 09:56:05,411 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2019-11-24 09:56:05,411 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2019-11-24 09:56:05,411 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2019-11-24 09:56:05,418 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:56:05" (1/1) ... [2019-11-24 09:56:05,499 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:56:05" (1/1) ... [2019-11-24 09:56:05,523 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2019-11-24 09:56:05,524 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-11-24 09:56:05,524 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-11-24 09:56:05,524 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-11-24 09:56:05,534 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,534 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,546 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,547 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,551 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,556 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,557 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,559 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-11-24 09:56:05,559 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-11-24 09:56:05,559 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-11-24 09:56:05,559 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-11-24 09:56:05,560 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 24.11 09:56:05" (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:56:05,611 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-11-24 09:56:05,612 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2019-11-24 09:56:05,612 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-11-24 09:56:05,612 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-11-24 09:56:05,612 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-11-24 09:56:05,942 INFO L279 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-11-24 09:56:05,942 INFO L284 CfgBuilder]: Removed 8 assume(true) statements. [2019-11-24 09:56:05,943 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 24.11 09:56:05 BoogieIcfgContainer [2019-11-24 09:56:05,943 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-11-24 09:56:05,944 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-11-24 09:56:05,944 INFO L271 PluginConnector]: Initializing Sifa... [2019-11-24 09:56:05,944 INFO L275 PluginConnector]: Sifa initialized [2019-11-24 09:56:05,946 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 24.11 09:56:05" (1/1) ... [2019-11-24 09:56:05,946 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:56:05,967 INFO L159 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-11-24 09:56:05,967 INFO L166 IcfgInterpreter]: Building call graph [2019-11-24 09:56:05,973 INFO L171 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-11-24 09:56:05,980 INFO L176 IcfgInterpreter]: Starting interpretation [2019-11-24 09:56:05,981 INFO L197 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-11-24 09:56:06,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,459 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,491 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,795 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,812 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,885 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:06,897 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,238 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,254 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,348 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,391 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,496 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,511 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,877 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,900 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:07,942 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:08,004 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:08,103 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:08,206 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:08,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:08,850 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,099 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,213 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,234 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,255 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,350 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,661 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,697 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,753 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,771 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,787 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,868 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:09,883 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,186 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,303 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,351 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,374 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,588 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,615 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,828 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,851 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,869 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:10,890 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,098 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,455 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,617 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,635 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,704 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,853 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:11,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,053 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,068 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,106 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,123 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,137 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,167 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,262 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,449 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,521 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,646 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,747 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,761 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,778 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,824 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,840 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,960 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:12,982 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,169 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,210 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,222 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,406 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,610 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,648 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,806 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,824 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:13,927 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,020 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,035 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,051 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,367 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,453 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,467 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,478 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,485 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,494 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,697 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,718 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,782 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,802 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,902 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,935 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:14,996 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,033 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,113 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,228 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,259 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,384 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,439 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,670 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,683 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,698 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:15,964 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,389 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,426 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,460 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,509 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,646 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,707 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:16,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,027 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,134 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,157 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,174 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,392 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,547 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,590 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,603 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:17,999 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,216 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,268 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,312 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,331 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,349 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,428 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,448 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,464 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,524 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,541 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,593 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,610 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,625 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,694 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,900 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,912 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,924 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:18,983 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,204 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,417 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,669 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,842 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:19,971 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,123 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,257 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,344 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,444 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,515 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,568 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,592 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,611 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,655 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,675 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,707 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,718 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,764 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,813 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:20,945 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,067 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,099 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,110 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,328 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,383 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,420 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,524 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,714 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:21,747 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,034 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,105 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,140 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,277 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,414 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,434 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,472 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,488 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,506 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,522 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,616 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,702 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,730 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:22,982 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,436 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,457 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,481 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,586 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,608 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,633 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,687 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,943 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:23,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,050 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,096 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,112 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,188 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,348 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,366 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,384 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,492 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,538 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,732 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,742 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:24,916 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,149 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,174 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,194 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,291 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,436 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,551 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,647 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,669 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,691 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,736 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,904 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,927 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,948 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,974 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:25,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,140 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,246 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,262 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,283 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,326 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,448 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,515 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,706 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:26,978 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,001 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,159 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,222 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,349 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,371 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,391 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,438 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,461 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,484 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,563 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,616 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,637 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,713 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,876 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,944 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:27,964 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,113 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,132 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,150 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,263 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,280 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,549 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,562 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,573 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:28,874 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,025 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,248 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,270 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,349 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,502 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,597 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,740 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,760 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,811 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,829 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,875 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:29,966 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,085 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,145 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,303 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,373 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,424 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,444 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,685 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,706 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,726 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,810 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,910 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,926 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,942 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,981 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:30,996 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,280 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,299 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,324 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,617 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,642 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,669 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,802 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,896 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:31,992 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,085 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,142 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,165 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,189 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,215 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,295 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,361 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,381 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,437 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,530 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,553 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,663 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,688 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,759 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,842 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,863 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,885 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:32,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,128 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,234 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,274 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,288 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,528 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,549 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,597 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,619 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,700 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,837 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,863 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,884 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:33,907 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,100 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,215 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,236 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,258 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,281 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,379 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,535 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,593 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,728 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:34,999 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,050 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,070 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,088 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,134 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,152 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,171 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,218 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,263 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,277 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,296 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,334 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,382 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,401 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,572 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,598 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,693 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,714 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,739 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,852 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:35,874 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,000 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,090 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,257 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,280 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,305 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,329 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,352 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,531 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,634 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,675 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,726 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,745 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,763 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,942 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,981 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:36,999 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,017 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,036 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,319 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,368 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,382 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,446 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,457 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,483 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,792 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:37,970 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,093 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,119 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,144 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,233 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,349 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,413 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,519 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,545 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,731 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,756 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,829 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,875 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,928 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,951 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:38,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,016 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,088 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,105 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,145 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,194 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,210 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,251 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,265 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,280 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,298 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,310 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,400 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,436 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,510 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,606 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,642 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,864 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:39,899 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,153 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,178 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,234 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,258 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,321 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,346 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,397 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,423 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,588 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,612 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,661 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,685 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,818 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,842 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:40,878 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,012 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,135 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,175 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,193 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,216 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,236 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,333 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,425 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,515 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,533 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,557 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,602 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,772 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,892 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:41,983 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,000 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,016 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,128 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,385 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,574 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:42,883 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,049 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,075 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,164 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,190 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,301 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,444 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,470 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,555 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,582 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,608 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,632 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,705 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,884 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:43,934 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,565 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,585 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,754 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,774 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,813 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,867 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,888 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,933 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,960 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:44,983 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,002 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,057 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,077 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,166 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,204 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,223 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,240 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,257 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,421 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,437 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,482 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,497 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:45,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,034 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,060 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,083 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,145 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,197 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,483 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,540 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,565 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,616 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,711 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,798 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,822 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,935 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:46,958 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,283 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,303 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,360 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,557 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,579 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,603 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,626 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,648 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,696 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,717 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,809 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,831 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,851 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,924 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:47,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,068 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,090 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,113 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,134 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,155 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,294 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,477 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,634 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,684 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:48,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,051 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,081 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,106 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,136 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,206 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,418 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,446 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,532 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,713 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,785 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:49,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,007 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,196 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,226 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,251 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,275 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,341 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,368 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,520 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,647 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,675 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,732 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:50,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,260 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,277 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,378 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,460 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,478 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,496 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,516 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,563 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,583 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,706 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,725 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,806 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:51,998 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,031 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,045 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,342 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,369 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,484 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,540 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,624 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,709 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,738 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,804 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:52,926 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,037 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,094 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,117 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,316 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,396 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,457 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,546 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,805 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,825 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,844 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,865 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:53,918 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,125 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,143 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,163 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,354 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,494 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,639 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,658 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,675 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,775 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,791 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,807 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,821 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:54,836 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,026 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,039 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,074 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,105 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,113 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,321 WARN L192 SmtUtils]: Spent 107.00 ms on a formula simplification. DAG size of input: 278 DAG size of output: 277 [2019-11-24 09:56:55,342 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,561 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:55,892 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,049 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,103 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,157 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,191 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,227 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,333 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,612 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,636 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,793 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,819 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:56,979 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,047 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,141 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,169 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,224 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,254 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,348 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,415 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,512 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,539 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,596 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,756 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,782 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:57,859 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,040 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,068 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,287 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,312 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,502 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,526 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,591 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,614 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,691 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,714 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,739 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:58,987 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,077 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,097 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,114 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,132 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,148 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,165 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,352 WARN L192 SmtUtils]: Spent 113.00 ms on a formula simplification. DAG size of input: 295 DAG size of output: 291 [2019-11-24 09:56:59,510 WARN L192 SmtUtils]: Spent 147.00 ms on a formula simplification. DAG size of input: 292 DAG size of output: 289 [2019-11-24 09:56:59,587 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,667 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,692 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,749 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,773 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,802 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:56:59,872 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,133 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,160 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,311 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,458 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,485 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,554 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,722 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,754 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,783 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,817 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,847 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:00,941 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,089 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,244 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,349 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,378 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,409 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,438 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,473 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,493 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,547 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,569 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,631 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,706 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,790 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,814 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,916 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:01,944 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:02,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:02,794 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:02,822 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:02,920 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:02,977 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,096 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,119 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,142 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,346 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,423 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,441 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,459 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,752 WARN L192 SmtUtils]: Spent 176.00 ms on a formula simplification that was a NOOP. DAG size: 293 [2019-11-24 09:57:03,875 WARN L192 SmtUtils]: Spent 112.00 ms on a formula simplification. DAG size of input: 294 DAG size of output: 292 [2019-11-24 09:57:03,933 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:03,962 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,355 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,660 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,688 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,750 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,943 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:04,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,020 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,115 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,139 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,164 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,384 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,466 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,491 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,516 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,691 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,718 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,741 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,951 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:05,974 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,023 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,082 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,141 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,208 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,296 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,413 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,470 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,522 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,551 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,640 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,720 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,741 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,881 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,906 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:06,956 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,087 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,111 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,136 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,160 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,233 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,290 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,297 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,527 WARN L192 SmtUtils]: Spent 102.00 ms on a formula simplification. DAG size of input: 295 DAG size of output: 295 [2019-11-24 09:57:07,651 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,676 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,806 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,833 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,895 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:07,921 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,006 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,035 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,093 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,182 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,414 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,481 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,507 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,680 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,905 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:08,969 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,040 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,072 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,138 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,249 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,431 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,456 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,538 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,682 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,889 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,941 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:09,964 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,026 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,048 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,103 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,126 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,250 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,272 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,408 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,555 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,715 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,735 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,756 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,776 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,817 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,837 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,891 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,913 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,933 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:10,976 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:11,043 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:11,286 WARN L192 SmtUtils]: Spent 107.00 ms on a formula simplification. DAG size of input: 300 DAG size of output: 297 [2019-11-24 09:57:11,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:11,454 WARN L192 SmtUtils]: Spent 109.00 ms on a formula simplification that was a NOOP. DAG size: 298 [2019-11-24 09:57:11,582 WARN L192 SmtUtils]: Spent 125.00 ms on a formula simplification. DAG size of input: 299 DAG size of output: 297 [2019-11-24 09:57:11,604 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:11,891 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:11,996 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,062 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,090 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,117 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,211 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,309 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,420 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,490 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,517 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,544 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,743 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,853 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,916 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:12,940 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,044 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,125 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,148 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,352 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,443 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,467 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,492 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,517 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,851 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,873 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,898 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,923 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:13,947 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,093 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,195 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,373 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,395 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,454 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,559 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,579 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,602 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,625 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,647 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,693 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,888 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:14,967 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,065 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,086 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,276 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,361 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,432 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,449 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,494 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,532 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:15,676 WARN L192 SmtUtils]: Spent 108.00 ms on a formula simplification that was a NOOP. DAG size: 304 [2019-11-24 09:57:15,831 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,276 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,304 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,438 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,466 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,540 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,610 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,640 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:16,768 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,020 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,049 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,120 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,148 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,264 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,489 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,519 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,547 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,611 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,719 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,780 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,812 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,845 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:17,968 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,094 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,136 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,162 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,214 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,240 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,265 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,290 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,351 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,377 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,470 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,495 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,520 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,543 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,609 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,635 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,713 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,832 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,904 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:18,968 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,357 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,375 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,508 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,560 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,671 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,690 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,711 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:19,725 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,034 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,070 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,252 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,330 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,482 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,510 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,566 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,667 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,694 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,750 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,777 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:20,806 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,026 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,053 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,152 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,217 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,246 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,430 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,458 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,520 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,546 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,605 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,636 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,740 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:21,772 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,029 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,061 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,131 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,196 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,230 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,299 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,503 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,575 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,607 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,640 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,673 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,703 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,732 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,803 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,832 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,858 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,887 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:22,915 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,140 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,403 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,421 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,662 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,738 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,804 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,861 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,878 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,937 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,952 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:23,963 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,207 WARN L192 SmtUtils]: Spent 102.00 ms on a formula simplification. DAG size of input: 313 DAG size of output: 312 [2019-11-24 09:57:24,268 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,295 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,324 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,352 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,380 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,594 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,623 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,654 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,765 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,867 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:24,897 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,006 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,137 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,303 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,334 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,510 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,556 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,604 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,629 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,783 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:25,864 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,007 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,098 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,192 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,291 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,315 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,442 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,617 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,638 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,661 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,751 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,863 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,909 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,931 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:26,989 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,069 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,120 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,194 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,211 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,286 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,305 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,357 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,378 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,418 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,460 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,481 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,533 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,748 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,825 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,911 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:27,925 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:28,057 WARN L192 SmtUtils]: Spent 108.00 ms on a formula simplification. DAG size of input: 321 DAG size of output: 318 [2019-11-24 09:57:28,192 WARN L192 SmtUtils]: Spent 127.00 ms on a formula simplification. DAG size of input: 319 DAG size of output: 314 [2019-11-24 09:57:28,221 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:28,333 WARN L192 SmtUtils]: Spent 100.00 ms on a formula simplification that was a NOOP. DAG size: 316 [2019-11-24 09:57:28,441 WARN L192 SmtUtils]: Spent 107.00 ms on a formula simplification. DAG size of input: 317 DAG size of output: 316 [2019-11-24 09:57:28,460 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:28,579 WARN L192 SmtUtils]: Spent 104.00 ms on a formula simplification that was a NOOP. DAG size: 319 [2019-11-24 09:57:28,690 WARN L192 SmtUtils]: Spent 109.00 ms on a formula simplification. DAG size of input: 320 DAG size of output: 319 [2019-11-24 09:57:28,720 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:28,832 WARN L192 SmtUtils]: Spent 102.00 ms on a formula simplification that was a NOOP. DAG size: 322 [2019-11-24 09:57:28,949 WARN L192 SmtUtils]: Spent 115.00 ms on a formula simplification. DAG size of input: 323 DAG size of output: 323 [2019-11-24 09:57:29,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,050 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,081 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,223 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,299 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,334 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,362 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,491 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,571 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,606 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,639 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,812 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,845 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:29,923 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,168 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,203 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,305 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,531 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,602 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,634 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,745 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,841 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:30,904 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,028 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,160 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,302 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,335 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,554 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,576 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,599 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,676 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,776 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,797 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,890 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,911 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:31,994 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,015 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,108 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,131 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,152 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,234 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,256 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,277 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,452 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,472 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,492 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,595 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,613 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,630 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,683 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,701 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,743 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,816 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,835 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,876 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,957 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:32,975 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:33,132 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:33,279 WARN L192 SmtUtils]: Spent 109.00 ms on a formula simplification that was a NOOP. DAG size: 327 [2019-11-24 09:57:33,411 WARN L192 SmtUtils]: Spent 123.00 ms on a formula simplification. DAG size of input: 328 DAG size of output: 328 [2019-11-24 09:57:34,013 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,120 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,324 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,462 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,534 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,564 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,598 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,624 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,727 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,758 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,788 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,820 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,850 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,920 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:34,965 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,265 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,454 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,513 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,657 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,766 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:35,824 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,035 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,071 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,143 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,174 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,252 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,359 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,460 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,494 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,523 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,619 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,650 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,712 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,786 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,818 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,849 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,880 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:36,985 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,167 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,196 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,306 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,528 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,681 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,708 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,792 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,856 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:37,998 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,014 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,057 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,089 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,116 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,183 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,200 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,279 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,317 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,359 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,372 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,386 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,448 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,599 WARN L192 SmtUtils]: Spent 129.00 ms on a formula simplification. DAG size of input: 339 DAG size of output: 337 [2019-11-24 09:57:38,745 WARN L192 SmtUtils]: Spent 132.00 ms on a formula simplification. DAG size of input: 338 DAG size of output: 327 [2019-11-24 09:57:38,771 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:38,978 WARN L192 SmtUtils]: Spent 104.00 ms on a formula simplification. DAG size of input: 326 DAG size of output: 326 [2019-11-24 09:57:39,158 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:39,300 WARN L227 Elim1Store]: Array PQE input equivalent to false [2019-11-24 09:57:39,332 WARN L227 Elim1Store]: Array PQE input equivalent to false