numreg;total;abl;bdd;proof;topnodes
10;0.06;0.05;0.01;0.01;6837
20;0.15;0.09;0.03;0.04;20976
30;0.26;0.13;0.04;0.09;36022
40;0.47;0.17;0.07;0.24;64343
60;1.41;0.26;0.11;1.03;100033
80;3.11;0.33;0.18;2.60;100661
100;7.40;0.45;0.23;6.72;101352
120;8.64;0.51;0.73;7.40;119878
140;19.98;0.59;1.65;17.74;311740
180;51.27;0.79;6.20;44.28;554862
