#!/usr/bin/env bash

# I couldn't force z3 to always stop after timeout, so this is a crude hack:

for divisor in $(seq 2 100)
do
	for states in $(seq 2 100)
	do
		fname=DIVISOR\_$divisor\_STATES\_$states
		echo $fname
		timeout --kill-after=3600 3600 ./2.py $divisor $states > $fname.log
		cat $fname.log
		cat $fname.log | grep "test OK" > tmp.1
                size=$(wc -c < tmp.1)
                if [ $size != "0" ];
                then
			break
		fi
	done
done