#!/bin/sh

models[2]="car_fm.xml aircraft_fm.xml movies_app_fm.xml REAL-FM-12.xml stack_fm.xml Graph-product-line-fm.xml connector_fm.xml fame_dbms_fm.xml Apl.m TightVNC.m smart_home_fm.xml"
models[3]="car_fm.xml aircraft_fm.xml movies_app_fm.xml REAL-FM-12.xml stack_fm.xml connector_fm.xml fame_dbms_fm.xml Apl.m TightVNC.m smart_home_fm.xml Gg4.m"

SPLCATool="java -Xmx31g -jar SPLCATool.jar"

mkdir IPOGData

for t in 2 3; do
	for fm in ${models[t]}; do
		for i in {1..100}; do
			echo $fm, t=$t, n=$i
			$SPLCATool -t t_wise -fm $fm -s $t -a IPOG | grep Done >> IPOGData/${fm}.${t}.txt
		done
	done
done