- MoMM: more than 50% advice success on the simple justification steps over whole MML in 2002 (Most of Mizar Matches!)
- SInE+Vampire: about 40% now (2010) - but this is a general system
- on hard (theorem problems): MoMM - 2% in 2002, SInE+Vampire - 15% in 2010
- MPTP Challenge: SInE+Vampire - 44%, SRASS - 50%, MaLARea - 66%
Josef Urban
2011-01-14
