Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/benchmark/logs/
- 20071213-12.58-dhcp-246-168/
- 20071219-11.21-livia/
- 20080306-11.43-livia/
- 20080306-11.59-livia/
- 20080407-14.00-dhcp-243-41/
- 20080730-12.47-ulf-norells-macbook-pro/
- 20081126-12.59-ulf-norells-macbook-pro/
- 20081126-15.26-ulf-norells-macbook-pro/
- 20081127-09.18-ulf-norells-macbook-pro/
- 20081127-21.23-ulf-norells-macbook-pro/
- 20081201-12.53-ulf-norells-macbook-pro/
- 20081201-12.55-ulf-norells-macbook-pro/
- 20081201-13.09-ulf-norells-macbook-pro/
- 20090423-08.30-ulf-norells-macbook-pro/
- 20100113-19.32-dhcp-20-76/
- 20110629-21.47-ulf-norells-macbook-pro/
- 20110701-09.48-dhcp-183029/
- 20110706-10.42-dhcp-186038/
- 20110706-16.14-dhcp-186038/
- 20110822-09.36-dhcp-190251/
- 20110822-13.57-dhcp-190251/
- 20110823-07.51-ulf-norells-macbook-pro/
- 20110823-08.00-ulf-norells-macbook-pro/
- 20110824-18.56-ulf-norells-macbook-pro/
- 20110825-14.57-ulf-norells-macbook-pro/
- 20110830-17.10-dhcp-178109/
- 20110830-18.20-dhcp-178109/
- 20110901-08.43-Ulfs-MacBook-Pro/
- 20110901-12.30-Ulfs-MacBook-Pro/
- 20110901-13.33-Ulfs-MacBook-Pro/
- 20110902-12.38-Ulfs-MacBook-Pro/
- 20110906-12.30-Ulfs-MacBook-Pro/
- 20110907-01.19-Ulfs-MacBook-Pro/
- 20110907-03.11-Ulfs-MacBook-Pro/
- 20110907-03.26-Ulfs-MacBook-Pro/
- 20110907-04.48-Ulfs-MacBook-Pro/
- 20110907-05.32-Ulfs-MacBook-Pro/
- 20110908-14.00-Ulfs-MacBook-Pro/
- 20110909-23.56-Ulfs-MacBook-Pro/
- 20110910-23.55-Ulfs-MacBook-Pro/
- 20110915-07.38-Ulfs-MacBook-Pro/
- 20110915-08.47-Ulfs-MacBook-Pro/
- 20110915-09.14-Ulfs-MacBook-Pro/
- 20110915-13.11-Ulfs-MacBook-Pro/
- 20110919-16.46-Ulfs-MacBook-Pro/
- 20110922-22.40-Ulfs-MacBook-Pro/
- 20110924-09.49-Ulfs-MacBook-Pro/
- 20110924-10.04-Ulfs-MacBook-Pro/
- 20110924-10.14-Ulfs-MacBook-Pro/
- 20120216-13.00-Ulfs-MacBook-Pro/
- 20120329-12.19-Ulfs-MacBook-Pro/
- 20120406-10.19-Ulfs-MacBook-Pro/
- 20120509-13.01-Ulfs-MacBook-Pro/
- 20120702-14.40-Ulfs-MacBook-Pro/
- 20120705-07.39-Ulfs-MacBook-Pro/
- 20121005-18.37-Ulfs-MacBook-Pro/
- 20121005-20.31-Ulfs-MacBook-Pro/