generate exhaustive simulation inputs: OK