numreg;total;abl;bdd;proof;topnodes
10;0.09;0.06;0.02;0.02;12413
20;0.23;0.11;0.05;0.07;35988
30;0.42;0.16;0.09;0.17;68539
40;0.70;0.21;0.15;0.34;100003
60;2.02;0.33;0.52;1.17;103060
80;4.91;0.48;1.01;3.42;100799
100;4.26;0.53;2.32;1.41;104102
120;14.74;0.63;4.51;9.59;146466
140;27.63;0.81;9.55;17.28;160237
180;77.06;0.97;30.16;45.92;245473
