Fix bug in constraint range#41

Merged

govindchari merged 1 commit intomainfrom

gc/fix-bug-constraint-range

Jan 2, 2026

Member

govindchari commented Jan 2, 2026

No description provided.


          Fix bug

3e0ed59

govindchari merged commit b97eb36 into main

13 checks passed

github-actions Bot commented Jan 2, 2026

Download benchmark artifacts

Benchmark Summary

Baseline solved: 129 problems
Diff branch solved: 129 problems

Runtime regressions (> 5.0%)

DUAL1: diff=0.0022s, baseline=0.0021s, Δ=+6.7%
HS76: diff=0.0000s, baseline=0.0000s, Δ=+6.3%
QISRAEL: diff=0.0041s, baseline=0.0038s, Δ=+8.1%

Runtime improvements (> 5.0%)

GENHS28: diff=0.0000s, baseline=0.0000s, Δ=-20.0%
QADLITTL: diff=0.0003s, baseline=0.0004s, Δ=-7.4%
QBANDM: diff=0.0044s, baseline=0.0047s, Δ=-5.2%

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet