benchmark all the things in the directories without xargs shenanigans

bench.py

import os
import time


for root, dirs, files in os.walk("."):
    for file in files:
        if file.endswith(".smt2"):
            start = time.time()
            if os.system("gtimeout 5 cvc4 "+ file) == 0: 
                end = time.time()
                os.system("echo " print file + ", " + str(end-start)