search

coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

altolab: warmup runs parallel to experiment, not before #33

Open akoehn opened 6 years ago

akoehn commented 6 years ago

Original report by JONAS GROSCHWITZ (Bitbucket: jgroschwitz, GitHub: jgroschwitz).

In altolab experiments -- e.g. for Task 41, try

alab 41 -Vinvhom='veryLazyInvhom(decomp, irtg.[graph].hom)' -Vintersection='explicitFromVeryLazy(veryLazyIntersection(irtg.auto, invhom))'

-- the warmup and the main experiment instances seem to run in parallel, instead of all warmup first.