#!/bin/sh
# testing KD modal logic formulae
for i in ../k_and_kd/*
do
echo "~~~~~~processing $i"
./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 2 -p $i
done