rsproof/run.sh at main · FoxSamu/rsproof · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
cargo build -r

for entry in ./benchmark/*.in
do
  echo "==================================================================="
  echo "$entry"

  echo "-- prefer_empty ---------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H prefer_empty -s 5000 -v > "$entry.prefer_empty.out"
  echo ""
  echo "-- depth ----------------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H depth -s 5000 -v > "$entry.depth.out"
  echo ""
  echo "-- disjunct_count -------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H disjunct_count -s 5000 -v > "$entry.disjunct_count.out"
  echo ""
  echo "-- symbol_count ---------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H symbol_count -s 5000 -v > "$entry.symbol_count.out"
  echo ""
  echo "-- disjunct_count_plus_depth -------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H disjunct_count_plus_depth -s 5000 -v > "$entry.disjunct_count_plus_depth.out"
  echo ""
  echo "-- symbol_count_plus_depth ---------------------------------------------------"
  time ./target/release/rsproof prove -f "$entry" -H symbol_count_plus_depth -s 5000 -v > "$entry.symbol_count_plus_depth.out"
  echo ""
  echo "==================================================================="
done