0.00/0.00	MAYBE
0.00/0.00	 * theBenchmark.lim is not positive relatively to the rules
0.00/0.00	  - Rule noname.rec!11
0.00/0.00	 * theBenchmark.rec is self looping relatively to the rules
0.00/0.00	  - Rule noname.rec!11
0.00/0.00	  - Rule noname.rectuv!12
0.00/0.00	 * theBenchmark.rectuv is self looping relatively to the rules
0.00/0.00	  - Rule noname.rectuv!12
0.00/0.00	  - Rule noname.rec!11
0.00/0.00	EOF