numreg;total;abl;bdd;proof;topnodes
10;0.14;0.10;0.03;0.02;13447
20;0.35;0.19;0.07;0.09;39030
30;0.66;0.30;0.12;0.23;72598
40;1.24;0.40;0.19;0.65;100048
60;3.10;0.61;0.62;1.87;103060
80;7.43;0.78;1.50;5.16;100930
100;13.92;1.06;3.52;9.33;117420
120;23.67;1.18;5.77;16.72;160842
140;32.57;1.23;12.54;18.80;163488
180;46.94;1.64;35.99;9.31;222342
