These are the results of the TC-program for all of
the benchmarks (in sec).  The time for reading the
examples is not included.


directory   cath/
add1.be        3.77
add2.be       45.34     
add3.be     1166.23   
add4.be     O[1..10] verified in 10444sec   
addsub.be     16310      
alu.be         2.21

directory   ex/
ex2.be         0.03
mul03.be       0.06
mul04.be       7.60
mul05.be      85.40 
mul06.be     996.60  
mul07.be     memory-allocation problems  
mul08.be     memory-allocation problems  
rip02.be       0.07
rip04.be       1.84
rip06.be       8.48        
rip08.be      66.31 
transp.be      0.03
ztwaalf1.be    1.22   
ztwaalf2.be    1.14   

directory   hachtel/
alupla20.be    0.18   
alupla21.be    0.12   
alupla22.be    0.23   
alupla23.be    0.17   
alupla24.be    0.06   
dc2.be         0.23
dk17.be        0.30
dk27.be        0.10
f51m.be        0.19
misg.be        0.06
mlp4.be        0.61
rd73.be        0.10
risc.be        0.07
root.be        0.22
sqn.be         0.17
vg2.be         0.19
x1dn.be        0.27
x6dn.be        1.94
z4.be          0.04
z5xpl.be       0.19
z9sym.be       0.22
       
directory   plasco/
counter.be     1.30 
cps.be        68.70
d3.be          2.91  counterexamples for 4 outputs
hostint1.be    1.36  
in1.be        33.13
mp2d.be        3.69
mul.be         0.57
pitch.be       8.51
rom2.be        3.73
table.be       4.92
werner.be      0.11  counterexamples for 2 outputs
