numreg;total;abl;bdd;proof;topnodes
10;0.03;0.02;0.00;0.01;2608
20;0.06;0.03;0.01;0.02;9151
30;0.10;0.04;0.01;0.06;17825
40;0.17;0.04;0.02;0.12;33089
60;0.42;0.05;0.03;0.34;74283
80;0.99;0.06;0.04;0.89;100074
100;1.35;0.07;0.05;1.23;100237
120;3.52;0.09;0.08;3.35;101448
140;4.93;0.10;0.13;4.71;101238
180;15.46;0.13;0.33;15.00;108079
