numreg;total;abl;bdd;proof;topnodes
10;0.05;0.03;0.01;0.01;6490
20;0.10;0.04;0.02;0.04;19906
30;0.20;0.07;0.04;0.09;38438
40;0.34;0.08;0.06;0.19;65806
60;0.90;0.12;0.12;0.66;100094
80;2.04;0.18;0.29;1.58;100252
100;4.19;0.20;0.47;3.51;101326
120;10.53;0.24;1.36;8.94;103376
140;19.92;0.27;2.72;16.93;106175
180;36.41;0.39;8.82;27.19;144612
