4-11-2019, 10:41 a.m.
OTSoft 2.5, release date 1/17/2017
1. Result
There is no ranking of the proposed constraints which yields the correct outputs. You can learn more about why the constraints fail by selecting Show How Ranking Was Done from the View menu.
To obtain diagnostic tableaux, try running the program again, first checking the Diagnostics if Ranking Fails box.
You can also diagnose by selecting Show How Ranking Was Done from the View menu.