Project Statistics: Learning to Solve Quantified Boolean Formulas

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 10
NA - North America 1
Total 11
Country #
AT - Austria 5
SE - Sweden 3
HU - Hungary 1
RU - Russian Federation 1
US - United States of America 1
Total 11
City #
Budapest 1
Des Moines 1
Unknown 9
Total 11


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2021 00 0000 1003 00 4
2022 01 0000 4001 10 7
Ever 11