File name # Integers # Booleans (unbounded)Nondet Integers
wdd1.c 15 0 3
bakery.c 8 0 7
wdd2.c 50 2 15
wdd3.c 12 1 12
wdd4.c 30 2 28
Prod-Cons.c 5 0 5