#!/bin/bash

file=maze
players="Enric Tonto Tonto Tonto"

n=100
m=0
i=1
while [ $i -le $n ]; do
BolaDeDrac -s $i $players < $file.cnf 1> $file.bdd 2> $file.err
    if grep -q "info: player(s) Enric got top score" $file.err; then
	# echo "Game #$i: OK"
	m=$((m+1))
    # else
    # 	echo "Game #$i: --"
    fi
    i=$((i+1))
done

echo $m
echo $n
p=$(echo "scale=4; $m/$n" | bc)
echo "% of success 1 game: $p"
q=$(echo "scale=4; $p*$p*$p*$p" | bc)
echo "% of success 4 game: $q"
