######################
SCRAM Performance Data
######################

Performance data is for optimization and regression-detection purposes.
Only cases that help detect bottlenecks are recorded in this file.
The case/record is removed
if the performance becomes good enough
to make the parameter negligible or noisy
(time < 0.5s, memory consumption < 10 MiB, etc.).

There are two primary performance records in this file:
run-time (in seconds) and memory utilization (in MiB).
The record can also include (specialize on) performance proxies
specific to the subject.

- Running times are taken from the logs and reports.
  The minimum of samples is recorded.
- Peak consumption is recorded for memory utilization with the ``top`` program.
- Records are for the total program or specific analysis facilities.
- Performance for the debug build is recorded
  if there's a strong correlation with the release build.
  These debug-build records help the development process
  by decreasing the need to recompile the code for performance regression testing.
- The build types do not affect the memory as much as the speed.
- Do not confuse these memory records
  with the actual allocation of the memory by the code.
  The actual memory allocation must be analyzed
  with memory(heap) profilers like Valgrind with Massif.

==============   ===================
System Specs     Version
==============   ===================
Processor         Core i7-2820QM
OS                Ubuntu 16.04 64bit
GCC version       5.4.0
Boost version     1.58
Libxml2           2.9.3
TCMalloc          2.4
==============   ===================

.. note:: If the current performance is not listed, then the best is the current.


Analysis
========

The records for analysis.

Input name [flags] (results)
============================

Build Type:
-----------

- Record        Best Achieved | Current Performance


Probability/Importance Analysis
===============================


Fault Tree Analysis (MOCUS)
===========================

Baobab1 -l 7 (mcs = 17432)
--------------------------

Debug build:  1.8  |  2.1

Release build:  0.25  |  0.35

- # of ZBDD nodes created: 31859
- # of SetNodes in ZBDD: 2073  |  3059


Baobab1 (mcs = 46188)
---------------------

Debug build:  1.9  |  2.0

Release build: 0.30  |  0.35

- # of ZBDD nodes created: 30140
- # of SetNodes in ZBDD: 3333  |  3653

- Memory:   23

- Cache-misses:  5.0 %  |  6.0 %


Baobab2 (mcs = 4805)
--------------------

- # of ZBDD nodes created: 1593  |  1612
- # of SetNodes in ZBDD: 160  |  168

- Memory:   15


Fault Tree Analysis (ZBDD)
==========================

Baobab1 (mcs = 46188)
---------------------

Debug build:  0.95

Release build:  0.16

- # of ZBDD nodes created: 47702
- # of SetNodes in ZBDD: 3333  |  3653

- Memory:   25

- Cache-misses:  28 %


Baobab2 (mcs = 4805)
--------------------

- # of ZBDD nodes created: 33297  |  37871
- # of SetNodes in ZBDD: 160  |  168


CEA9601 -l 3 (mcs = 1144)
-------------------------

Release build:
~~~~~~~~~~~~~~

- ZBDD Time: 1.4  |  1.55

- # of ZBDD nodes created: 170713  |  230904
- # of SetNodes in ZBDD: 65

- Memory:   100


Fault Tree Analysis (BDD)
=========================

Baobab1 (mcs = 46188)
---------------------

- # of BDD vertices created: 8289  |  15545
- # of ITE int unique table: 13218
- # of ITE in BDD: 3349  |  6162
- # of ZBDD nodes created: 18099  |  25406
- # of SetNodes in ZBDD: 3338  |  3580

- Memory:   23

- Cache-misses:  18 %


CEA9601 -l 4 (mcs = 54436)
--------------------------

Debug build:
~~~~~~~~~~~~

- BDD Time: 6.7
- ZBDD Time: 1.0

Release build:
~~~~~~~~~~~~~~

- BDD Time: 1.4
- ZBDD Time: 0.20

- # of BDD vertices created: 2652730
- # of ITE in unique table: 2370567
- # of ITE in BDD: 1123292 | 1160828

- Memory:   215

- Cache-misses:  46 %  |  50 %


CEA9601 -l 5 (mcs = 1615876)
----------------------------

Release build:
~~~~~~~~~~~~~~

- ZBDD Time: 0.80

- Reporting (/dev/null): 2.0

- # of ZBDD vertices created: 42580
- # of Nodes in ZBDD: 10621
- Product indices to pointers time: 0.085

- Memory:    210 | 260

- Cache-misses:  34 %


CEA9601 -l 6 (mcs = 9323572)
----------------------------

Release build:
~~~~~~~~~~~~~~

- ZBDD Time: 2.0

- Reporting (/dev/null): 12.6
- Reporting with probability: 20.5

- # of ZBDD vertices created: 213970
- # of Nodes in ZBDD: 20426
- Product indices to pointers time: 0.40

- Memory:   350


Uncertainty Analysis
====================


SCRAM Model Validation
======================

Fault tree generator flags to get the model.

-b 10000 -a 3 --common-g 0.1 --common-b 0.1
-------------------------------------------

- Memory:   70


-b 300000 -a 3 --common-g 0.1 --common-b 0.1
--------------------------------------------

Release build:
~~~~~~~~~~~~~~

- XML parsing & schema validation: (5, 5.5)
- Initialization and Validation: (1.6, 2)

- Memory:   900


Fault Tree Generator Script
===========================

-b 100000 -a 3 --common-g 0.1 --common-b 0.1
--------------------------------------------

- Generation Time  8.7  |  15
