{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
|