handling other file formats

2 jobs for VERIPB2 in 42 minutes and 42 seconds (queued for 5 minutes and 3 seconds)