Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / scripts / dotestK.sh @ 7f43d596

History | View | Annotate | Download (679 Bytes)

1
#!/bin/bash
2

    
3
dir=$HOME/.www/cool/noon/
4

    
5
while sleep 0.2 ; do
6
    for T in 5 ; do
7
        for d in {8..15} ; do
8
            echo
9
            echo "=== d=$d T=$T ==="
10
             ~/git/cool-solver/randcool/dist/build/randcool/randcool \
11
                -K \
12
                --no-toplevel-disj-form \
13
                --no-toplevel-conj-tbox \
14
                --modal-depth-tbox 2 -T $T -n 2  \
15
                --max-conjuncts 6 \
16
                --max-disjuncts 6 \
17
                -d $d \
18
                > input
19

    
20
           ./coalgcompare --timeout 300 genericK < input \
21
                | tee -a $dir/K-d${d}-T${T}.${HOSTNAME} \
22
            || break
23
        done
24
    done
25
done
26