	# Generator a is redundant. Simple onto test switched off.
No words in first group of length > 0.
       11.2 real         0.9 user         3.3 sys  
No words in first group of length > 0.
	# No words in 2nd group of length > 0.
No words in first group of length > 0.
       31.0 real         6.1 user        10.0 sys  
	# Generator a is redundant. Simple onto test switched off.
No words in first group of length > 0.
        9.3 real         1.3 user         2.9 sys  
        6.3 real         0.8 user         2.1 sys  
        8.7 real         1.2 user         3.0 sys  
	# Generator b is redundant. Simple onto test switched off.
        9.3 real         1.3 user         3.3 sys  
	# Generator b is redundant. Simple onto test switched off.
        9.9 real         1.7 user         3.2 sys  
       12.4 real         3.4 user         3.3 sys  
	# Generator w is redundant. Simple onto test switched off.
       10.3 real         1.6 user         3.0 sys  
	# Time limit of 20 secs exceeded. Exiting.
      163.2 real        64.9 user        36.7 sys  
        8.6 real         1.3 user         3.1 sys  
	# Generator b is redundant. Simple onto test switched off.
        8.7 real         1.5 user         3.2 sys  
        8.0 real         1.3 user         3.0 sys  
        8.1 real         1.6 user         3.1 sys  
       10.6 real         2.9 user         3.0 sys  
       11.6 real         3.4 user         3.3 sys  
       15.6 real         5.4 user         3.7 sys  
	# Time limit of 20 secs exceeded. Exiting.
       52.1 real        25.6 user         9.3 sys  
       12.3 real         3.1 user         3.1 sys  
	# Time limit of 20 secs exceeded. Exiting.
      214.6 real        92.0 user        64.3 sys  
       11.4 real         2.5 user         3.3 sys  
	# Generator b is redundant. Simple onto test switched off.
       11.8 real         2.9 user         3.3 sys  
	# Time limit of 20 secs exceeded. Exiting.
	# Generator b is redundant. Simple onto test switched off.
      314.3 real       122.7 user        70.8 sys  
       10.2 real         2.7 user         3.0 sys  
        8.6 real         1.4 user         3.1 sys  
       10.2 real         2.5 user         3.6 sys  
	# Time limit of 20 secs exceeded. Exiting.
      152.3 real        85.5 user        23.1 sys  
       12.3 real         3.8 user         3.6 sys  
	# Time limit of 20 secs exceeded. Exiting.
	# Time limit of 100 secs exceeded. Exiting.
	# Time limit of 500 secs exceeded. Exiting.
     6183.0 real      5417.8 user       272.1 sys  
	# Time limit of 20 secs exceeded. Exiting.
Degree too big.
	# Time limit of 100 secs exceeded. Exiting.
Degree too big.
Degree too big.
	# Time limit of 500 secs exceeded. Exiting.
Degree too big.
Degree too big.
    11074.7 real      9985.5 user       380.5 sys  
	# Generator z is redundant. Simple onto test switched off.
        9.3 real         2.5 user         3.3 sys  
	# Generator z is redundant. Simple onto test switched off.
	# onto_check limit of 2 secs exceeded.
	# Exiting loop after checking to length 8.
	# onto_check limit of 2 secs exceeded.
	# Exiting loop after checking to length 8.
	# onto_check limit of 2 secs exceeded.
	# Exiting loop after checking to length 8.
	# onto_check limit of 2 secs exceeded.
	# Exiting loop after checking to length 8.
	# Time limit of 20 secs exceeded. Exiting.
       88.3 real        45.4 user        16.6 sys  
        6.5 real         0.8 user         2.6 sys  
	# Time limit of 20 secs exceeded. Exiting.
	# Time limit of 100 secs exceeded. Exiting.
	# Time limit of 500 secs exceeded. Exiting.
Degree too big.
Degree too big.
     2721.9 real      2392.6 user       115.3 sys  
