gecode halfway working