numreg;total;abl;bdd;proof;topnodes
10;0.05;0.03;0.01;0.01;5399
20;0.11;0.06;0.02;0.03;17023
30;0.19;0.08;0.03;0.08;30750
40;0.35;0.11;0.05;0.19;54781
60;1.05;0.18;0.08;0.79;100093
80;2.47;0.21;0.13;2.13;100514
100;5.09;0.27;0.16;4.66;100974
120;8.52;0.31;0.64;7.57;103625
140;19.73;0.39;1.60;17.75;323993
180;47.13;0.46;4.70;41.97;573450
