1 1.1 mrg The tests in this directory have been adapted from the corresponding omega+ 2 1.1 mrg test cases. 3 1.1 mrg The options have been derived semi-automatically and may not always 4 1.1 mrg correspond to the intended meaning of the specified "effort" in the omega+ 5 1.1 mrg test cases. 6
Indexes created Wed Mar 04 15:26:31 UTC 2026