numreg;total;abl;bdd;proof;topnodes
10;0.03;0.02;0.00;0.01;4527
20;0.08;0.04;0.01;0.03;14419
30;0.15;0.05;0.02;0.07;27020
40;0.27;0.07;0.04;0.17;48171
60;0.79;0.10;0.06;0.62;100087
80;1.71;0.13;0.10;1.48;100098
100;3.87;0.16;0.12;3.58;101192
120;5.02;0.20;0.61;4.20;103106
140;7.05;0.22;1.00;5.83;380248
180;