Words to Describe provers

How provers often is described ("________ provers")

• modern
• austrian
• automatic
• inductive
• most
• type
• fellow
• various
• many
• several
• parallel
• propositional
• mechanized
• distributed
• modal
• specialized
• compact
• healthy
• order
• purpose
• conventional
• classical
• automated
• down
• sensitive
• general
• based
• theistic
• mechanical
• critical
• interactive
• bidirectional
• homoeopathic
• style
• theorem
• available
• current
• male
• heuristic
• female
• next
• powerful
• oriented
• different
• efficient
• traditional
• other
• standard
• external
• multiple
• art