Reports since 2023-05-25

loading
main reports
event occurrences
unique logins 42
jobs initiated 85
job pairs run 246705
solvers uploaded 59
benchmarks uploaded 2567
benchmark archives uploaded 13
reports for long.q
event occurrences
job pairs run 1221
jobs initiated 1
reports for satcomp.q
event occurrences
job pairs run 8
jobs initiated 1
reports for all.q
event occurrences
job pairs run 245476
jobs initiated 83
past reports
file
2023-05-25.txt
2023-05-18.txt
2023-05-11.txt
2023-05-04.txt
2023-04-27.txt
2023-04-20.txt
2023-04-13.txt
2023-04-06.txt
2023-03-30.txt
2023-03-23.txt
2023-03-16.txt
2023-03-09.txt
2023-03-02.txt
2023-02-23.txt
2023-02-16.txt
2023-02-09.txt
2023-02-02.txt
2023-01-26.txt
2023-01-19.txt
2023-01-12.txt
2023-01-05.txt
2022-12-29.txt
2022-12-22.txt
2022-12-15.txt
2022-12-08.txt
2022-12-01.txt
2022-11-24.txt
2022-11-17.txt
2022-11-10.txt
2022-11-03.txt
2022-10-27.txt
2022-10-20.txt
2022-10-13.txt
2022-10-06.txt
2022-09-29.txt
2022-09-22.txt
2022-09-15.txt
2022-09-08.txt
2022-09-01.txt
2022-08-25.txt
2022-08-18.txt
2022-08-11.txt
2022-08-04.txt
2022-07-28.txt
2022-07-21.txt
2022-07-14.txt
2022-07-07.txt
2022-06-30.txt
2022-06-23.txt
2022-06-16.txt
2022-06-09.txt
2022-06-02.txt
2022-05-26.txt
2022-05-19.txt
2022-05-12.txt
2022-05-05.txt
2022-04-28.txt
2022-04-21.txt
2022-04-14.txt
2022-04-07.txt
2022-03-31.txt
2022-03-24.txt
2022-03-17.txt
2022-03-10.txt
2022-03-03.txt
2022-02-24.txt
2022-02-17.txt
2022-02-10.txt
2022-02-03.txt
2022-01-27.txt
2022-01-20.txt
2022-01-13.txt
2022-01-06.txt
2021-12-30.txt
2021-12-23.txt
2021-12-16.txt
2021-12-09.txt
2021-12-02.txt
2021-11-25.txt
2021-11-18.txt
2021-11-11.txt
2021-11-04.txt
2021-10-28.txt
2021-10-21.txt
2021-10-14.txt
2021-10-07.txt
2021-09-30.txt
2021-09-23.txt
2021-09-16.txt
2021-09-09.txt
2021-09-02.txt
2021-08-26.txt
2021-08-19.txt
2021-08-12.txt
2021-08-05.txt
2021-07-29.txt
2021-07-22.txt
2021-07-15.txt
2021-07-08.txt
2021-07-01.txt
2021-06-24.txt
2021-06-17.txt
2021-06-10.txt
2021-06-03.txt
2021-05-27.txt
2021-05-20.txt
2021-05-13.txt
2021-05-06.txt
2021-04-29.txt
2021-04-22.txt
2021-04-15.txt
2021-04-08.txt
2021-04-01.txt
2021-03-25.txt
2021-03-18.txt
2021-03-11.txt
2021-03-04.txt
2021-02-25.txt
2021-02-18.txt
2021-02-11.txt
2021-02-04.txt
2021-01-28.txt
2021-01-21.txt
2021-01-14.txt
2021-01-07.txt
2020-12-31.txt
2020-12-24.txt
2020-12-17.txt
2020-12-10.txt
2020-12-03.txt
2020-11-26.txt
2020-11-19.txt
2020-11-12.txt
2020-11-05.txt
2020-10-29.txt
2020-10-22.txt
2020-10-15.txt
2020-10-08.txt
2020-10-01.txt
2020-09-24.txt
2020-09-17.txt
2020-09-10.txt
2020-09-03.txt
2020-08-27.txt
2020-08-20.txt
2020-08-13.txt
2020-08-06.txt
2020-07-30.txt
2020-07-23.txt
2020-07-16.txt
2020-07-09.txt
2020-07-02.txt
2020-06-25.txt
2020-06-18.txt
2020-06-11.txt
2020-06-04.txt
2020-05-28.txt
2020-05-21.txt
2020-05-14.txt
2020-05-07.txt
2020-04-30.txt
2020-04-23.txt
2020-04-16.txt
2020-04-09.txt
2020-04-02.txt
2020-03-26.txt
2020-03-19.txt
2020-03-12.txt
2020-03-05.txt
2020-02-27.txt
2020-02-20.txt
2020-02-13.txt
2020-02-06.txt
2020-01-30.txt
2020-01-23.txt
2020-01-16.txt
2020-01-09.txt
2020-01-02.txt
2019-12-26.txt
2019-12-19.txt
2019-12-12.txt
2019-12-05.txt
2019-11-28.txt
2019-11-21.txt
2019-11-14.txt
2019-11-07.txt
2019-10-31.txt
2019-10-24.txt
2019-10-17.txt
2019-10-10.txt
2019-10-03.txt
2019-09-26.txt
2019-09-19.txt
2019-09-12.txt
2019-09-05.txt
2019-08-29.txt
2019-08-22.txt
2019-08-15.txt
2019-08-08.txt
2019-08-01.txt
2019-07-25.txt
2019-07-18.txt
2019-07-11.txt
2019-07-04.txt
2019-06-27.txt
2019-06-20.txt
2019-06-13.txt
2019-06-06.txt
2019-05-30.txt
2019-05-23.txt
2019-05-16.txt
2019-05-09.txt
2019-05-02.txt
2019-04-25.txt
2019-04-18.txt
2019-04-11.txt
2019-04-04.txt
2019-03-28.txt
2019-03-21.txt
2019-03-14.txt
2019-03-07.txt
2019-02-28.txt
2019-02-21.txt
2019-02-14.txt
2019-02-07.txt
2019-01-31.txt
2019-01-24.txt
2019-01-17.txt
2019-01-10.txt
2019-01-03.txt
2018-12-27.txt
2018-12-20.txt
2018-12-13.txt
2018-12-06.txt
2018-11-29.txt
2018-11-22.txt
2018-11-15.txt
2018-11-08.txt
2018-11-01.txt
2018-10-25.txt
2018-10-18.txt
2018-10-11.txt
2018-10-04.txt
2018-09-27.txt
2018-09-20.txt
2018-09-13.txt
2018-09-06.txt
2018-08-30.txt
2018-08-23.txt
2018-08-16.txt
2018-08-09.txt
2018-08-02.txt
2018-07-26.txt
2018-07-19.txt
2018-07-12.txt
2018-07-05.txt
2018-06-28.txt
2018-06-21.txt
2018-06-14.txt
2018-06-07.txt
2018-05-31.txt
2018-05-24.txt
2018-05-17.txt
2018-05-10.txt
2018-05-03.txt
2018-04-26.txt
2018-04-19.txt
2018-04-12.txt
2018-04-05.txt
2018-03-29.txt
2018-03-22.txt
2018-03-15.txt
2018-03-08.txt
2018-03-01.txt
2018-02-22.txt
2018-02-15.txt
2018-02-08.txt
2018-02-01.txt
2018-01-25.txt
2018-01-18.txt
2018-01-11.txt
2018-01-04.txt
2017-12-28.txt
2017-12-21.txt
2017-12-14.txt
2017-12-07.txt
2017-11-30.txt
2017-11-23.txt
2017-11-16.txt
2017-11-09.txt
2017-11-02.txt
2017-10-26.txt
2017-10-19.txt
2017-10-12.txt
2017-10-05.txt
2017-09-28.txt
2017-09-21.txt
2017-09-14.txt
2017-09-07.txt
2017-08-31.txt
2017-08-24.txt
2017-08-17.txt
2017-08-10.txt
2017-08-03.txt
2017-07-27.txt
2017-07-20.txt
2017-07-13.txt
2017-07-06.txt
2017-06-29.txt
2017-06-22.txt
2017-06-15.txt
2017-06-08.txt
2017-06-01.txt
2017-05-25.txt
2017-05-18.txt
2017-05-11.txt
2017-05-04.txt
2017-04-27.txt
2017-04-20.txt
2017-04-13.txt
2017-04-06.txt
2017-03-30.txt
2017-03-23.txt
2017-03-16.txt
2017-03-09.txt
2017-03-02.txt
2017-02-23.txt
2017-02-16.txt
2017-02-09.txt
2017-02-02.txt
2017-01-26.txt
2017-01-19.txt
2017-01-12.txt
2017-01-05.txt
2016-12-29.txt
2016-12-22.txt
2016-12-15.txt
2016-12-08.txt
2016-12-01.txt
2016-11-24.txt
2016-11-17.txt
2016-11-10.txt
2016-11-03.txt
2016-10-27.txt
2016-10-20.txt
2016-10-13.txt
2016-10-06.txt
2016-09-29.txt
2016-09-22.txt
2016-09-15.txt
2016-09-08.txt
2016-09-01.txt
2016-08-25.txt
2016-08-18.txt
2016-08-11.txt
2016-08-04.txt
2016-07-28.txt
2016-07-21.txt
2016-07-14.txt
2016-07-07.txt
2016-06-30.txt
2016-06-23.txt
2016-06-16.txt
2016-06-09.txt
2016-06-02.txt
2016-05-26.txt
2016-05-19.txt
2016-05-12.txt
2016-05-05.txt
2016-04-28.txt
2016-04-21.txt
2016-04-14.txt
2016-04-07.txt
2016-03-31.txt
2016-03-24.txt
2016-03-17.txt
2016-03-10.txt
2016-03-03.txt
2016-02-25.txt
2016-02-18.txt
2016-02-11.txt
2016-02-04.txt
2016-01-28.txt
2016-01-21.txt
2016-01-14.txt
2016-01-07.txt
2015-12-31.txt
2015-12-24.txt
2015-12-17.txt
2015-12-10.txt
2015-12-03.txt
2015-11-26.txt
2015-11-19.txt
2015-11-12.txt
2015-11-05.txt
2015-10-29.txt
2015-10-22.txt
2015-10-15.txt
2015-10-08.txt
2015-10-01.txt
2015-09-24.txt
2015-09-17.txt
2015-09-10.txt
2015-09-03.txt
2015-08-27.txt
2015-08-20.txt
2015-08-13.txt
2015-08-06.txt
2015-07-30.txt
2015-07-23.txt
2015-07-16.txt
2015-07-09.txt
2015-07-02.txt
2015-06-25.txt
2015-06-18.txt
2015-06-11.txt
2015-06-04.txt
2015-05-28.txt
2015-05-21.txt
2015-05-14.txt
2015-05-07.txt
2015-04-30.txt
2015-04-23.txt
2015-04-16.txt