java -Xss4m -Xmx6000000000 -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf -i ../../../trunk/examples/svcomp/eca-rers2012/Problem08_label08_true-unreach-call.c
--------------------------------------------------------------------------------
This is Ultimate 0.1.23-71425fa
[2018-07-21 12:56:39,513 INFO L170 SettingsManager]: Resetting all preferences to default values...
[2018-07-21 12:56:39,528 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values
[2018-07-21 12:56:39,543 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2018-07-21 12:56:39,543 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2018-07-21 12:56:39,544 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2018-07-21 12:56:39,545 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2018-07-21 12:56:39,547 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values
[2018-07-21 12:56:39,548 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values
[2018-07-21 12:56:39,549 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values
[2018-07-21 12:56:39,550 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2018-07-21 12:56:39,550 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values
[2018-07-21 12:56:39,551 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values
[2018-07-21 12:56:39,553 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2018-07-21 12:56:39,555 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values
[2018-07-21 12:56:39,556 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2018-07-21 12:56:39,557 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2018-07-21 12:56:39,558 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2018-07-21 12:56:39,560 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values
[2018-07-21 12:56:39,562 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2018-07-21 12:56:39,563 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values
[2018-07-21 12:56:39,564 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values
[2018-07-21 12:56:39,566 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2018-07-21 12:56:39,567 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2018-07-21 12:56:39,567 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values
[2018-07-21 12:56:39,568 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values
[2018-07-21 12:56:39,569 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values
[2018-07-21 12:56:39,570 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values
[2018-07-21 12:56:39,570 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values
[2018-07-21 12:56:39,572 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2018-07-21 12:56:39,572 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values
[2018-07-21 12:56:39,573 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2018-07-21 12:56:39,573 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring...
[2018-07-21 12:56:39,573 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values
[2018-07-21 12:56:39,574 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values
[2018-07-21 12:56:39,575 INFO L181 SettingsManager]: Finished resetting all preferences to default values...
[2018-07-21 12:56:39,575 INFO L98 SettingsManager]: Beginning loading settings from /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf
[2018-07-21 12:56:39,618 INFO L110 SettingsManager]: Loading preferences was successful
[2018-07-21 12:56:39,618 INFO L112 SettingsManager]: Preferences different from defaults after loading the file:
[2018-07-21 12:56:39,619 INFO L131 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2018-07-21 12:56:39,619 INFO L133 SettingsManager]: * User list type=DISABLED
[2018-07-21 12:56:39,620 INFO L133 SettingsManager]: * calls to implemented procedures=false
[2018-07-21 12:56:39,620 INFO L131 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults:
[2018-07-21 12:56:39,620 INFO L133 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain
[2018-07-21 12:56:39,621 INFO L133 SettingsManager]: * Abstract domain=CompoundDomain
[2018-07-21 12:56:39,621 INFO L133 SettingsManager]: * Log string format=TERM
[2018-07-21 12:56:39,621 INFO L133 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true
[2018-07-21 12:56:39,621 INFO L133 SettingsManager]: * Use the RCFG-of-the-future interface=true
[2018-07-21 12:56:39,621 INFO L133 SettingsManager]: * Interval Domain=false
[2018-07-21 12:56:39,622 INFO L131 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2018-07-21 12:56:39,622 INFO L133 SettingsManager]: * Overapproximate operations on floating types=true
[2018-07-21 12:56:39,622 INFO L133 SettingsManager]: * Check division by zero=IGNORE
[2018-07-21 12:56:39,623 INFO L133 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE
[2018-07-21 12:56:39,623 INFO L133 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE
[2018-07-21 12:56:39,623 INFO L133 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE
[2018-07-21 12:56:39,623 INFO L133 SettingsManager]: * Check if freed pointer was valid=false
[2018-07-21 12:56:39,623 INFO L133 SettingsManager]: * Pointer base address is valid at dereference=IGNORE
[2018-07-21 12:56:39,624 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2018-07-21 12:56:39,624 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements
[2018-07-21 12:56:39,624 INFO L133 SettingsManager]: * To the following directory=./dump/
[2018-07-21 12:56:39,624 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode
[2018-07-21 12:56:39,624 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2018-07-21 12:56:39,624 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2018-07-21 12:56:39,625 INFO L133 SettingsManager]: * Interpolant automaton=TWOTRACK
[2018-07-21 12:56:39,625 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP
[2018-07-21 12:56:39,625 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2018-07-21 12:56:39,625 INFO L133 SettingsManager]: * Trace refinement strategy=TAIPAN
[2018-07-21 12:56:39,625 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode
[2018-07-21 12:56:39,626 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2018-07-21 12:56:39,626 INFO L133 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2018-07-21 12:56:39,626 INFO L133 SettingsManager]: * To the following directory=dump/
[2018-07-21 12:56:39,626 INFO L133 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES
[2018-07-21 12:56:39,679 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp
[2018-07-21 12:56:39,782 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2018-07-21 12:56:39,785 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2018-07-21 12:56:39,786 INFO L271 PluginConnector]: Initializing CDTParser...
[2018-07-21 12:56:39,786 INFO L276 PluginConnector]: CDTParser initialized
[2018-07-21 12:56:39,787 INFO L418 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/eca-rers2012/Problem08_label08_true-unreach-call.c
[2018-07-21 12:56:40,697 INFO L220 CDTParser]: Created temporary CDT project at /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/b6023798f/e0316c1179af4ed9b238d08c9490d990/FLAGd89bcecb5
[2018-07-21 12:56:44,750 INFO L276 CDTParser]: Found 1 translation units.
[2018-07-21 12:56:44,751 INFO L158 CDTParser]: Scanning /storage/ultimate/trunk/examples/svcomp/eca-rers2012/Problem08_label08_true-unreach-call.c
[2018-07-21 12:56:44,982 INFO L324 CDTParser]: About to delete temporary CDT project at /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/b6023798f/e0316c1179af4ed9b238d08c9490d990/FLAGd89bcecb5
[2018-07-21 12:56:45,075 INFO L332 CDTParser]: Successfully deleted /storage/ultimate/releaseScripts/default/UAutomizer-linux/data/b6023798f/e0316c1179af4ed9b238d08c9490d990
[2018-07-21 12:56:45,085 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2018-07-21 12:56:47,364 INFO L131 ToolchainWalker]: Walking toolchain with 5 elements.
[2018-07-21 12:56:47,366 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2018-07-21 12:56:47,367 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator...
[2018-07-21 12:56:47,395 INFO L276 PluginConnector]: CACSL2BoogieTranslator initialized
[2018-07-21 12:56:47,396 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.07 12:56:45" (1/1) ...
[2018-07-21 12:56:47,400 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@129a9d61 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:56:47, skipping insertion in model container
[2018-07-21 12:56:47,400 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 21.07 12:56:45" (1/1) ...
[2018-07-21 12:56:49,821 INFO L179 PRDispatcher]: Starting pre-run dispatcher in SV-COMP mode
[2018-07-21 12:57:10,837 INFO L175 PostProcessor]: Settings: Checked method=main
[2018-07-21 12:57:10,853 INFO L422 MainDispatcher]: Starting main dispatcher in SV-COMP mode
[2018-07-21 12:57:30,706 INFO L175 PostProcessor]: Settings: Checked method=main
[2018-07-21 12:57:38,239 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38 WrapperNode
[2018-07-21 12:57:38,240 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2018-07-21 12:57:38,254 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2018-07-21 12:57:38,254 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner...
[2018-07-21 12:57:38,254 INFO L276 PluginConnector]: Boogie Procedure Inliner initialized
[2018-07-21 12:57:38,260 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:38,809 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:38,885 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2018-07-21 12:57:38,885 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2018-07-21 12:57:38,885 INFO L271 PluginConnector]: Initializing Boogie Preprocessor...
[2018-07-21 12:57:38,885 INFO L276 PluginConnector]: Boogie Preprocessor initialized
[2018-07-21 12:57:38,896 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:38,896 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:39,312 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:39,312 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:52,116 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:52,616 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:53,079 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
[2018-07-21 12:57:53,640 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2018-07-21 12:57:53,641 INFO L113 PluginConnector]: ------------------------RCFGBuilder----------------------------
[2018-07-21 12:57:53,641 INFO L271 PluginConnector]: Initializing RCFGBuilder...
[2018-07-21 12:57:53,641 INFO L276 PluginConnector]: RCFGBuilder initialized
[2018-07-21 12:57:53,642 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 21.07 12:57:38" (1/1) ...
No working directory specified, using /storage/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
[2018-07-21 12:57:53,876 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output12
[2018-07-21 12:57:53,876 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output12
[2018-07-21 12:57:53,876 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output56
[2018-07-21 12:57:53,876 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output56
[2018-07-21 12:57:53,877 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output13
[2018-07-21 12:57:53,877 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output13
[2018-07-21 12:57:53,877 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output57
[2018-07-21 12:57:53,877 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output57
[2018-07-21 12:57:53,877 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output14
[2018-07-21 12:57:53,877 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output14
[2018-07-21 12:57:53,877 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output58
[2018-07-21 12:57:53,878 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output58
[2018-07-21 12:57:53,878 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output15
[2018-07-21 12:57:53,878 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output15
[2018-07-21 12:57:53,878 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output59
[2018-07-21 12:57:53,878 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output59
[2018-07-21 12:57:53,878 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output52
[2018-07-21 12:57:53,878 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output52
[2018-07-21 12:57:53,879 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output53
[2018-07-21 12:57:53,879 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output53
[2018-07-21 12:57:53,879 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output10
[2018-07-21 12:57:53,880 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output10
[2018-07-21 12:57:53,880 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output54
[2018-07-21 12:57:53,880 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output54
[2018-07-21 12:57:53,880 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output11
[2018-07-21 12:57:53,880 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output11
[2018-07-21 12:57:53,880 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output55
[2018-07-21 12:57:53,880 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output55
[2018-07-21 12:57:53,881 INFO L130 BoogieDeclarations]: Found specification of procedure main
[2018-07-21 12:57:53,881 INFO L138 BoogieDeclarations]: Found implementation of procedure main
[2018-07-21 12:57:53,881 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output50
[2018-07-21 12:57:53,881 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output50
[2018-07-21 12:57:53,881 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output51
[2018-07-21 12:57:53,881 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output51
[2018-07-21 12:57:53,881 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output6
[2018-07-21 12:57:53,882 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output6
[2018-07-21 12:57:53,882 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output5
[2018-07-21 12:57:53,882 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output5
[2018-07-21 12:57:53,882 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output4
[2018-07-21 12:57:53,882 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output4
[2018-07-21 12:57:53,882 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output3
[2018-07-21 12:57:53,883 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output3
[2018-07-21 12:57:53,884 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output9
[2018-07-21 12:57:53,884 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output9
[2018-07-21 12:57:53,885 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output8
[2018-07-21 12:57:53,885 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output8
[2018-07-21 12:57:53,885 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output7
[2018-07-21 12:57:53,885 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output7
[2018-07-21 12:57:53,885 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output2
[2018-07-21 12:57:53,885 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output2
[2018-07-21 12:57:53,885 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output49
[2018-07-21 12:57:53,886 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output49
[2018-07-21 12:57:53,886 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output23
[2018-07-21 12:57:53,886 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output23
[2018-07-21 12:57:53,886 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output67
[2018-07-21 12:57:53,886 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output67
[2018-07-21 12:57:53,886 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output24
[2018-07-21 12:57:53,886 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output24
[2018-07-21 12:57:53,887 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output68
[2018-07-21 12:57:53,887 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output68
[2018-07-21 12:57:53,887 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output25
[2018-07-21 12:57:53,887 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output25
[2018-07-21 12:57:53,887 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output69
[2018-07-21 12:57:53,887 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output69
[2018-07-21 12:57:53,887 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output26
[2018-07-21 12:57:53,888 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output26
[2018-07-21 12:57:53,890 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output63
[2018-07-21 12:57:53,891 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output63
[2018-07-21 12:57:53,891 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output20
[2018-07-21 12:57:53,891 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output20
[2018-07-21 12:57:53,891 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output64
[2018-07-21 12:57:53,891 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output64
[2018-07-21 12:57:53,891 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output21
[2018-07-21 12:57:53,891 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output21
[2018-07-21 12:57:53,892 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output65
[2018-07-21 12:57:53,892 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output65
[2018-07-21 12:57:53,892 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output22
[2018-07-21 12:57:53,892 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output22
[2018-07-21 12:57:53,892 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output66
[2018-07-21 12:57:53,892 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output66
[2018-07-21 12:57:53,892 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output60
[2018-07-21 12:57:53,893 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output60
[2018-07-21 12:57:53,893 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output61
[2018-07-21 12:57:53,893 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output61
[2018-07-21 12:57:53,893 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output62
[2018-07-21 12:57:53,893 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output62
[2018-07-21 12:57:53,893 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output16
[2018-07-21 12:57:53,893 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output16
[2018-07-21 12:57:53,893 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output
[2018-07-21 12:57:53,894 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output
[2018-07-21 12:57:53,895 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output17
[2018-07-21 12:57:53,895 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output17
[2018-07-21 12:57:53,895 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output18
[2018-07-21 12:57:53,896 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output18
[2018-07-21 12:57:53,896 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output19
[2018-07-21 12:57:53,896 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output19
[2018-07-21 12:57:53,896 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output34
[2018-07-21 12:57:53,896 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output34
[2018-07-21 12:57:53,896 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output78
[2018-07-21 12:57:53,896 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output78
[2018-07-21 12:57:53,896 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output35
[2018-07-21 12:57:53,897 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output35
[2018-07-21 12:57:53,897 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output79
[2018-07-21 12:57:53,897 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output79
[2018-07-21 12:57:53,897 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output36
[2018-07-21 12:57:53,897 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output36
[2018-07-21 12:57:53,897 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output37
[2018-07-21 12:57:53,897 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output37
[2018-07-21 12:57:53,898 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output30
[2018-07-21 12:57:53,898 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output30
[2018-07-21 12:57:53,898 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output74
[2018-07-21 12:57:53,898 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output74
[2018-07-21 12:57:53,898 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output31
[2018-07-21 12:57:53,898 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output31
[2018-07-21 12:57:53,898 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output75
[2018-07-21 12:57:53,899 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output75
[2018-07-21 12:57:53,899 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output32
[2018-07-21 12:57:53,899 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output32
[2018-07-21 12:57:53,899 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output76
[2018-07-21 12:57:53,899 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output76
[2018-07-21 12:57:53,899 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output33
[2018-07-21 12:57:53,899 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output33
[2018-07-21 12:57:53,899 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output77
[2018-07-21 12:57:53,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output77
[2018-07-21 12:57:53,900 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output70
[2018-07-21 12:57:53,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output70
[2018-07-21 12:57:53,900 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output71
[2018-07-21 12:57:53,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output71
[2018-07-21 12:57:53,900 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output72
[2018-07-21 12:57:53,900 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output72
[2018-07-21 12:57:53,901 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output73
[2018-07-21 12:57:53,901 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output73
[2018-07-21 12:57:53,901 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output27
[2018-07-21 12:57:53,901 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output27
[2018-07-21 12:57:53,901 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output28
[2018-07-21 12:57:53,901 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output28
[2018-07-21 12:57:53,901 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output29
[2018-07-21 12:57:53,902 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output29
[2018-07-21 12:57:53,902 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output45
[2018-07-21 12:57:53,902 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output45
[2018-07-21 12:57:53,902 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output46
[2018-07-21 12:57:53,902 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output46
[2018-07-21 12:57:53,902 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output47
[2018-07-21 12:57:53,902 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output47
[2018-07-21 12:57:53,903 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output48
[2018-07-21 12:57:53,903 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output48
[2018-07-21 12:57:53,903 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output41
[2018-07-21 12:57:53,903 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output41
[2018-07-21 12:57:53,903 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output42
[2018-07-21 12:57:53,903 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output42
[2018-07-21 12:57:53,903 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output43
[2018-07-21 12:57:53,903 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output43
[2018-07-21 12:57:53,904 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output44
[2018-07-21 12:57:53,905 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output44
[2018-07-21 12:57:53,905 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output81
[2018-07-21 12:57:53,905 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output81
[2018-07-21 12:57:53,906 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output82
[2018-07-21 12:57:53,906 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output82
[2018-07-21 12:57:53,906 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output40
[2018-07-21 12:57:53,906 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output40
[2018-07-21 12:57:53,906 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output80
[2018-07-21 12:57:53,906 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output80
[2018-07-21 12:57:53,906 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init
[2018-07-21 12:57:53,906 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init
[2018-07-21 12:57:53,907 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2018-07-21 12:57:53,907 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2018-07-21 12:57:53,907 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output38
[2018-07-21 12:57:53,907 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output38
[2018-07-21 12:57:53,907 INFO L130 BoogieDeclarations]: Found specification of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output39
[2018-07-21 12:57:53,907 INFO L138 BoogieDeclarations]: Found implementation of procedure __U_MULTI_f_storage_ultimate_trunk_examples_svcomp_eca_rers_____Problem___label___true_unreach_call_c__calculate_output39
Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x00000007bb800000, 32505856, 0) failed; error='Cannot allocate memory' (errno=12)
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 32505856 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /storage/ultimate/releaseScripts/default/UAutomizer-linux/hs_err_pid14389.log
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 32505856 bytes for committing reserved memory.
# Possible reasons:
# The system is out of physical RAM or swap space
# In 32 bit mode, the process size limit was hit
# Possible solutions:
# Reduce memory load on the system
# Increase physical memory or swap space
# Check if swap backing store is full
# Use 64 bit Java on a 64 bit OS
# Decrease Java heap size (-Xmx/-Xms)
# Decrease number of Java threads
# Decrease Java thread stack sizes (-Xss)
# Set larger code cache with -XX:ReservedCodeCacheSize=
# This output file may be truncated or incomplete.
#
# Out of Memory Error (os_linux.cpp:2640), pid=14389, tid=0x00007f25a2226700
#
# JRE version: Java(TM) SE Runtime Environment (8.0_144-b01) (build 1.8.0_144-b01)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode linux-amd64 compressed oops)
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
--------------- T H R E A D ---------------
Current thread (0x00007f25b40fa800): VMThread [stack: 0x00007f25a2126000,0x00007f25a2227000] [id=14424]
Stack: [0x00007f25a2126000,0x00007f25a2227000], sp=0x00007f25a2224f90, free space=1019k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0xacb18a] VMError::report_and_die()+0x2ba
V [libjvm.so+0x4ff4db] report_vm_out_of_memory(char const*, int, unsigned long, VMErrorType, char const*)+0x8b
V [libjvm.so+0x927d23] os::Linux::commit_memory_impl(char*, unsigned long, bool)+0x103
V [libjvm.so+0x928279] os::pd_commit_memory(char*, unsigned long, unsigned long, bool)+0x29
V [libjvm.so+0x92249a] os::commit_memory(char*, unsigned long, unsigned long, bool)+0x2a
V [libjvm.so+0x996ff3] PSVirtualSpace::expand_by(unsigned long)+0x53
V [libjvm.so+0x9983f8] PSYoungGen::resize_generation(unsigned long, unsigned long)+0xf8
V [libjvm.so+0x997552] PSYoungGen::resize(unsigned long, unsigned long)+0x22
V [libjvm.so+0x99482b] PSScavenge::invoke_no_policy()+0xf3b
V [libjvm.so+0x994fb1] PSScavenge::invoke()+0x41
V [libjvm.so+0x94bce0] ParallelScavengeHeap::failed_mem_allocate(unsigned long)+0x70
V [libjvm.so+0xaccba7] VM_ParallelGCFailedAllocation::doit()+0x97
V [libjvm.so+0xad4685] VM_Operation::evaluate()+0x55
V [libjvm.so+0xad2a5a] VMThread::evaluate_operation(VM_Operation*)+0xba
V [libjvm.so+0xad2dde] VMThread::loop()+0x1ce
V [libjvm.so+0xad3250] VMThread::run()+0x70
V [libjvm.so+0x92a338] java_start(Thread*)+0x108
VM_Operation (0x00007f259adfb740): ParallelGCFailedAllocation, mode: safepoint, requested by thread 0x00007f2558006000
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007f254c2f8800 JavaThread "ToolchainTimeout watcher for 1" daemon [_thread_blocked, id=14667, stack(0x00007f258891f000,0x00007f2588d20000)]
0x00007f25580a9800 JavaThread "MonitoredProcess 1 StreamBuffer stdErr" daemon [_thread_in_native, id=14666, stack(0x00007f2598097000,0x00007f2598498000)]
0x00007f2558006000 JavaThread "MonitoredProcess 1 StreamBuffer stdIn" daemon [_thread_blocked, id=14665, stack(0x00007f259a9fc000,0x00007f259adfd000)]
0x00007f254c2f7800 JavaThread "MonitoredProcess 1 z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000" daemon [_thread_blocked, id=14664, stack(0x00007f25997de000,0x00007f2599bdf000)]
0x00007f254c2f6000 JavaThread "process reaper" daemon [_thread_in_native, id=14663, stack(0x00007f2598498000,0x00007f25984d1000)]
0x00007f2550004000 JavaThread "Worker-4" daemon [_thread_blocked, id=14630, stack(0x00007f2598cda000,0x00007f25990db000)]
0x00007f2550001000 JavaThread "Worker-3" daemon [_thread_blocked, id=14628, stack(0x00007f25990db000,0x00007f25994dc000)]
0x00007f2558001000 JavaThread "Worker-1" daemon [_thread_blocked, id=14624, stack(0x00007f259a1fb000,0x00007f259a5fc000)]
0x00007f2560070800 JavaThread "Worker-JM" daemon [_thread_blocked, id=14621, stack(0x00007f259b3fd000,0x00007f259b7fe000)]
0x00007f25b43af000 JavaThread "Start Level: Equinox Container: 00ad2cbc-d48c-0018-1db2-bc79d433e0d3" daemon [_thread_blocked, id=14619, stack(0x00007f259b7fe000,0x00007f259bbff000)]
0x00007f25b43aa800 JavaThread "Framework Event Dispatcher: Equinox Container: 00ad2cbc-d48c-0018-1db2-bc79d433e0d3" daemon [_thread_blocked, id=14618, stack(0x00007f259bbff000,0x00007f259c000000)]
0x00007f25b438d000 JavaThread "Active Thread: Equinox Container: 00ad2cbc-d48c-0018-1db2-bc79d433e0d3" [_thread_blocked, id=14617, stack(0x00007f25a0206000,0x00007f25a0607000)]
0x00007f25b415b800 JavaThread "Service Thread" daemon [_thread_blocked, id=14578, stack(0x00007f25a0b30000,0x00007f25a0f31000)]
0x00007f25b413e800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=14575, stack(0x00007f25a0f31000,0x00007f25a1032000)]
0x00007f25b413b800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=14574, stack(0x00007f25a1032000,0x00007f25a1133000)]
0x00007f25b413a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=14458, stack(0x00007f25a1133000,0x00007f25a1534000)]
0x00007f25b4107000 JavaThread "Finalizer" daemon [_thread_blocked, id=14433, stack(0x00007f25a1924000,0x00007f25a1d25000)]
0x00007f25b4102800 JavaThread "Reference Handler" daemon [_thread_blocked, id=14430, stack(0x00007f25a1d25000,0x00007f25a2126000)]
0x00007f25b400a000 JavaThread "main" [_thread_blocked, id=14401, stack(0x00007f25b9a3d000,0x00007f25b9e3e000)]
Other Threads:
=>0x00007f25b40fa800 VMThread [stack: 0x00007f25a2126000,0x00007f25a2227000] [id=14424]
0x00007f25b415e000 WatcherThread [stack: 0x00007f25a0a2f000,0x00007f25a0b30000] [id=14579]
VM state:at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event])
[0x00007f25b40061c0] Threads_lock - owner thread: 0x00007f25b40fa800
[0x00007f25b40066c0] Heap_lock - owner thread: 0x00007f2558006000
Heap:
PSYoungGen total 1415168K, used 239680K [0x0000000748c00000, 0x00000007bb800000, 0x00000007c0000000)
eden space 964608K, 0% used [0x0000000748c00000,0x0000000748c00000,0x0000000783a00000)
from space 450560K, 53% used [0x0000000783a00000,0x0000000792410020,0x000000079f200000)
to space 464896K, 0% used [0x000000079f200000,0x000000079f200000,0x00000007bb800000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34845K, capacity 37874K, committed 38144K, reserved 1083392K
class space used 3946K, capacity 4767K, committed 4864K, reserved 1048576K
Card table byte_map: [0x00007f25a44d1000,0x00007f25a5000000] byte_map_base: 0x00007f25a11ff000
Marking Bits: (ParMarkBitMap*) 0x00007f25bb11edc0
Begin Bits: [0x00007f2588d20000, 0x00007f258e690000)
End Bits: [0x00007f258e690000, 0x00007f2594000000)
Polling page: 0x00007f25bbd57000
CodeCache: size=245760Kb used=14478Kb max_used=17200Kb free=231281Kb
bounds [0x00007f25a5000000, 0x00007f25a60f0000, 0x00007f25b4000000]
total_blobs=4237 nmethods=3750 adapters=400
compilation: enabled
Compilation events (10 events):
Event: 157.671 Thread 0x00007f25b413b800 5141 4 de.uni_freiburg.informatik.ultimate.modelcheckerutils.boogie.Statements2TransFormula::getOrConstuctCurrentRepresentative (42 bytes)
Event: 157.692 Thread 0x00007f25b413b800 nmethod 5141 0x00007f25a5bd8610 code [0x00007f25a5bd8880, 0x00007f25a5bd9648]
Event: 164.516 Thread 0x00007f25b413b800 5142 4 de.uni_freiburg.informatik.ultimate.logic.Rational::equals (65 bytes)
Event: 164.635 Thread 0x00007f25b413b800 nmethod 5142 0x00007f25a5312d50 code [0x00007f25a5312ea0, 0x00007f25a5312fb8]
Event: 165.309 Thread 0x00007f25b413b800 5143 4 org.eclipse.cdt.internal.core.dom.parser.ASTNode::getFileLocation (103 bytes)
Event: 165.314 Thread 0x00007f25b413b800 nmethod 5143 0x00007f25a5e86610 code [0x00007f25a5e867c0, 0x00007f25a5e86bf8]
Event: 165.448 Thread 0x00007f25b413e800 5145 1 de.uni_freiburg.informatik.ultimate.boogie.ast.BooleanLiteral::getValue (5 bytes)
Event: 165.448 Thread 0x00007f25b413e800 nmethod 5145 0x00007f25a5b31b10 code [0x00007f25a5b31c60, 0x00007f25a5b31d70]
Event: 165.613 Thread 0x00007f25b413e800 5146 3 de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder.cfg.CfgBuilder$ProcedureCfgBuilder::buildProcedureCfgFromImplementation (1286 bytes)
Event: 165.621 Thread 0x00007f25b413e800 nmethod 5146 0x00007f25a5ba7550 code [0x00007f25a5ba8020, 0x00007f25a5bb0828]
GC Heap History (10 events):
Event: 152.224 GC heap after
Heap after GC invocations=46 (full 6):
PSYoungGen total 1426432K, used 100160K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000)
eden space 897024K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000077f800000)
from space 529408K, 18% used [0x000000079fb00000,0x00000007a5cd0020,0x00000007c0000000)
to space 527360K, 0% used [0x000000077f800000,0x000000077f800000,0x000000079fb00000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34837K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
}
Event: 154.573 GC heap before
{Heap before GC invocations=47 (full 6):
PSYoungGen total 1426432K, used 997184K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000)
eden space 897024K, 100% used [0x0000000748c00000,0x000000077f800000,0x000000077f800000)
from space 529408K, 18% used [0x000000079fb00000,0x00000007a5cd0020,0x00000007c0000000)
to space 527360K, 0% used [0x000000077f800000,0x000000077f800000,0x000000079fb00000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34838K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
Event: 154.843 GC heap after
Heap after GC invocations=47 (full 6):
PSYoungGen total 1026048K, used 128896K [0x0000000748c00000, 0x00000007be800000, 0x00000007c0000000)
eden space 897024K, 0% used [0x0000000748c00000,0x0000000748c00000,0x000000077f800000)
from space 129024K, 99% used [0x000000077f800000,0x00000007875e0020,0x0000000787600000)
to space 516096K, 0% used [0x000000079f000000,0x000000079f000000,0x00000007be800000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34838K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
}
Event: 157.220 GC heap before
{Heap before GC invocations=48 (full 6):
PSYoungGen total 1026048K, used 1025920K [0x0000000748c00000, 0x00000007be800000, 0x00000007c0000000)
eden space 897024K, 100% used [0x0000000748c00000,0x000000077f800000,0x000000077f800000)
from space 129024K, 99% used [0x000000077f800000,0x00000007875e0020,0x0000000787600000)
to space 516096K, 0% used [0x000000079f000000,0x000000079f000000,0x00000007be800000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
Event: 157.534 GC heap after
Heap after GC invocations=48 (full 6):
PSYoungGen total 1430528K, used 155872K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000)
eden space 914432K, 0% used [0x0000000748c00000,0x0000000748c00000,0x0000000780900000)
from space 516096K, 30% used [0x000000079f000000,0x00000007a8838020,0x00000007be800000)
to space 498688K, 0% used [0x0000000780900000,0x0000000780900000,0x000000079f000000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
}
Event: 159.991 GC heap before
{Heap before GC invocations=49 (full 6):
PSYoungGen total 1430528K, used 1070304K [0x0000000748c00000, 0x00000007c0000000, 0x00000007c0000000)
eden space 914432K, 100% used [0x0000000748c00000,0x0000000780900000,0x0000000780900000)
from space 516096K, 30% used [0x000000079f000000,0x00000007a8838020,0x00000007be800000)
to space 498688K, 0% used [0x0000000780900000,0x0000000780900000,0x000000079f000000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
Event: 160.353 GC heap after
Heap after GC invocations=49 (full 6):
PSYoungGen total 1413120K, used 183520K [0x0000000748c00000, 0x00000007bc300000, 0x00000007c0000000)
eden space 914432K, 0% used [0x0000000748c00000,0x0000000748c00000,0x0000000780900000)
from space 498688K, 36% used [0x0000000780900000,0x000000078bc38020,0x000000079f000000)
to space 476160K, 0% used [0x000000079f200000,0x000000079f200000,0x00000007bc300000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
}
Event: 162.729 GC heap before
{Heap before GC invocations=50 (full 6):
PSYoungGen total 1413120K, used 1097952K [0x0000000748c00000, 0x00000007bc300000, 0x00000007c0000000)
eden space 914432K, 100% used [0x0000000748c00000,0x0000000780900000,0x0000000780900000)
from space 498688K, 36% used [0x0000000780900000,0x000000078bc38020,0x000000079f000000)
to space 476160K, 0% used [0x000000079f200000,0x000000079f200000,0x00000007bc300000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
Event: 163.137 GC heap after
Heap after GC invocations=50 (full 6):
PSYoungGen total 1429504K, used 210464K [0x0000000748c00000, 0x00000007bb800000, 0x00000007c0000000)
eden space 964608K, 0% used [0x0000000748c00000,0x0000000748c00000,0x0000000783a00000)
from space 464896K, 45% used [0x000000079f200000,0x00000007abf88020,0x00000007bb800000)
to space 450560K, 0% used [0x0000000783a00000,0x0000000783a00000,0x000000079f200000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34839K, capacity 37870K, committed 38144K, reserved 1083392K
class space used 3944K, capacity 4765K, committed 4864K, reserved 1048576K
}
Event: 165.873 GC heap before
{Heap before GC invocations=51 (full 6):
PSYoungGen total 1429504K, used 1175072K [0x0000000748c00000, 0x00000007bb800000, 0x00000007c0000000)
eden space 964608K, 100% used [0x0000000748c00000,0x0000000783a00000,0x0000000783a00000)
from space 464896K, 45% used [0x000000079f200000,0x00000007abf88020,0x00000007bb800000)
to space 450560K, 0% used [0x0000000783a00000,0x0000000783a00000,0x000000079f200000)
ParOldGen total 2714624K, used 1967904K [0x000000065a400000, 0x00000006fff00000, 0x0000000748c00000)
object space 2714624K, 72% used [0x000000065a400000,0x00000006d25c83b8,0x00000006fff00000)
Metaspace used 34845K, capacity 37874K, committed 38144K, reserved 1083392K
class space used 3946K, capacity 4767K, committed 4864K, reserved 1048576K
Deoptimization events (10 events):
Event: 165.308 Thread 0x00007f2558001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f25a5378994 method=org.eclipse.cdt.internal.core.dom.parser.ASTNode.getFileLocation()Lorg/eclipse/cdt/core/dom/ast/IASTFileLocation; @ 13
Event: 165.308 Thread 0x00007f2558001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f25a5378994 method=org.eclipse.cdt.internal.core.dom.parser.ASTNode.getFileLocation()Lorg/eclipse/cdt/core/dom/ast/IASTFileLocation; @ 13
Event: 165.308 Thread 0x00007f2558001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f25a5378994 method=org.eclipse.cdt.internal.core.dom.parser.ASTNode.getFileLocation()Lorg/eclipse/cdt/core/dom/ast/IASTFileLocation; @ 13
Event: 165.309 Thread 0x00007f2558001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a5a1e8a0 method=de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder.cfg.CfgBuilder$ProcedureCfgBuilder.buildProcedureCfgFromImplementation(Ljava/lang/String;)V @ 697
Event: 165.309 Thread 0x00007f2558001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a58b5b38 method=java.util.Arrays.hashCode([Ljava/lang/Object;)I @ 43
Event: 165.310 Thread 0x00007f2558001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f25a6047b58 method=java.util.Collection.stream()Ljava/util/stream/Stream; @ 1
Event: 165.310 Thread 0x00007f2558001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a58b5b38 method=java.util.Arrays.hashCode([Ljava/lang/Object;)I @ 43
Event: 165.311 Thread 0x00007f2558001000 Uncommon trap: reason=bimorphic action=maybe_recompile pc=0x00007f25a604a084 method=java.util.stream.AbstractPipeline.evaluate(Ljava/util/stream/TerminalOp;)Ljava/lang/Object; @ 80
Event: 165.311 Thread 0x00007f2558001000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007f25a6046bf8 method=java.util.stream.AbstractPipeline.sourceSpliterator(I)Ljava/util/Spliterator; @ 248
Event: 165.323 Thread 0x00007f2558001000 Uncommon trap: reason=class_check action=maybe_recompile pc=0x00007f25a5facc94 method=de.uni_freiburg.informatik.ultimate.smtsolver.external.Parser$Action$.CUP$do_action(ILjava/util/ArrayList;)Lcom/github/jhoenicke/javacup/runtime/Symbol; @ 589
Internal exceptions (10 events):
Event: 5.014 Thread 0x00007f25b400a000 Exception (0x0000000749995370) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/classfile/systemDictionary.cpp, line
Event: 5.174 Thread 0x00007f2558001000 Exception (0x0000000749b7c0a8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 5.507 Thread 0x00007f2558001000 Exception (0x000000074a159b30) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 5.507 Thread 0x00007f2558001000 Exception (0x000000074a15b5d8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 10.470 Thread 0x00007f2558001000 Exception (0x000000074a1915a8) thrown at [/HUDSO
Event: 36.238 Thread 0x00007f2558001000 Implicit null exception at 0x00007f25a5a70913 to 0x00007f25a5a71381
Event: 63.622 Thread 0x00007f2558001000 Implicit null exception at 0x00007f25a57cc3b9 to 0x00007f25a57cd6b1
Event: 63.651 Thread 0x00007f2558001000 Implicit null exception at 0x00007f25a544330a to 0x00007f25a54436f1
Event: 79.098 Thread 0x00007f2558001000 Implicit null exception at 0x00007f25a5670938 to 0x00007f25a5670a25
Event: 79.730 Thread 0x00007f2558001000 Exception (0x000000075e56d3b8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/sr
Events (10 events):
Event: 165.311 Thread 0x00007f2558001000 DEOPT UNPACKING pc=0x00007f25a5005229 sp=0x00007f259a5f9d90 mode 2
Event: 165.311 Thread 0x00007f2558001000 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007f25a6046bf8
Event: 165.311 Thread 0x00007f2558001000 DEOPT PACKING pc=0x00007f25a6046bf8 sp=0x00007f259a5f9d60
Event: 165.311 Thread 0x00007f2558001000 DEOPT UNPACKING pc=0x00007f25a5005229 sp=0x00007f259a5f9cf8 mode 2
Event: 165.311 loading class java/util/RegularEnumSet$EnumSetIterator
Event: 165.320 loading class java/util/RegularEnumSet$EnumSetIterator done
Event: 165.323 Thread 0x00007f2558001000 Uncommon trap: trap_request=0xffffffde fr.pc=0x00007f25a5facc94
Event: 165.323 Thread 0x00007f2558001000 DEOPT PACKING pc=0x00007f25a5facc94 sp=0x00007f259a5f9ce0
Event: 165.323 Thread 0x00007f2558001000 DEOPT UNPACKING pc=0x00007f25a5005229 sp=0x00007f259a5f9c80 mode 2
Event: 165.873 Executing VM operation: ParallelGCFailedAllocation
Dynamic libraries:
00400000-00401000 r-xp 00000000 09:01 4874160 /opt/oracle-jdk-bin-1.8.0.144/bin/java
00600000-00601000 rw-p 00000000 09:01 4874160 /opt/oracle-jdk-bin-1.8.0.144/bin/java
02258000-02279000 rw-p 00000000 00:00 0 [heap]
65a400000-6fff00000 rw-p 00000000 00:00 0
6fff00000-748c00000 ---p 00000000 00:00 0
748c00000-7bb800000 rw-p 00000000 00:00 0
7bd700000-7c0000000 ---p 00000000 00:00 0
7c0000000-7c04c0000 rw-p 00000000 00:00 0
7c04c0000-800000000 ---p 00000000 00:00 0
7f2534000000-7f2534021000 rw-p 00000000 00:00 0
7f2534021000-7f2538000000 ---p 00000000 00:00 0
7f253c000000-7f253c021000 rw-p 00000000 00:00 0
7f253c021000-7f2540000000 ---p 00000000 00:00 0
7f2540000000-7f2540021000 rw-p 00000000 00:00 0
7f2540021000-7f2544000000 ---p 00000000 00:00 0
7f2544000000-7f25440e9000 rw-p 00000000 00:00 0
7f25440e9000-7f2548000000 ---p 00000000 00:00 0
7f2548000000-7f2548021000 rw-p 00000000 00:00 0
7f2548021000-7f254c000000 ---p 00000000 00:00 0
7f254c000000-7f254c41b000 rw-p 00000000 00:00 0
7f254c41b000-7f2550000000 ---p 00000000 00:00 0
7f2550000000-7f2550021000 rw-p 00000000 00:00 0
7f2550021000-7f2554000000 ---p 00000000 00:00 0
7f2554000000-7f2554021000 rw-p 00000000 00:00 0
7f2554021000-7f2558000000 ---p 00000000 00:00 0
7f2558000000-7f255818f000 rw-p 00000000 00:00 0
7f255818f000-7f255c000000 ---p 00000000 00:00 0
7f255c000000-7f255c021000 rw-p 00000000 00:00 0
7f255c021000-7f2560000000 ---p 00000000 00:00 0
7f2560000000-7f2560363000 rw-p 00000000 00:00 0
7f2560363000-7f2564000000 ---p 00000000 00:00 0
7f2564000000-7f2564021000 rw-p 00000000 00:00 0
7f2564021000-7f2568000000 ---p 00000000 00:00 0
7f2568000000-7f2568021000 rw-p 00000000 00:00 0
7f2568021000-7f256c000000 ---p 00000000 00:00 0
7f256c000000-7f256cd07000 rw-p 00000000 00:00 0
7f256cd07000-7f2570000000 ---p 00000000 00:00 0
7f2570000000-7f2570021000 rw-p 00000000 00:00 0
7f2570021000-7f2574000000 ---p 00000000 00:00 0
7f2574000000-7f2574021000 rw-p 00000000 00:00 0
7f2574021000-7f2578000000 ---p 00000000 00:00 0
7f2578000000-7f2579838000 rw-p 00000000 00:00 0
7f2579838000-7f257c000000 ---p 00000000 00:00 0
7f257c000000-7f257c021000 rw-p 00000000 00:00 0
7f257c021000-7f2580000000 ---p 00000000 00:00 0
7f2580000000-7f2580021000 rw-p 00000000 00:00 0
7f2580021000-7f2584000000 ---p 00000000 00:00 0
7f2584000000-7f258428f000 rw-p 00000000 00:00 0
7f258428f000-7f2588000000 ---p 00000000 00:00 0
7f258871f000-7f258879f000 rw-p 00000000 00:00 0
7f258879f000-7f258891f000 ---p 00000000 00:00 0
7f258891f000-7f2588922000 ---p 00000000 00:00 0
7f2588922000-7f2594000000 rw-p 00000000 00:00 0
7f2594000000-7f259406a000 rw-p 00000000 00:00 0
7f259406a000-7f2598000000 ---p 00000000 00:00 0
7f2598097000-7f259809a000 ---p 00000000 00:00 0
7f259809a000-7f2598498000 rw-p 00000000 00:00 0
7f2598498000-7f259849b000 ---p 00000000 00:00 0
7f259849b000-7f25986d1000 rw-p 00000000 00:00 0
7f25986d1000-7f25988d1000 rw-p 00000000 00:00 0
7f25988d1000-7f25988d6000 r--s 0003d000 09:02 29885148 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.boogieast_0.1.23.jar
7f25988d6000-7f2598ad6000 rw-p 00000000 00:00 0
7f2598ad6000-7f2598ada000 r--s 00034000 09:02 29885121 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.acsl.parser_0.1.23.jar
7f2598ada000-7f2598cda000 rw-p 00000000 00:00 0
7f2598cda000-7f2598cdd000 ---p 00000000 00:00 0
7f2598cdd000-7f25990db000 rw-p 00000000 00:00 0
7f25990db000-7f25990de000 ---p 00000000 00:00 0
7f25990de000-7f25996dc000 rw-p 00000000 00:00 0
7f25996dc000-7f25996de000 r-xp 00000000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so
7f25996de000-7f25997dd000 ---p 00002000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so
7f25997dd000-7f25997de000 rw-p 00001000 09:02 30016125 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/86/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so
7f25997de000-7f25997e1000 ---p 00000000 00:00 0
7f25997e1000-7f2599bdf000 rw-p 00000000 00:00 0
7f2599bdf000-7f2599be8000 r-xp 00000000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f2599be8000-7f2599de7000 ---p 00009000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f2599de7000-7f2599de8000 rw-p 00008000 09:01 4876173 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libmanagement.so
7f2599de8000-7f2599fe8000 rw-p 00000000 00:00 0
7f2599fe8000-7f259a1e8000 rw-p 00000000 00:00 0
7f259a1e8000-7f259a1fb000 r--s 00345000 09:01 4874556 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/resources.jar
7f259a1fb000-7f259a1fe000 ---p 00000000 00:00 0
7f259a1fe000-7f259a7fc000 rw-p 00000000 00:00 0
7f259a7fc000-7f259a9fc000 rw-p 00000000 00:00 0
7f259a9fc000-7f259a9ff000 ---p 00000000 00:00 0
7f259a9ff000-7f259affd000 rw-p 00000000 00:00 0
7f259affd000-7f259b1fd000 rw-p 00000000 00:00 0
7f259b1fd000-7f259b3fd000 rw-p 00000000 00:00 0
7f259b3fd000-7f259b400000 ---p 00000000 00:00 0
7f259b400000-7f259b7fe000 rw-p 00000000 00:00 0
7f259b7fe000-7f259b801000 ---p 00000000 00:00 0
7f259b801000-7f259bbff000 rw-p 00000000 00:00 0
7f259bbff000-7f259bc02000 ---p 00000000 00:00 0
7f259bc02000-7f259c000000 rw-p 00000000 00:00 0
7f259c000000-7f259c515000 rw-p 00000000 00:00 0
7f259c515000-7f25a0000000 ---p 00000000 00:00 0
7f25a0002000-7f25a0043000 r--s 00434000 09:02 29885134 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/edu.uci.ics.jung_2.0.1.jar
7f25a0043000-7f25a00a4000 r--s 00a81000 09:02 29885136 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.ibm.icu_54.1.1.v201501272100.jar
7f25a00a4000-7f25a00f5000 r--s 004dd000 09:02 29885208 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core_5.11.0.201602051005.jar
7f25a00f5000-7f25a0105000 r-xp 00000000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f25a0105000-7f25a0204000 ---p 00010000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f25a0204000-7f25a0206000 rw-p 0000f000 09:02 29885272 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.300.v20150602-1417/eclipse_1612.so
7f25a0206000-7f25a0209000 ---p 00000000 00:00 0
7f25a0209000-7f25a0607000 rw-p 00000000 00:00 0
7f25a0607000-7f25a0618000 r-xp 00000000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f25a0618000-7f25a0817000 ---p 00011000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f25a0817000-7f25a0818000 rw-p 00010000 09:01 4875902 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnio.so
7f25a0818000-7f25a082e000 r-xp 00000000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f25a082e000-7f25a0a2e000 ---p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f25a0a2e000-7f25a0a2f000 rw-p 00016000 09:01 4875770 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libnet.so
7f25a0a2f000-7f25a0a30000 ---p 00000000 00:00 0
7f25a0a30000-7f25a0b30000 rw-p 00000000 00:00 0
7f25a0b30000-7f25a0b33000 ---p 00000000 00:00 0
7f25a0b33000-7f25a0f31000 rw-p 00000000 00:00 0
7f25a0f31000-7f25a0f34000 ---p 00000000 00:00 0
7f25a0f34000-7f25a1032000 rw-p 00000000 00:00 0
7f25a1032000-7f25a1035000 ---p 00000000 00:00 0
7f25a1035000-7f25a1133000 rw-p 00000000 00:00 0
7f25a1133000-7f25a1136000 ---p 00000000 00:00 0
7f25a1136000-7f25a1534000 rw-p 00000000 00:00 0
7f25a1534000-7f25a1924000 r--p 00000000 09:01 4472693 /usr/lib64/locale/locale-archive
7f25a1924000-7f25a1927000 ---p 00000000 00:00 0
7f25a1927000-7f25a1d25000 rw-p 00000000 00:00 0
7f25a1d25000-7f25a1d28000 ---p 00000000 00:00 0
7f25a1d28000-7f25a2126000 rw-p 00000000 00:00 0
7f25a2126000-7f25a2127000 ---p 00000000 00:00 0
7f25a2127000-7f25a322f000 rw-p 00000000 00:00 0
7f25a322f000-7f25a428b000 rw-p 00000000 00:00 0
7f25a428b000-7f25a44d1000 ---p 00000000 00:00 0
7f25a44d1000-7f25a49ff000 rw-p 00000000 00:00 0
7f25a49ff000-7f25a4c45000 ---p 00000000 00:00 0
7f25a4c45000-7f25a4fdb000 rw-p 00000000 00:00 0
7f25a4fdb000-7f25a4fff000 ---p 00000000 00:00 0
7f25a4fff000-7f25a5000000 rw-p 00000000 00:00 0
7f25a5000000-7f25a60f0000 rwxp 00000000 00:00 0
7f25a60f0000-7f25b4000000 ---p 00000000 00:00 0
7f25b4000000-7f25b4a49000 rw-p 00000000 00:00 0
7f25b4a49000-7f25b8000000 ---p 00000000 00:00 0
7f25b8001000-7f25b8003000 r--s 00014000 09:02 29885191 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtsolver.external_0.1.23.jar
7f25b8003000-7f25b8008000 r--s 002f9000 09:01 4874397 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/charsets.jar
7f25b8008000-7f25b800a000 r--s 00007000 09:02 29885233 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.variables_3.2.800.v20130819-1716.jar
7f25b800a000-7f25b800b000 r--s 00002000 09:02 29885220 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem.linux.x86_64_1.2.200.v20140124-1940.jar
7f25b800b000-7f25b800d000 r--s 00005000 09:02 29885118 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessparser_0.1.23.jar
7f25b800d000-7f25b8019000 r--s 000bd000 09:02 29885180 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.smtinterpol_2.0.0.jar
7f25b8019000-7f25b801e000 r--s 00029000 09:02 29885129 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.smtlib_0.1.23.jar
7f25b801e000-7f25b8020000 r--s 00008000 09:02 29885126 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.source.smtparser_0.1.23.jar
7f25b8020000-7f25b8021000 r--s 00003000 09:02 29885179 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.reqparser_0.1.23.jar
7f25b8021000-7f25b8024000 r--s 0001f000 09:02 29885177 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser_0.1.23.jar
7f25b8024000-7f25b8027000 r--s 0000d000 09:02 29885219 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filesystem_1.5.0.v20150725-1910.jar
7f25b8027000-7f25b802c000 r--s 00039000 09:02 29885282 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.text_3.5.400.v20150505-1044.jar
7f25b802c000-7f25b8030000 r--s 00019000 09:02 29885218 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.filebuffers_3.5.500.v20140723-1040.jar
7f25b8030000-7f25b803a000 r--s 000ce000 09:02 29885222 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.resources_3.10.1.v20150725-1910.jar
7f25b803a000-7f25b803c000 r--s 00004000 09:02 29885210 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux.x86_64_5.3.0.201602051005.jar
7f25b803c000-7f25b803e000 r--s 00002000 09:02 29885209 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.linux_5.3.0.201602051005.jar
7f25b803e000-7f25b8040000 r--s 00007000 09:02 29885211 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.cdt.core.native_5.8.1.201602051005.jar
7f25b8040000-7f25b8042000 r--s 00008000 09:02 29885143 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cdt.parser_0.1.23.jar
7f25b8042000-7f25b8044000 r--s 00023000 09:02 29885128 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.github.jhoenicke.javacup_1.0.0.jar
7f25b8044000-7f25b8046000 r--s 0000e000 09:02 29885139 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.parser_0.1.23.jar
7f25b8046000-7f25b8048000 r--s 0000a000 09:02 29885192 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.witnessprinter_0.1.23.jar
7f25b8048000-7f25b8049000 r--s 00002000 09:02 29885178 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.req.printer_0.1.23.jar
7f25b8049000-7f25b804b000 r--s 00001000 09:02 29885140 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.printer_0.1.23.jar
7f25b804b000-7f25b8051000 r--s 00056000 09:02 29885120 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.icfgtransformer_0.1.23.jar
7f25b8051000-7f25b8053000 r--s 00005000 09:02 29885176 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation_0.1.23.jar
7f25b8053000-7f25b8055000 r--s 0000b000 09:02 29885175 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer_0.1.23.jar
7f25b8055000-7f25b8057000 r--s 00006000 09:02 29885173 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas_0.1.23.jar
7f25b8057000-7f25b8059000 r--s 00009000 09:02 29885132 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent_0.1.23.jar
7f25b8059000-7f25b8081000 r--s 00241000 09:02 30016012 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/nestedword/operations/optncsb/trove-3.0.3.jar
7f25b8081000-7f25b8091000 r--s 001c1000 09:02 30016008 /storage/ultimate/releaseScripts/default/UAutomizer-linux/configuration/org.eclipse.osgi/16/0/.cp/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/julian/petruchio/petruchio.jar
7f25b8091000-7f25b80b9000 r--s 009d4000 09:02 29885147 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.automata_0.1.23.jar
7f25b80b9000-7f25b80bc000 r--s 00019000 09:02 29885165 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder_0.1.23.jar
7f25b80bc000-7f25b80bd000 r--s 00005000 09:02 29885164 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis_0.1.23.jar
7f25b80bd000-7f25b80c0000 r--s 00014000 09:02 29885163 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck_0.1.23.jar
7f25b80c0000-7f25b80c8000 r--s 0008a000 09:02 29885162 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator_0.1.23.jar
7f25b80c8000-7f25b80d9000 r--s 000f0000 09:02 29885166 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction_0.1.23.jar
7f25b80d9000-7f25b80dc000 r--s 00021000 09:02 29885127 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer_0.1.23.jar
7f25b80dc000-7f25b80de000 r--s 0000d000 09:02 29885161 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter_0.1.23.jar
7f25b80de000-7f25b80e0000 r--s 00006000 09:02 29885123 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.chctoboogie_0.1.23.jar
7f25b80e0000-7f25b80e2000 r--s 00012000 09:02 29885116 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.blockencoding_0.1.23.jar
7f25b80e2000-7f25b80e4000 r--s 0000f000 09:02 29885117 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.pea2boogie_0.1.23.jar
7f25b80e4000-7f25b80e7000 r--s 0000f000 09:02 29885156 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.ltl2aut_0.1.23.jar
7f25b80e7000-7f25b80e9000 r--s 00006000 09:02 29885142 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.buchiprogramproduct_0.1.23.jar
7f25b80e9000-7f25b8239000 rw-p 00000000 00:00 0
7f25b8239000-7f25b8413000 r--s 03d4d000 09:01 4875071 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/rt.jar
7f25b8413000-7f25b84e4000 rw-p 00000000 00:00 0
7f25b84e4000-7f25b84e5000 ---p 00000000 00:00 0
7f25b84e5000-7f25b8629000 rw-p 00000000 00:00 0
7f25b8629000-7f25b89a5000 ---p 00000000 00:00 0
7f25b89a5000-7f25b89bf000 r-xp 00000000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f25b89bf000-7f25b8bbf000 ---p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f25b8bbf000-7f25b8bc0000 rw-p 0001a000 09:01 4875794 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libzip.so
7f25b8bc0000-7f25b8bcb000 r-xp 00000000 09:01 5229997 /lib64/libnss_files-2.25.so
7f25b8bcb000-7f25b8dca000 ---p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so
7f25b8dca000-7f25b8dcb000 r--p 0000a000 09:01 5229997 /lib64/libnss_files-2.25.so
7f25b8dcb000-7f25b8dcc000 rw-p 0000b000 09:01 5229997 /lib64/libnss_files-2.25.so
7f25b8dcc000-7f25b8dd7000 r-xp 00000000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f25b8dd7000-7f25b8fd6000 ---p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f25b8fd6000-7f25b8fd7000 r--p 0000a000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f25b8fd7000-7f25b8fd8000 rw-p 0000b000 09:01 5230009 /lib64/libnss_nis-2.25.so
7f25b8fd8000-7f25b8fee000 r-xp 00000000 09:01 5230008 /lib64/libnsl-2.25.so
7f25b8fee000-7f25b91ed000 ---p 00016000 09:01 5230008 /lib64/libnsl-2.25.so
7f25b91ed000-7f25b91ee000 r--p 00015000 09:01 5230008 /lib64/libnsl-2.25.so
7f25b91ee000-7f25b91ef000 rw-p 00016000 09:01 5230008 /lib64/libnsl-2.25.so
7f25b91ef000-7f25b91f1000 rw-p 00000000 00:00 0
7f25b91f1000-7f25b91f8000 r-xp 00000000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f25b91f8000-7f25b93f8000 ---p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f25b93f8000-7f25b93f9000 r--p 00007000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f25b93f9000-7f25b93fa000 rw-p 00008000 09:01 5230025 /lib64/libnss_compat-2.25.so
7f25b93fa000-7f25b9425000 r-xp 00000000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f25b9425000-7f25b9624000 ---p 0002b000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f25b9624000-7f25b9626000 rw-p 0002a000 09:01 4876181 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libjava.so
7f25b9626000-7f25b9633000 r-xp 00000000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f25b9633000-7f25b9833000 ---p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f25b9833000-7f25b9835000 rw-p 0000d000 09:01 4875771 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/libverify.so
7f25b9835000-7f25b983c000 r-xp 00000000 09:01 5230146 /lib64/librt-2.25.so
7f25b983c000-7f25b9a3b000 ---p 00007000 09:01 5230146 /lib64/librt-2.25.so
7f25b9a3b000-7f25b9a3c000 r--p 00006000 09:01 5230146 /lib64/librt-2.25.so
7f25b9a3c000-7f25b9a3d000 rw-p 00007000 09:01 5230146 /lib64/librt-2.25.so
7f25b9a3d000-7f25b9a40000 ---p 00000000 00:00 0
7f25b9a40000-7f25b9e3e000 rw-p 00000000 00:00 0
7f25b9e3e000-7f25b9f53000 r-xp 00000000 09:01 5229974 /lib64/libm-2.25.so
7f25b9f53000-7f25ba153000 ---p 00115000 09:01 5229974 /lib64/libm-2.25.so
7f25ba153000-7f25ba154000 r--p 00115000 09:01 5229974 /lib64/libm-2.25.so
7f25ba154000-7f25ba155000 rw-p 00116000 09:01 5229974 /lib64/libm-2.25.so
7f25ba155000-7f25bae28000 r-xp 00000000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f25bae28000-7f25bb027000 ---p 00cd3000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f25bb027000-7f25bb101000 rw-p 00cd2000 09:01 4876296 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/amd64/server/libjvm.so
7f25bb101000-7f25bb14c000 rw-p 00000000 00:00 0
7f25bb14c000-7f25bb2f4000 r-xp 00000000 09:01 5230117 /lib64/libc-2.25.so
7f25bb2f4000-7f25bb4f3000 ---p 001a8000 09:01 5230117 /lib64/libc-2.25.so
7f25bb4f3000-7f25bb4f7000 r--p 001a7000 09:01 5230117 /lib64/libc-2.25.so
7f25bb4f7000-7f25bb4f9000 rw-p 001ab000 09:01 5230117 /lib64/libc-2.25.so
7f25bb4f9000-7f25bb4fd000 rw-p 00000000 00:00 0
7f25bb4fd000-7f25bb500000 r-xp 00000000 09:01 5229977 /lib64/libdl-2.25.so
7f25bb500000-7f25bb6ff000 ---p 00003000 09:01 5229977 /lib64/libdl-2.25.so
7f25bb6ff000-7f25bb700000 r--p 00002000 09:01 5229977 /lib64/libdl-2.25.so
7f25bb700000-7f25bb701000 rw-p 00003000 09:01 5229977 /lib64/libdl-2.25.so
7f25bb701000-7f25bb716000 r-xp 00000000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f25bb716000-7f25bb916000 ---p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f25bb916000-7f25bb917000 rw-p 00015000 09:01 4878177 /opt/oracle-jdk-bin-1.8.0.144/lib/amd64/jli/libjli.so
7f25bb917000-7f25bb931000 r-xp 00000000 09:01 5230000 /lib64/libpthread-2.25.so
7f25bb931000-7f25bbb31000 ---p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so
7f25bbb31000-7f25bbb32000 r--p 0001a000 09:01 5230000 /lib64/libpthread-2.25.so
7f25bbb32000-7f25bbb33000 rw-p 0001b000 09:01 5230000 /lib64/libpthread-2.25.so
7f25bbb33000-7f25bbb37000 rw-p 00000000 00:00 0
7f25bbb37000-7f25bbb5a000 r-xp 00000000 09:01 5230017 /lib64/ld-2.25.so
7f25bbb5a000-7f25bbb5c000 r--s 00002000 09:02 29885160 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker_0.1.23.jar
7f25bbb5c000-7f25bbb5f000 r--s 00012000 09:02 29885115 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions_0.1.23.jar
7f25bbb5f000-7f25bbb63000 r--s 00039000 09:02 29885150 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.lassoranker_0.9.5.jar
7f25bbb63000-7f25bbb65000 r--s 00007000 09:02 29885133 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker_0.1.23.jar
7f25bbb65000-7f25bbb75000 r--s 000db000 09:02 29885151 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils_0.1.23.jar
7f25bbb75000-7f25bbb81000 r--s 0009b000 09:02 29885158 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2_0.1.23.jar
7f25bbb81000-7f25bbb83000 r--s 00016000 09:02 29885141 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.procedureinliner_0.1.23.jar
7f25bbb83000-7f25bbb85000 r--s 00014000 09:02 29885122 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.boogie.preprocessor_0.1.23.jar
7f25bbb85000-7f25bbb87000 r--s 0000a000 09:02 29885201 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.commons.cli_1.3.1.jar
7f25bbb87000-7f25bbb8d000 r--s 00029000 09:02 29885124 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.core_0.1.23.jar
7f25bbb8d000-7f25bbb95000 r--s 00059000 09:02 29885204 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.apache.log4j_1.2.15.jar
7f25bbb95000-7f25bbb9c000 r--s 00051000 09:02 29885155 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.util_0.1.23.jar
7f25bbb9c000-7f25bbba0000 r--s 0000e000 09:02 29885130 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.lib.ultimatemodel_0.1.23.jar
7f25bbba0000-7f25bbc10000 rw-p 00000000 00:00 0
7f25bbc10000-7f25bbc11000 ---p 00000000 00:00 0
7f25bbc11000-7f25bbd13000 rw-p 00000000 00:00 0
7f25bbd13000-7f25bbd15000 r--s 00008000 09:02 29885144 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.cli_0.1.23.jar
7f25bbd15000-7f25bbd19000 r--s 00054000 09:02 29885145 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/de.uni_freiburg.informatik.ultimate.core_0.1.23.jar
7f25bbd19000-7f25bbd1b000 r--s 00014000 09:02 29885246 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.app_1.3.300.v20150423-1356.jar
7f25bbd1b000-7f25bbd1e000 r--s 00018000 09:02 29885221 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.jobs_3.7.0.v20150330-2103.jar
7f25bbd1e000-7f25bbd21000 r--s 0001d000 09:02 29885275 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.preferences_3.5.300.v20150408-1437.jar
7f25bbd21000-7f25bbd24000 r--s 00016000 09:02 29885213 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.contenttype_3.5.0.v20150421-2214.jar
7f25bbd24000-7f25bbd28000 r--s 00029000 09:02 29885276 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.registry_3.6.0.v20150318-1503.jar
7f25bbd28000-7f25bbd2a000 r--s 00002000 09:02 29885230 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime.compatibility.registry_3.6.0.v20150318-1505/runtime_registry_compatibility.jar
7f25bbd2a000-7f25bbd2c000 r--s 00012000 09:02 29885223 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.core.runtime_3.11.1.v20150903-1804.jar
7f25bbd2c000-7f25bbd2f000 r--s 00019000 09:02 29885248 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.common_3.7.0.v20150402-1709.jar
7f25bbd2f000-7f25bbd44000 r--s 0012b000 09:02 29885280 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.osgi_3.10.102.v20160118-1700.jar
7f25bbd44000-7f25bbd47000 r--s 0001a000 09:01 4874599 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jce.jar
7f25bbd47000-7f25bbd4c000 r--s 0009a000 09:01 4874308 /opt/oracle-jdk-bin-1.8.0.144/jre/lib/jsse.jar
7f25bbd4c000-7f25bbd4e000 r--s 0000b000 09:02 29885256 /storage/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar
7f25bbd4e000-7f25bbd56000 rw-s 00000000 09:01 1318850 /tmp/hsperfdata_root/14389
7f25bbd56000-7f25bbd57000 rw-p 00000000 00:00 0
7f25bbd57000-7f25bbd58000 ---p 00000000 00:00 0
7f25bbd58000-7f25bbd5a000 rw-p 00000000 00:00 0
7f25bbd5a000-7f25bbd5b000 r--p 00023000 09:01 5230017 /lib64/ld-2.25.so
7f25bbd5b000-7f25bbd5c000 rw-p 00024000 09:01 5230017 /lib64/ld-2.25.so
7f25bbd5c000-7f25bbd5d000 rw-p 00000000 00:00 0
7fffdf9bf000-7fffdf9e1000 rw-p 00000000 00:00 0 [stack]
7fffdf9fb000-7fffdf9fe000 r--p 00000000 00:00 0 [vvar]
7fffdf9fe000-7fffdfa00000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
VM Arguments:
jvm_args: -Xss4m -Xmx6000000000
java_command: ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf -i ../../../trunk/examples/svcomp/eca-rers2012/Problem08_label08_true-unreach-call.c
java_class_path (initial): ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar
Launcher Type: SUN_STANDARD
Environment Variables:
JAVA_HOME=/etc/java-config-2/current-system-vm
PATH=/usr/x86_64-pc-linux-gnu/gcc-bin/6.4.0:/usr/lib/llvm/6/bin:/usr/lib/llvm/5/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/storage/ltl2ba/ltl2ba-1.2b1:/storage/solver/z3/build:/storage/solver/mathsat/bin:/storage/solver/princess:/storage/solver/cvc4-2015-12-05-x86_64-linux-opt-proofs:/storage/solver/smtinterpol
SHELL=/bin/bash
DISPLAY=localhost:10.0
Signal Handlers:
SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
--------------- S Y S T E M ---------------
OS:DISTRIB_ID="Gentoo"
uname:Linux 4.12.12-gentoo #1 SMP Mon Oct 16 11:39:14 CEST 2017 x86_64
libc:glibc 2.25 NPTL 2.25
rlimit: STACK 8192k, CORE 0k, NPROC 96076, NOFILE 4096, AS infinity
load average:7.11 4.91 4.44
/proc/meminfo:
MemTotal: 24665244 kB
MemFree: 174652 kB
MemAvailable: 0 kB
Buffers: 2744 kB
Cached: 22448 kB
SwapCached: 0 kB
Active: 24215556 kB
Inactive: 10160 kB
Active(anon): 24206700 kB
Inactive(anon): 688 kB
Active(file): 8856 kB
Inactive(file): 9472 kB
Unevictable: 10904 kB
Mlocked: 10904 kB
SwapTotal: 0 kB
SwapFree: 0 kB
Dirty: 64 kB
Writeback: 72 kB
AnonPages: 24213012 kB
Mapped: 18876 kB
Shmem: 1544 kB
Slab: 104400 kB
SReclaimable: 44216 kB
SUnreclaim: 60184 kB
KernelStack: 15072 kB
PageTables: 64544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 12332620 kB
Committed_AS: 25756588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
AnonHugePages: 282624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 3669456 kB
DirectMap2M: 21452800 kB
CPU:total 8 (initial active 2) (4 cores per cpu, 2 threads per core) family 6 model 42 stepping 7, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, aes, clmul, ht, tsc, tscinvbit
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1647.082
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6784.86
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1600.598
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.55
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1678.417
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.69
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1600.598
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6788.73
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1598.315
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6791.08
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1599.975
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.23
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1599.768
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.08
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 42
model name : Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
stepping : 7
microcode : 0x23
cpu MHz : 1623.632
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic popcnt tsc_deadline_timer aes xsave avx lahf_lm epb tpr_shadow vnmi flexpriority ept vpid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 6789.10
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
Memory: 4k page, physical 24665244k(174652k free), swap 0k(0k free)
vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8)
time: Sat Jul 21 12:59:30 2018
elapsed time: 175 seconds (0d 0h 2m 55s)