numreg;total;abl;bdd;proof;topnodes
10;0.03;0.02;0.01;0.01;3877
20;0.07;0.03;0.01;0.03;12822
30;0.13;0.04;0.02;0.07;25050
40;0.23;0.05;0.03;0.15;44794
60;0.58;0.07;0.06;0.45;96574
80;1.53;0.09;0.09;1.35;100323
100;3.05;0.11;0.11;2.84;100841
120;6.36;0.13;0.56;5.67;102020
140;11.88;0.15;0.95;10.77;163514
180;