numreg;total;abl;bdd;proof;topnodes
10;20;30;40;60;80;100;120;140;180;