benchmark.beust1 no ICs: 4.658117 sec MICs: 3.188078 sec PICs (3 entries): 3.160067 sec