Project Statistics: Variable Dependencies of Quantified Boolean Formulas

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 8
NA - North America 2
Total 10
Country #
AT - Austria 5
US - United States of America 2
FR - France 1
HU - Hungary 1
SE - Sweden 1
Total 10
City #
Des Moines 2
Budapest 1
Unknown 7
Total 10


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2021 00 0000 0001 00 1
2022 11 0010 5000 10 9
Ever 10