GUBS Upper Bound Solver
Input
ms1
ugo1
ugo2
ugo3
add
addlists
anchored
append
decrease
deeprev_typed
duplicate
evenodd
fold
game
list
lte
map0
member
mergelists
naiverev
nestdec
nolexicord
ordered
ordered_better
overlap
revapp
select
add
boolprog
disj2_typed
div2
dup1_typed
dup2_typed
eq
ex6
gexgcd
match
ocall-safe
ocall-unsafe
oddeven
permut
strmatch
thetrickSize
dfs-flatten
flatten
foldsum
id
mappplus
rev-dl
rev-fletf
rev-foldl
sum
appendAll.raml
clevermmult.raml
dyade.raml
rationalPotential.raml
subtrees.raml
or
upload problem
with a timeout of
seconds.
Output