View Single Post
Old 2021-06-10, 22:16   #464
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

10308 Posts
Default

Looking at that table, there are a lot of results that should be able to be proven in less than a day (at least) on "bigger" systems. Please correct me, if I am wrong here, frequent Primo users!

If correct, I'd like to reserve some of the smaller ones tomorrow for Primo. I will specify them futher then and also double check them on FactorDB.

In the list of kar_bon, maybe we should try to certify the "orange" entries, too?
kruoli is offline   Reply With Quote