View Single Post
Old 2017-09-28, 15:37   #263
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

22×32×19 Posts
Default

Quote:
Originally Posted by EdH View Post
I can't seem to get a certificate for PRP 1100000000976903844. I have tried the UGS=0 from much earlier in the thread and several other things. But, all I receive is:
Code:
Status=ABORTED DUE TO INTERNAL ERROR 4.21.7.2
Could someone else give it a shot? If no one can, I'll forward the error to Marcel Martin.

Thanks!
I'll give it a try. Don't expect results before tomorrow though

How long does it take until the error occurs? Does it start to compute at all?

Last fiddled with by Puzzle-Peter on 2017-09-28 at 15:49
Puzzle-Peter is offline   Reply With Quote