Index of /code.haskell.org/Agda/benchmark/logs/


../
20071213-12.58-dhcp-246-168/                       15-Feb-2019 15:15                   -
20071219-11.21-livia/                              15-Feb-2019 15:15                   -
20080306-11.43-livia/                              15-Feb-2019 15:16                   -
20080306-11.59-livia/                              15-Feb-2019 15:15                   -
20080407-14.00-dhcp-243-41/                        15-Feb-2019 15:15                   -
20080730-12.47-ulf-norells-macbook-pro/            15-Feb-2019 15:14                   -
20081126-12.59-ulf-norells-macbook-pro/            15-Feb-2019 15:14                   -
20081126-15.26-ulf-norells-macbook-pro/            15-Feb-2019 15:16                   -
20081127-09.18-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20081127-21.23-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20081201-12.53-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20081201-12.55-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20081201-13.09-ulf-norells-macbook-pro/            15-Feb-2019 15:14                   -
20090423-08.30-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20100113-19.32-dhcp-20-76/                         15-Feb-2019 15:15                   -
20110510-10.18-localhost/                          15-Feb-2019 15:15                   -
20110629-21.47-ulf-norells-macbook-pro/            15-Feb-2019 15:14                   -
20110701-09.48-dhcp-183029/                        15-Feb-2019 15:16                   -
20110706-10.42-dhcp-186038/                        15-Feb-2019 15:15                   -
20110706-16.14-dhcp-186038/                        15-Feb-2019 15:16                   -
20110822-09.36-dhcp-190251/                        15-Feb-2019 15:15                   -
20110822-13.57-dhcp-190251/                        15-Feb-2019 15:16                   -
20110823-07.51-ulf-norells-macbook-pro/            15-Feb-2019 15:15                   -
20110823-08.00-ulf-norells-macbook-pro/            15-Feb-2019 15:16                   -
20110824-18.56-ulf-norells-macbook-pro/            15-Feb-2019 15:16                   -
20110825-14.57-ulf-norells-macbook-pro/            15-Feb-2019 15:16                   -
20110830-17.10-dhcp-178109/                        15-Feb-2019 15:16                   -
20110830-18.20-dhcp-178109/                        15-Feb-2019 15:16                   -
20110901-08.43-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110901-12.30-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110901-13.33-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110902-12.38-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110906-12.30-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110907-01.19-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110907-03.11-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110907-03.26-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110907-04.48-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110907-05.32-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110908-14.00-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110909-23.56-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110910-23.55-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110915-07.38-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110915-08.47-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110915-09.14-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110915-13.11-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110919-16.46-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110922-22.40-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110924-09.49-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20110924-10.04-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20110924-10.14-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20120216-13.00-Ulfs-MacBook-Pro/                   15-Feb-2019 15:17                   -
20120329-12.19-Ulfs-MacBook-Pro/                   15-Feb-2019 15:14                   -
20120406-10.19-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20120509-13.01-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20120702-14.40-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20120705-07.39-Ulfs-MacBook-Pro/                   15-Feb-2019 15:15                   -
20120707-11.58-bodrum/                             15-Feb-2019 15:16                   -
20120707-12.23-bodrum/                             15-Feb-2019 15:16                   -
20120707-12.29-bodrum/                             15-Feb-2019 15:15                   -
20120707-12.44-bodrum/                             15-Feb-2019 15:16                   -
20120914-21.09-bodrum/                             15-Feb-2019 15:16                   -
20120926-10.42-bodrum/                             15-Feb-2019 15:16                   -
20120926-11.42-bodrum/                             15-Feb-2019 15:15                   -
20121005-18.37-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20121005-20.31-Ulfs-MacBook-Pro/                   15-Feb-2019 15:16                   -
20121011-14.31-agda/                               15-Feb-2019 15:15                   -
20121118-21.45-bodrum/                             15-Feb-2019 15:15                   -
20130519-15.26-bodrum/                             15-Feb-2019 15:16                   -
20130615-09.30-agda/                               15-Feb-2019 15:14                   -
20130615-10.00-agda/                               15-Feb-2019 15:15                   -
20130902-16.43-Ulfs-QuviQ-Mac/                     15-Feb-2019 15:15                   -
20140205-11.40-dhcp-191156/                        15-Feb-2019 15:16                   -
20140212-13.54-Ulfs-QuviQ-Mac/                     15-Feb-2019 15:15                   -
20140322-12.36-agda/                               15-Feb-2019 15:15                   -
20140322-21.30-agda/                               15-Feb-2019 15:16                   -
20140322-21.50-agda/                               15-Feb-2019 15:14                   -
20140322-22.17-agda/                               15-Feb-2019 15:15                   -
20140322-23.12-agda/                               15-Feb-2019 15:15                   -
20140323-11.13-agda/                               15-Feb-2019 15:16                   -
20140323-14.26-agda/                               15-Feb-2019 15:16                   -
20140323-16.55-agda/                               15-Feb-2019 15:15                   -
20140323-21.37-agda/                               15-Feb-2019 15:16                   -
20140323-23.12-agda/                               15-Feb-2019 15:16                   -
20140324-15.31-agda/                               15-Feb-2019 15:16                   -