Revision 221a3816 benchmarks/aconjunctive_mu/bench_one_formula.sh
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