Added verification into the normal QBF jar execution.