numreg;total;abl;bdd;proof;topnodes
10;0.07;0.04;0.01;0.01;11464
20;0.18;0.07;0.04;0.06;34008
30;0.34;0.11;0.08;0.15;65328
40;0.71;0.15;0.13;0.43;100002
60;1.69;0.21;0.49;0.98;103060
80;4.41;0.29;1.00;3.13;101052
100;8.07;0.37;2.17;5.53;103770
120;8.75;0.44;4.45;3.86;113528
140;30.47;0.59;8.72;21.17;149163
180;65.05;0.67;26.46;37.92;214472
