QT graphical and OR-tree inference experiment program