Remarks on Classes of Random Bounties
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:
- Remarks on Classes of Random Bounties -
Brown,
2020-10-03, 11:48
![[*]](themes/default/images/complete_thread.png "Open whole thread")
- Remarks on Classes of Random Bounties -
,
2020-10-05, 10:38
- Remarks on Classes of Random Bounties - Brown, 2020-10-07, 13:58
- Remarks on Classes of Random Bounties - Brown, 2020-10-07, 19:31
- Remarks on Classes of Random Bounties -
,
2020-10-05, 10:38