numreg;total;abl;bdd;proof;topnodes
10;0.13;0.10;0.02;0.01;9666
20;0.28;0.18;0.05;0.06;28533
30;0.55;0.31;0.09;0.16;50137
40;0.84;0.34;0.13;0.36;87111
60;2.14;0.52;0.23;1.39;100349
80;5.08;0.73;0.50;3.86;100249
100;3.35;0.91;0.93;1.51;100706
120;5.87;1.08;1.76;3.03;126932
140;31.15;1.26;3.44;26.46;128482
180;17.35;1.63;10.62;5.10;183182
