Makefile coalition/test00.in coalition/test01.in coalition/test02.in coalition/test03.in coalition/test04.in coalition/test05.in graded/test01.in graded/test02.in graded/test03.in graded/test04.in graded/test05.in graded/test06.in hennessy_milner/test01.in hennessy_milner/test02.in hennessy_milner/test03.in hennessy_milner/test04.in hennessy_milner/test05.in k_and_kd/k_branch_n_01.in k_and_kd/k_branch_n_02.in k_and_kd/k_branch_n_03.in k_and_kd/k_branch_n_04.in k_and_kd/k_branch_n_05.in k_and_kd/k_branch_n_06.in k_and_kd/k_branch_n_07.in k_and_kd/k_branch_n_08.in k_and_kd/k_branch_n_09.in k_and_kd/k_branch_n_10.in k_and_kd/k_branch_n_11.in k_and_kd/k_branch_n_12.in k_and_kd/k_branch_n_13.in k_and_kd/k_branch_n_14.in k_and_kd/k_branch_n_15.in k_and_kd/k_branch_n_16.in k_and_kd/k_branch_n_17.in k_and_kd/k_branch_n_18.in k_and_kd/k_branch_n_19.in k_and_kd/k_branch_n_20.in k_and_kd/k_branch_n_21.in k_and_kd/k_branch_p_01.in k_and_kd/k_branch_p_02.in k_and_kd/k_branch_p_03.in k_and_kd/k_branch_p_04.in k_and_kd/k_branch_p_05.in k_and_kd/k_branch_p_06.in k_and_kd/k_branch_p_07.in k_and_kd/k_branch_p_08.in k_and_kd/k_branch_p_09.in k_and_kd/k_branch_p_10.in k_and_kd/k_branch_p_11.in k_and_kd/k_branch_p_12.in k_and_kd/k_branch_p_13.in k_and_kd/k_branch_p_14.in k_and_kd/k_branch_p_15.in k_and_kd/k_branch_p_16.in k_and_kd/k_branch_p_17.in k_and_kd/k_branch_p_18.in k_and_kd/k_branch_p_19.in k_and_kd/k_branch_p_20.in k_and_kd/k_branch_p_21.in k_and_kd/k_d4_n_01.in k_and_kd/k_d4_n_02.in k_and_kd/k_d4_n_03.in k_and_kd/k_d4_n_04.in k_and_kd/k_d4_n_05.in k_and_kd/k_d4_n_06.in k_and_kd/k_d4_n_07.in k_and_kd/k_d4_n_08.in k_and_kd/k_d4_n_09.in k_and_kd/k_d4_n_10.in k_and_kd/k_d4_n_11.in k_and_kd/k_d4_n_12.in k_and_kd/k_d4_n_13.in k_and_kd/k_d4_n_14.in k_and_kd/k_d4_n_15.in k_and_kd/k_d4_n_16.in k_and_kd/k_d4_n_17.in k_and_kd/k_d4_n_18.in k_and_kd/k_d4_n_19.in k_and_kd/k_d4_n_20.in k_and_kd/k_d4_n_21.in k_and_kd/k_d4_p_01.in k_and_kd/k_d4_p_02.in k_and_kd/k_d4_p_03.in k_and_kd/k_d4_p_04.in k_and_kd/k_d4_p_05.in k_and_kd/k_d4_p_06.in k_and_kd/k_d4_p_07.in k_and_kd/k_d4_p_08.in k_and_kd/k_d4_p_09.in k_and_kd/k_d4_p_10.in k_and_kd/k_d4_p_11.in k_and_kd/k_d4_p_12.in k_and_kd/k_d4_p_13.in k_and_kd/k_d4_p_14.in k_and_kd/k_d4_p_15.in k_and_kd/k_d4_p_16.in k_and_kd/k_d4_p_17.in k_and_kd/k_d4_p_18.in k_and_kd/k_d4_p_19.in k_and_kd/k_d4_p_20.in k_and_kd/k_d4_p_21.in k_and_kd/k_dum_n_01.in k_and_kd/k_dum_n_02.in k_and_kd/k_dum_n_03.in k_and_kd/k_dum_n_04.in k_and_kd/k_dum_n_05.in k_and_kd/k_dum_n_06.in k_and_kd/k_dum_n_07.in k_and_kd/k_dum_n_08.in k_and_kd/k_dum_n_09.in k_and_kd/k_dum_n_10.in k_and_kd/k_dum_n_11.in k_and_kd/k_dum_n_12.in k_and_kd/k_dum_n_13.in k_and_kd/k_dum_n_14.in k_and_kd/k_dum_n_15.in k_and_kd/k_dum_n_16.in k_and_kd/k_dum_n_17.in k_and_kd/k_dum_n_18.in k_and_kd/k_dum_n_19.in k_and_kd/k_dum_n_20.in k_and_kd/k_dum_n_21.in k_and_kd/k_dum_p_01.in k_and_kd/k_dum_p_02.in k_and_kd/k_dum_p_03.in k_and_kd/k_dum_p_04.in k_and_kd/k_dum_p_05.in k_and_kd/k_dum_p_06.in k_and_kd/k_dum_p_07.in k_and_kd/k_dum_p_08.in k_and_kd/k_dum_p_09.in k_and_kd/k_dum_p_10.in k_and_kd/k_dum_p_11.in k_and_kd/k_dum_p_12.in k_and_kd/k_dum_p_13.in k_and_kd/k_dum_p_14.in k_and_kd/k_dum_p_15.in k_and_kd/k_dum_p_16.in k_and_kd/k_dum_p_17.in k_and_kd/k_dum_p_18.in k_and_kd/k_dum_p_19.in k_and_kd/k_dum_p_20.in k_and_kd/k_dum_p_21.in k_and_kd/k_grz_n_01.in k_and_kd/k_grz_n_02.in k_and_kd/k_grz_n_03.in k_and_kd/k_grz_n_04.in k_and_kd/k_grz_n_05.in k_and_kd/k_grz_n_06.in k_and_kd/k_grz_n_07.in k_and_kd/k_grz_n_08.in k_and_kd/k_grz_n_09.in k_and_kd/k_grz_n_10.in k_and_kd/k_grz_n_11.in k_and_kd/k_grz_n_12.in k_and_kd/k_grz_n_13.in k_and_kd/k_grz_n_14.in k_and_kd/k_grz_n_15.in k_and_kd/k_grz_n_16.in k_and_kd/k_grz_n_17.in k_and_kd/k_grz_n_18.in k_and_kd/k_grz_n_19.in k_and_kd/k_grz_n_20.in k_and_kd/k_grz_n_21.in k_and_kd/k_grz_p_01.in k_and_kd/k_grz_p_02.in k_and_kd/k_grz_p_03.in k_and_kd/k_grz_p_04.in k_and_kd/k_grz_p_05.in k_and_kd/k_grz_p_06.in k_and_kd/k_grz_p_07.in k_and_kd/k_grz_p_08.in k_and_kd/k_grz_p_09.in k_and_kd/k_grz_p_10.in k_and_kd/k_grz_p_11.in k_and_kd/k_grz_p_12.in k_and_kd/k_grz_p_13.in k_and_kd/k_grz_p_14.in k_and_kd/k_grz_p_15.in k_and_kd/k_grz_p_16.in k_and_kd/k_grz_p_17.in k_and_kd/k_grz_p_18.in k_and_kd/k_grz_p_19.in k_and_kd/k_grz_p_20.in k_and_kd/k_grz_p_21.in k_and_kd/k_lin_n_01.in k_and_kd/k_lin_n_02.in k_and_kd/k_lin_n_03.in k_and_kd/k_lin_n_04.in k_and_kd/k_lin_n_05.in k_and_kd/k_lin_n_06.in k_and_kd/k_lin_n_07.in k_and_kd/k_lin_n_08.in k_and_kd/k_lin_n_09.in k_and_kd/k_lin_n_10.in k_and_kd/k_lin_n_11.in k_and_kd/k_lin_n_12.in k_and_kd/k_lin_n_13.in k_and_kd/k_lin_n_14.in k_and_kd/k_lin_n_15.in k_and_kd/k_lin_n_16.in k_and_kd/k_lin_n_17.in k_and_kd/k_lin_n_18.in k_and_kd/k_lin_n_19.in k_and_kd/k_lin_n_20.in k_and_kd/k_lin_n_21.in k_and_kd/k_lin_p_01.in k_and_kd/k_lin_p_02.in k_and_kd/k_lin_p_03.in k_and_kd/k_lin_p_04.in k_and_kd/k_lin_p_05.in k_and_kd/k_lin_p_06.in k_and_kd/k_lin_p_07.in k_and_kd/k_lin_p_08.in k_and_kd/k_lin_p_09.in k_and_kd/k_lin_p_10.in k_and_kd/k_lin_p_11.in k_and_kd/k_lin_p_12.in k_and_kd/k_lin_p_13.in k_and_kd/k_lin_p_14.in k_and_kd/k_lin_p_15.in k_and_kd/k_lin_p_16.in k_and_kd/k_lin_p_17.in k_and_kd/k_lin_p_18.in k_and_kd/k_lin_p_19.in k_and_kd/k_lin_p_20.in k_and_kd/k_lin_p_21.in k_and_kd/k_path_n_01.in k_and_kd/k_path_n_02.in k_and_kd/k_path_n_03.in k_and_kd/k_path_n_04.in k_and_kd/k_path_n_05.in k_and_kd/k_path_n_06.in k_and_kd/k_path_n_07.in k_and_kd/k_path_n_08.in k_and_kd/k_path_n_09.in k_and_kd/k_path_n_10.in k_and_kd/k_path_n_11.in k_and_kd/k_path_n_12.in k_and_kd/k_path_n_13.in k_and_kd/k_path_n_14.in k_and_kd/k_path_n_15.in k_and_kd/k_path_n_16.in k_and_kd/k_path_n_17.in k_and_kd/k_path_n_18.in k_and_kd/k_path_n_19.in k_and_kd/k_path_n_20.in k_and_kd/k_path_n_21.in k_and_kd/k_path_p_01.in k_and_kd/k_path_p_02.in k_and_kd/k_path_p_03.in k_and_kd/k_path_p_04.in k_and_kd/k_path_p_05.in k_and_kd/k_path_p_06.in k_and_kd/k_path_p_07.in k_and_kd/k_path_p_08.in k_and_kd/k_path_p_09.in k_and_kd/k_path_p_10.in k_and_kd/k_path_p_11.in k_and_kd/k_path_p_12.in k_and_kd/k_path_p_13.in k_and_kd/k_path_p_14.in k_and_kd/k_path_p_15.in k_and_kd/k_path_p_16.in k_and_kd/k_path_p_17.in k_and_kd/k_path_p_18.in k_and_kd/k_path_p_19.in k_and_kd/k_path_p_20.in k_and_kd/k_path_p_21.in k_and_kd/k_ph_n_01.in k_and_kd/k_ph_n_02.in k_and_kd/k_ph_n_03.in k_and_kd/k_ph_n_04.in k_and_kd/k_ph_n_05.in k_and_kd/k_ph_n_06.in k_and_kd/k_ph_n_07.in k_and_kd/k_ph_n_08.in k_and_kd/k_ph_n_09.in k_and_kd/k_ph_n_10.in k_and_kd/k_ph_n_11.in k_and_kd/k_ph_n_12.in k_and_kd/k_ph_n_13.in k_and_kd/k_ph_n_14.in k_and_kd/k_ph_n_15.in k_and_kd/k_ph_n_16.in k_and_kd/k_ph_n_17.in k_and_kd/k_ph_n_18.in k_and_kd/k_ph_n_19.in k_and_kd/k_ph_n_20.in k_and_kd/k_ph_n_21.in k_and_kd/k_ph_p_01.in k_and_kd/k_ph_p_02.in k_and_kd/k_ph_p_03.in k_and_kd/k_ph_p_04.in k_and_kd/k_ph_p_05.in k_and_kd/k_ph_p_06.in k_and_kd/k_ph_p_07.in k_and_kd/k_ph_p_08.in k_and_kd/k_ph_p_09.in k_and_kd/k_ph_p_10.in k_and_kd/k_ph_p_11.in k_and_kd/k_ph_p_12.in k_and_kd/k_ph_p_13.in k_and_kd/k_ph_p_14.in k_and_kd/k_ph_p_15.in k_and_kd/k_ph_p_16.in k_and_kd/k_ph_p_17.in k_and_kd/k_ph_p_18.in k_and_kd/k_ph_p_19.in k_and_kd/k_ph_p_20.in k_and_kd/k_ph_p_21.in k_and_kd/k_poly_n_01.in k_and_kd/k_poly_n_02.in k_and_kd/k_poly_n_03.in k_and_kd/k_poly_n_04.in k_and_kd/k_poly_n_05.in k_and_kd/k_poly_n_06.in k_and_kd/k_poly_n_07.in k_and_kd/k_poly_n_08.in k_and_kd/k_poly_n_09.in k_and_kd/k_poly_n_10.in k_and_kd/k_poly_n_11.in k_and_kd/k_poly_n_12.in k_and_kd/k_poly_n_13.in k_and_kd/k_poly_n_14.in k_and_kd/k_poly_n_15.in k_and_kd/k_poly_n_16.in k_and_kd/k_poly_n_17.in k_and_kd/k_poly_n_18.in k_and_kd/k_poly_n_19.in k_and_kd/k_poly_n_20.in k_and_kd/k_poly_n_21.in k_and_kd/k_poly_p_01.in k_and_kd/k_poly_p_02.in k_and_kd/k_poly_p_03.in k_and_kd/k_poly_p_04.in k_and_kd/k_poly_p_05.in k_and_kd/k_poly_p_06.in k_and_kd/k_poly_p_07.in k_and_kd/k_poly_p_08.in k_and_kd/k_poly_p_09.in k_and_kd/k_poly_p_10.in k_and_kd/k_poly_p_11.in k_and_kd/k_poly_p_12.in k_and_kd/k_poly_p_13.in k_and_kd/k_poly_p_14.in k_and_kd/k_poly_p_15.in k_and_kd/k_poly_p_16.in k_and_kd/k_poly_p_17.in k_and_kd/k_poly_p_18.in k_and_kd/k_poly_p_19.in k_and_kd/k_poly_p_20.in k_and_kd/k_poly_p_21.in k_and_kd/k_t4p_n_01.in k_and_kd/k_t4p_n_02.in k_and_kd/k_t4p_n_03.in k_and_kd/k_t4p_n_04.in k_and_kd/k_t4p_n_05.in k_and_kd/k_t4p_n_06.in k_and_kd/k_t4p_n_07.in k_and_kd/k_t4p_n_08.in k_and_kd/k_t4p_n_09.in k_and_kd/k_t4p_n_10.in k_and_kd/k_t4p_n_11.in k_and_kd/k_t4p_n_12.in k_and_kd/k_t4p_n_13.in k_and_kd/k_t4p_n_14.in k_and_kd/k_t4p_n_15.in k_and_kd/k_t4p_n_16.in k_and_kd/k_t4p_n_17.in k_and_kd/k_t4p_n_18.in k_and_kd/k_t4p_n_19.in k_and_kd/k_t4p_n_20.in k_and_kd/k_t4p_n_21.in k_and_kd/k_t4p_p_01.in k_and_kd/k_t4p_p_02.in k_and_kd/k_t4p_p_03.in k_and_kd/k_t4p_p_04.in k_and_kd/k_t4p_p_05.in k_and_kd/k_t4p_p_06.in k_and_kd/k_t4p_p_07.in k_and_kd/k_t4p_p_08.in k_and_kd/k_t4p_p_09.in k_and_kd/k_t4p_p_10.in k_and_kd/k_t4p_p_11.in k_and_kd/k_t4p_p_12.in k_and_kd/k_t4p_p_13.in k_and_kd/k_t4p_p_14.in k_and_kd/k_t4p_p_15.in k_and_kd/k_t4p_p_16.in k_and_kd/k_t4p_p_17.in k_and_kd/k_t4p_p_18.in k_and_kd/k_t4p_p_19.in k_and_kd/k_t4p_p_20.in k_and_kd/k_t4p_p_21.in k_and_kd/test01.in k_and_kd/test02.in k_and_kd/test03.in k_and_kd/test04.in k_and_kd/test05.in k_and_kd/test06.in k_and_kd/test07.in k_and_kd/test08.in k_and_kd/test09.in k_and_kd/test10.in k_and_kd/test11.in k_and_kd/test12.in k_and_kd/test13.in k_and_kd/test14.in k_and_kd/test15.in k_and_kd/test16.in k_and_kd/test17.in probabilistic/test01.in probabilistic/test02.in probabilistic/test03.in probabilistic/test04.in scripts/checkC.sh scripts/checkG.sh scripts/checkHM.sh scripts/checkK.sh scripts/checkKD.sh scripts/checkMon.sh scripts/checkP.sh scripts/gnutime scripts/timeout