Remarks on Classes of Random Bounties

by Brown, Wednesday, October 07, 2020, 19:31 (424 days ago) @

I ran some tests today and you are absolutely right. From the tests I ran a version of Vampire running with CASC mode could prove about 25% of random AIM problems. So the AIM problems are also too easy.


Complete thread:

 RSS Feed of thread

powered by my little forum