1. Experimenting on nondeterministic machines