ALB42 and Chain-Q did help to track down errors in the fpu:
Code:
flype sagt:
3. März 2018 um 23:31 Uhr
Ok, thanks ALB42 and Chain-Q for the inputs.
The Round() issue is now fixed in the next Vampire core.
MUIMapparium runs well now, both CPU and FPU versions are OK.