numreg;total;abl;bdd;proof;topnodes
10;0.09;0.06;0.01;0.01;8180
20;0.20;0.11;0.04;0.05;24469
30;0.35;0.16;0.06;0.13;44760
40;0.58;0.21;0.10;0.28;77289
60;1.51;0.31;0.17;1.03;100038
80;3.39;0.42;0.40;2.56;100299
100;6.79;0.51;0.79;5.48;100748
120;14.19;0.63;2.01;11.54;105259
140;29.09;0.74;3.65;24.69;111057
180;31.72;0.90;9.83;21.00;144308
