@@ -0,0 +1,1487 @@
+%22%22%22%0AMeasure timing of satyrs on cnf files of varying sizes.%0A%22%22%22%0Afrom subprocess import check_output, STDOUT%0A%0A# In (roughly) increasing order%0ACNF_FILES = %5B%0A    './tests/test.cnf',%0A    './tests/quinn.cnf',%0A    './tests/medium.cnf',%0A    './tests/cascade.cnf',%0A    # Unsat%0A    './tests/phole/hole6.cnf',%0A    './tests/phole/hole7.cnf',%0A    './tests/dubois29_unsat.cnf'%0A%5D%0A%0Aif __name__ == '__main__':%0A    from argparse import ArgumentParser, ArgumentDefaultsHelpFormatter%0A    parser = ArgumentParser(formatter_class=ArgumentDefaultsHelpFormatter)%0A    parser.add_argument('-n', '--num', type=int, default=5,%0A                        help=%22Number of times to run satyrs on each cnf%22)%0A    parser.add_argument('-v', '--verbose', action='store_true',%0A                        help=%22Be verbose (print the results of each run)%22)%0A    args = parser.parse_args()%0A%0A    for f in CNF_FILES:%0A        average_time = 0%0A        for i in xrange(args.num):%0A            output = check_output(%0A                %5B%22time%22, %22target/release/satyrs%22, f%5D,%0A                stderr=STDOUT,%0A            )%0A            # Output from time command is the last six elements of this%0A            # split, and real time is what we're looking for%0A            timing_output = output.split()%5B-6:%5D%0A            real_time = float(timing_output%5B0%5D)%0A            if args.verbose:%0A                print %22%7B%7D (%7B%7D): %7B%7D%22.format(f, i, real_time)%0A            average_time += real_time / args.num%0A        print %22%7B%7D (AVERAGE): %7B%7D%22.format(f, average_time)%0A

Add timing script