numreg;total;abl;bdd;proof;topnodes
10;0.05;0.03;0.01;0.01;5155
20;0.09;0.05;0.01;0.03;15466
30;0.17;0.07;0.02;0.08;25910
40;0.29;0.09;0.04;0.17;47810
60;0.68;0.14;0.06;0.49;93053
80;1.57;0.18;0.09;1.29;100104
100;3.22;0.23;0.12;2.87;100485
120;5.84;0.29;0.17;5.38;101772
140;4.35;0.32;0.31;3.72;102645
180;21.66;0.45;0.59;20.62;112705
