new file:   testruns/nodup/run13.ql.nodup.ndeval