monotone in min(A,B) lam 1/100 cases 400 violations 0
monotone in min(A,B) lam 1/10 cases 400 violations 0
monotone in min(A,B) lam 1/2 cases 400 violations 0
monotone in min(A,B) lam 1 cases 400 violations 0
monotone in min(A,B) lam 37/10 cases 400 violations 0
monotone in min(A,B) lam 10 cases 400 violations 0
monotone in min(A,B) lam 100 cases 400 violations 0
monotone in min(A,B) lam 1000 cases 400 violations 0
TEST monotone TOTAL FAILS 0 time 1s
