the prover has consistently performed well in the cade atp system competition, winning the cnf/mix category in 2000 and finishing among the top systems ever since. in 2008 it came in second place. in 2009 it won second place in the fof (full first order logic) and ueq (unit equational logic) categories and third place (after two versions of vampire) in cnf (clausal logic). it repeated the performance in fof and cnf in 2010, and won a special award as "overall best" system. in the 2011 casc-23 e won the cnf division and achieved second places in ueq and ltb.