#!/bin/sh

models[1]="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 Gg4.m arcade_game_pl_fm.xml Berkeley.m Violet.m Eshop-fm.xml ecos-icse11.dimacs freebsd-icse11.dimacs 2.6.28.6-icse11.dimacs"
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 Gg4.m arcade_game_pl_fm.xml Berkeley.m Violet.m Eshop-fm.xml ecos-icse11.dimacs freebsd-icse11.dimacs"
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 Gg4.m arcade_game_pl_fm.xml Berkeley.m Violet.m Eshop-fm.xml"

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

mkdir J11Data

for t in 1 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 ICPL | grep Done >> ICPLData/${fm}.${t}.txt
		done
	done
done