numreg;total;abl;bdd;proof;topnodes
10;0.03;0.02;0.00;0.00;3113
20;0.06;0.03;0.01;0.02;10334
30;0.10;0.03;0.01;0.06;19225
40;0.19;0.04;0.02;0.13;35535
60;0.46;0.06;0.03;0.36;77319
80;1.05;0.08;0.05;0.93;100423
100;2.02;0.09;0.06;1.86;100270
120;3.82;0.12;0.09;3.61;101498
140;6.75;0.13;0.15;6.47;101843
180;20.58;0.29;0.48;19.81;103568
