Create UTNonObliviscar-TestWCDB.out