0.00/0.00	MAYBE
0.00/0.00	 * theBenchmark.nul is not positive relatively to the rules
0.00/0.00	  - Rule noname.min!11
0.00/0.00	EOF