Skip to Main Content
Table 3 

Loss in coverage under the restriction to yield functions with fan-out = 1 and fan-out ≤ 2.




fan-out = 1
fan-out ≤ 2

rules
trees
rules
trees
rules
trees
Arabic 5,839 1,460 411 163 
Czech 1,322,111 72,703 22,283 16,831 328 312 
Danish 99,576 5,190 1,229 811 11 
Slovene 30,284 1,534 530 340 14 11 
Turkish 62,507 4,997 924 580 54 33 



fan-out = 1
fan-out ≤ 2

rules
trees
rules
trees
rules
trees
Arabic 5,839 1,460 411 163 
Czech 1,322,111 72,703 22,283 16,831 328 312 
Danish 99,576 5,190 1,229 811 11 
Slovene 30,284 1,534 530 340 14 11 
Turkish 62,507 4,997 924 580 54 33 
Close Modal

or Create an Account

Close Modal
Close Modal