0.00/0.05	MAYBE
0.00/0.05	 * theBenchmark.reach is self looping relatively to the rules
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	 * theBenchmark.if!6220reach!62201 is self looping relatively to the rules
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!34
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	 * theBenchmark.if!6220reach!62202 is self looping relatively to the rules
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	  - Rule noname.if!6220reach!62202!36
0.00/0.05	  - Rule noname.reach!32
0.00/0.05	  - Rule noname.if!6220reach!62201!33
0.00/0.05	EOF