sentence1: in our experiment , using glpk ¡¯ s branch-and-cut solver took 0 . 2 seconds to produce optimal ilp solutions for 1000 sentences .
sentence2: in our experiment , using glpk¡¯s branch-and-cut solver took 0.2 seconds to produce optimal ilp solutions for 1000 sentences on a machine with intel core 2 duo cpu and 4gb ram .