Reports since 2020-05-28

loading
main reports
event occurrences
unique logins 48
jobs initiated 130
job pairs run 323022
solvers uploaded 110
benchmarks uploaded 1389
benchmark archives uploaded 16
reports for smtcomp.q
event occurrences
job pairs run 280838
jobs initiated 5
reports for long.q
event occurrences
job pairs run 618
jobs initiated 5
reports for satcomp.q
event occurrences
job pairs run 11440
jobs initiated 1
reports for osupgrade.q
event occurrences
job pairs run 998
jobs initiated 1
reports for all.q
event occurrences
job pairs run 29115
jobs initiated 118
past reports
file
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