test history for monetdb5/modules/mal/bigsum on GNU-Fedora-x86_64-thrs=1-propcheck-dist