fig;total;abl;bdd;proof;topnodes
cpt4;0.23;0.15;0.03;0.03;0.00;405
digi;0.84;0.24;0.04;0.53;0.00;1180
addacu;9.24;0.37;0.37;8.31;0.05;41400
dlxm_seq;24.25;2.85;1.30;20.07;0.00;55139
