Project

General

Profile

Revision 221a3816 benchmarks/aconjunctive_mu/bench_one_formula.sh

View differences:

benchmarks/aconjunctive_mu/bench_one_formula.sh
18 18

  
19 19
# Number of times to run each programm for each formula series member. The
20 20
# mesured time will be printed as an average of all runs plus stddev.
21
REPEATS=5
21
REPEATS=3
22 22

  
23 23
# Maximum time to spend on a single formula for each program. Formulas are
24 24
# tested until one formula exceeds this timetout.
......
26 26
# This includes _all_ repeats as specified above, so to give each program a
27 27
# maximum time of 5 minutes to solve each fomula with 3 repeats, you have to set
28 28
# this to 5*3 = 15 minutes.
29
TIMEOUT=10s
29
TIMEOUT=6m
30 30

  
31 31
# Directory where output files will be stored
32 32
OUTPUT_BASE="output/"

Also available in: Unified diff