#!/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 arcade_game_pl_fm.xml Berkeley.m Violet.m"
models[3]="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 arcade_game_pl_fm.xml Berkeley.m Violet.m"

SPLCATool="java -Xmx31g -jar SPLCATool-v0.3-SPLC2012-full.jar"

mkdir MoSoPoLiTeData2

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 MoSoPoLiTe | grep Done >> MoSoPoLiTeData2/${fm}.${t}.txt
		done
	done
done