new dataset (# 23751 refutations) with 130 deletions and 126 final maximal refutations