Test-scenario.md

@@ -23,31 +23,20 @@ test-case.
 ### Categories of test-cases
 
 The test-cases are grouped by categories, each testing a different aspect of the ILP generation. In the following, the categories 
-ids are listed along with a short description. The description $r \times c \ast i \ast m$ describes a $r$$c$ 
-software components with $i$ implementations having $m$ modes each.
-
------------------------------------------------------------------------------------------------------------------------
-	ID				System					Description
------------ ------------------------------- ---------------------------------------------------------------------------
-  1 -  16	$2 \times 1 \ast 1 \ast 2$		Basic selection within modes.
-
- 30 -  36	$2 \times 1 \ast 2 \ast 1$		Basic selection within modes.
-
-100 - 129	$3 \times 1 \ast 2 \ast 2$		Basic selection within implementation and modes.
-
-200 - 207	$3 \times 2 \ast 2 \ast 2$		Component requiring another component. For the 3xx category, only the
-300 - 307									first implementation has a constraint for the required component.
-
-400 - 407	$3 \times 1 \ast 2 \ast 2$		Resources with different resource types.
-
-500 - 503	$2/3 \times 1 \ast 1 \ast 2$	New resources entering the hardware system.
-
-600 - 605	$2 \times 1 \ast 1 \ast 2$		New components, implementations and modes entering the software system.
-
-700 - 702	$30 \times 1 \ast 1 \ast 2$		Tree-like hardware structure.
-
-900 - 907	*varies*						Unsolveable problems, i.e. negative test-cases.
------------------------------------------------------------------------------------------------------------------------
+ids are listed along with a short description. The description r x (c \* i \* m) describes a system with *r* resources and *c* 
+software components with *i* implementations having *m* modes each.
+
+ID | System | Description
+-|-|-
+  1 -  16|	2x(1\*1\*2)	|	Basic selection within modes.
+ 30 -  36|	2x(1\*2\*1)	|	Basic selection within modes.
+100 - 129|	3x(1\*2\*2)	|	Basic selection within implementation and modes.
+200 - 207, 300 - 307|	3x(2\*2\*2)	|	Component requiring another component. For the 3xx category, only the first implementation has a constraint for the required component.
+400 - 407|	3x(1\*2\*2)	|	Resources with different resource types.
+500 - 503|	\[2,3\]x(1\*1\*2)|	New resources entering the hardware system.
+600 - 605|	2x(1\*1\*2)	|	New components, implementations and modes entering the software system.
+700 - 702|	30x(1\*1\*2)	|	Tree-like hardware structure.
+900 - 907|	*varies*					|	Unsolveable problems, i.e. negative test-cases.
 
 ## Profiling Tests