use system gecode for fastererer testing