numreg;total;abl;bdd;proof;topnodes
10;0.06;0.04;0.01;0.01;7231
20;0.13;0.06;0.03;0.04;21657
30;0.24;0.09;0.05;0.11;40862
40;0.40;0.11;0.07;0.22;70137
60;1.08;0.17;0.13;0.78;100044
80;2.37;0.23;0.34;1.80;100592
100;5.08;0.29;0.53;4.26;101217
120;10.78;0.37;1.42;8.99;103376
140;5.35;0.40;2.79;2.16;106175
180;21.70;0.52;9.46;11.72;127821
