Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Wiki Markup
{import:NavigationMenu}

h1. Group 3: Benchmarks from spreadsheets

This section uses tests performed by hand or by means of an Excel spreadsheet.

h2. 3.1 Global check with all possible trajectories

h5. Description

This benchmark tests all the possible trajectories according to the Global check. Those trajectories are:
* Case A: step 1 = No => Global check passed
* Case B: step 1 = Yes, step 2 = No, step 4 = No => Global check passed
* Case C: step 1 = Yes, step 2 = No, step 4 = Yes, step 5 = No => Global check passed
* Case D: step 1 = Yes, step 2 = No, step 4 = Yes, step 5 = Yes => Global check failed
* Case E: step 1 = Yes, step 2 = Yes => Global check failed

h5. Benchmarks results


h5. *D-Flow Slide* results

*D-FLOW SLIDE* results are in accordance with the results by hand as show in the table below.

Results of benchmark 3-1 for case A
|| Case || Benchmark || D-FLOW SLIDE || Relative error ||
| Marge | xxx | xxx | xxx |
| Global check | Passed | Passed | (+) |