0N/A#!/bin/sh
196N/A
0N/A# testing K modal logic formulae
0N/Afor i in ../k_and_kd/*
0N/Ado
0N/A echo "~~~~~~processing $i"
0N/A ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 1 -nv -p $i
0N/Adone
0N/A