ResearchBenchmarksLower bound calculation on UBO200 RCPSP maxLower bound calculation on UBO200 RCPSP maxFollow784Reference BoundLifting-based approach for inferring cumulative constraints469.92551.46633714.54Feb 17, 2026Evaluation resultsMethodMethodLinksReference BoundAchieved Lower BoundComputation TimeBest Objective FoundLifting-based approach for inferring cumulative constraintsInstance number (#)=33Instance number (#)=332026.02784785—834Lifting-based approach for inferring cumulative constraintsInstance number (#)=32Instance number (#)=322026.02753794—863Lifting-based approach for inferring cumulative constraintsInstance number (#)=65Instance number (#)=652026.02728747—814Lifting-based approach for inferring cumulative constraintsInstance number (#)=70Instance number (#)=702026.02724823—877Lifting-based approach for inferring cumulative constraintsInstance number (#)=2Instance number (#)=22026.02682731—813Lifting-based approach for inferring cumulative constraintsInstance number (#)=34Instance number (#)=342026.02595673—774Lifting-based approach for inferring cumulative constraintsInstance number (#)=6Instance number (#)=62026.02538569—765Lifting-based approach for inferring cumulative constraintsInstance #=6, Capacity...Instance #=6, Capacity=1, Search-less=true, Lifting=true2026.02538558—765Lifting-based approach for inferring cumulative constraintsInstance #=4, Capacity...Instance #=4, Capacity=1, Search-less=true, Lifting=true2026.02514583—838Lifting-based approach for inferring cumulative constraintsInstance number (#)=8Instance number (#)=82026.02505583—911Lifting-based approach for inferring cumulative constraintsInstance #=8, Capacity...Instance #=8, Capacity=1, Search-less=true, Lifting=true2026.02505559—911Lifting-based approach for inferring cumulative constraintsInstance number (#)=5Instance number (#)=52026.02499559—767Lifting-based approach for inferring cumulative constraintsInstance #=5, Capacity...Instance #=5, Capacity=1, Search-less=true, Lifting=true2026.02499533—767Lifting-based approach for inferring cumulative constraintsInstance number (#)=3Instance number (#)=32026.02482542—906Lifting-based approach for inferring cumulative constraintsInstance #=3, Capacity...Instance #=3, Capacity=1, Search-less=true, Lifting=true2026.02482531—906