/usr/share/doc/tkgate-data/examples/verga/sum3.out

Starting SUM test
sum:   0 =  0 +  0 +  0       (0=0+0+0)
sum:   1 =  1 +  0 +  0       (1=1+0+0)
sum:  10 = 10 +  0 +  0       (2=2+0+0)
sum:  11 = 11 +  0 +  0       (3=3+0+0)
sum:   1 =  0 +  1 +  0       (1=0+1+0)
sum:  10 =  1 +  1 +  0       (2=1+1+0)
sum:  11 = 10 +  1 +  0       (3=2+1+0)
sum: 100 = 11 +  1 +  0       (4=3+1+0)
sum:  10 =  0 + 10 +  0       (2=0+2+0)
sum:  11 =  1 + 10 +  0       (3=1+2+0)
sum: 100 = 10 + 10 +  0       (4=2+2+0)
sum: 101 = 11 + 10 +  0       (5=3+2+0)
sum:  11 =  0 + 11 +  0       (3=0+3+0)
sum: 100 =  1 + 11 +  0       (4=1+3+0)
sum: 101 = 10 + 11 +  0       (5=2+3+0)
sum: 110 = 11 + 11 +  0       (6=3+3+0)
sum:   1 =  0 +  0 +  1       (1=0+0+1)
sum:  10 =  1 +  0 +  1       (2=1+0+1)
sum:  11 = 10 +  0 +  1       (3=2+0+1)
sum: 100 = 11 +  0 +  1       (4=3+0+1)
sum:  10 =  0 +  1 +  1       (2=0+1+1)
sum:  11 =  1 +  1 +  1       (3=1+1+1)
sum: 100 = 10 +  1 +  1       (4=2+1+1)
sum: 101 = 11 +  1 +  1       (5=3+1+1)
sum:  11 =  0 + 10 +  1       (3=0+2+1)
sum: 100 =  1 + 10 +  1       (4=1+2+1)
sum: 101 = 10 + 10 +  1       (5=2+2+1)
sum: 110 = 11 + 10 +  1       (6=3+2+1)
sum: 100 =  0 + 11 +  1       (4=0+3+1)
sum: 101 =  1 + 11 +  1       (5=1+3+1)
sum: 110 = 10 + 11 +  1       (6=2+3+1)
sum: 111 = 11 + 11 +  1       (7=3+3+1)

Generated by dwww version 1.15 on Sun Jun 23 17:53:39 CEST 2024.