globtest(true,max_lt([X,Y,Z],A1),(X in 1..5,Y#>2,A1 in 0..6),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),true,Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(X#>=4,Y#>=7),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(X#>=4,Y#>=8),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(Z#=<5,X#>=5),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(Z#=<5,X#>=4),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),Z=5,Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(Z=5,X=6),Res).
globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),(Z=5,Y=6),Res).
globtest(true,max_lt([X,2],2),true,Res).
globtest(true,max_lt([X],Y),(X in{0,9},Y in{3,6}),Res).
globtest(true,max_lt([X],Y),(X in 0..9,Y in{3,6}),Res).
globtest(true,max_lt([X],Y),(X in 0..9,Y in{3,6},Y#>4),Res).
globtest((length(X,500),domain(X,1,5),Y in 5..50000),max_lt([Y|X],Z),step_up(Y,5),Res).