Text this: Experimental comparison of the effectiveness of programs for minimizing systems of Boolean functions in the class of disjunctive normal forms