0.00/0.00 MAYBE 0.00/0.00  * theBenchmark.xap is not positive relatively to the rules 0.00/0.00 - Rule noname.foldl!9 0.00/0.00  * theBenchmark.xap is not positive relatively to the rules 0.00/0.00 - Rule noname.foldl!9 0.00/0.01 EOF