anchor.diff:      end.
   
   
  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  +
  +timetrap_scale_factor() ->
  +    case (catch test_server:timetrap_scale_factor()) of
  +	{'EXIT', _} ->
  +	    1;
  +	N ->
  +	    N
  +    end.
  +
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  
positive.code:                             (NCPU >= 2) ->
                                  5;
                              true ->
                                  10
                          end;
                      (CPUSpeed >= 1000) ->
                          if
  
negative.code:                             (NCPU >= 2) ->
                                  6;
                              true ->
                                  14
                          end;
                      true ->
                          if
  