Reports since 2019-06-20

loading
main reports
event occurrences
unique logins 47
jobs initiated 91
job pairs run 519646
solvers uploaded 51
benchmarks uploaded 3451
benchmark archives uploaded 13
reports for maxsateval.q
event occurrences
job pairs run 40542
jobs initiated 28
reports for smtcomp.q
event occurrences
job pairs run 303940
reports for syntcomp.q
event occurrences
job pairs run 738
reports for satrace.q
event occurrences
job pairs run 47
jobs initiated 4
reports for all.q
event occurrences
job pairs run 166095
jobs initiated 56
reports for qbfeval.q
event occurrences
job pairs run 8223
jobs initiated 3
past reports
file
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