Agda-2.3.2.2: benchmark/logs/20081127-21.23-ulf-norells-macbook-pro/README

After removing BlockedV