numreg;total;abl;bdd;proof;topnodes
10;0.03;0.02;0.00;0.01;3866
20;0.07;0.04;0.01;0.02;12309
30;0.13;0.05;0.02;0.06;21964
40;0.23;0.06;0.02;0.14;40427
60;0.55;0.09;0.04;0.42;83395
80;1.27;0.11;0.06;1.09;100166
100;2.52;0.15;0.08;2.29;100770
120;3.86;0.20;0.12;3.54;102128
140;8.24;0.20;0.25;7.78;102058
180;22.76;0.25;0.41;22.10;104007
