Minimal MUMCUT Coverage

Minimal MUMCUT Coverage Web Application

Please check that all literals are lower case letters or upper case letters (No combination of lower case letters and upper case letters allowed), preceded by an optional ' ! ' to denote negation. Please check that literals are separated by ' & ' and terms are separated by ' | '. A correct example is : a & b | c & d. In the result, 0 represents FALSE and 1 represents TRUE; the order of 0s and 1s in the test points maps to the order of the variables entered in the predicate. For example, if the predicate is a & b, then 10 means a = 1 and b = 0. If the predicate is entered as b & a, then 10 still means that a = 1 and b = 0. (Please be aware that this application gets slow for expressions that have more than 5 or 6 variables.)

Not : !	And : &	Or : \|
P =

Please check that infeasible literal combinations are separated by semicolons and that literal assignments to 0 or 1 are separated by commas. For example if a = 0 and b = 0 is infeasible and if c = 0 and d = 0 are infeasible, the format is a = 0, b = 0; c = 0, d = 0.

Enter infeasible literal combination (if any) in format a = 0, b = 0; c = 1, d = 1:

Enter a positive integer for the test set size (only for Fault Detection Maximization):
Go to the help page







Criteria:


Others: