numreg;total;abl;bdd;proof;topnodes
10;0.23;0.17;0.03;0.02;14978
20;0.54;0.31;0.10;0.13;43094
30;0.97;0.48;0.18;0.31;78004
40;1.72;0.63;0.26;0.83;100121
60;4.17;0.97;0.77;2.43;103060
80;9.12;1.27;1.67;6.18;109342
100;18.00;1.68;4.53;11.78;131997
120;34.70;2.16;12.97;19.57;168009
140;58.65;2.39;23.63;32.62;175243
180;142.25;3.61;50.21;88.41;247693
