Show penalized time in results CSV
Merge branch 'master' into satcompetition2014
Add script for certified UNSAT statistics