Results for NVCAD/Numericumericum