Reports since 2018-12-13

loading
main reports
event occurrences
unique logins 23
jobs initiated 96
job pairs run 509983
solvers uploaded 40
benchmarks uploaded 0
benchmark archives uploaded 0
reports for long.q
event occurrences
job pairs run 2902
jobs initiated 38
reports for tptp.q
event occurrences
job pairs run 32301
reports for all.q
event occurrences
job pairs run 462628
jobs initiated 46
reports for all2.q
event occurrences
job pairs run 12152
jobs initiated 12
past reports
file
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