#!/bin/sh

echo start
i=0
k=0
while [ 1 ]; do
  i=$((i+1));
  echo "$i $k"
  ./solve_static "/vuln | tee /dev/stderr" 2> log1 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log2 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log3 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log4 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log5 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log6 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log7 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log8 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log9 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log10 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log11 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log12 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log13 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log14 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log15 &
  ./solve_static "/vuln | tee /dev/stderr" 2> log16 &
  wait
  l=$(cat log* | grep "Invalid option" | wc -l)
  echo "$l/16"
  k=$((k+l))
  cat log* | grep CSCG && break
done