Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/qc_lang1

	Name	Last modified	Size	Description
	Parent Directory		-
	qc_lang1__l7_qc_lang1	2013-09-04 12:39	17K
	qc_lang1__l18_qc_lang1	2013-09-04 12:39	20K
	qc_lang1__l19_qc_lang1	2013-09-04 12:39	28K
	qc_lang1__l20_qc_lang1	2013-09-04 12:39	29K
	qc_lang1__l25_qc_lang1	2013-09-04 12:39	32K
	qc_lang1__t1_qc_lang1	2013-09-04 12:39	14K
	qc_lang1__t2_qc_lang1	2013-09-04 12:39	14K
	qc_lang1__t3_qc_lang1	2013-09-04 12:39	16K
	qc_lang1__t4_qc_lang1	2013-09-04 12:39	17K
	qc_lang1__t5_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t6_qc_lang1	2013-09-04 12:39	17K
	qc_lang1__t7_qc_lang1	2013-09-04 12:39	13K
	qc_lang1__t8_qc_lang1	2013-09-04 12:39	29K
	qc_lang1__t9_qc_lang1	2013-09-04 12:39	41K
	qc_lang1__t10_qc_lang1	2013-09-04 12:39	83K
	qc_lang1__t11_qc_lang1	2013-09-04 12:39	17K
	qc_lang1__t12_qc_lang1	2013-09-04 12:39	333K
	qc_lang1__t13_qc_lang1	2013-09-04 12:39	269K
	qc_lang1__t14_qc_lang1	2013-09-04 12:39	32K
	qc_lang1__t15_qc_lang1	2013-09-04 12:39	44K
	qc_lang1__t16_qc_lang1	2013-09-04 12:39	224K
	qc_lang1__t17_qc_lang1	2013-09-04 12:39	241K
	qc_lang1__t18_qc_lang1	2013-09-04 12:39	43K
	qc_lang1__t19_qc_lang1	2013-09-04 12:39	24K
	qc_lang1__t20_qc_lang1	2013-09-04 12:39	25K
	qc_lang1__t21_qc_lang1	2013-09-04 12:39	18K
	qc_lang1__t22_qc_lang1	2013-09-04 12:39	18K
	qc_lang1__t23_qc_lang1	2013-09-04 12:39	18K
	qc_lang1__t24_qc_lang1	2013-09-04 12:39	18K
	qc_lang1__t25_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t26_qc_lang1	2013-09-04 12:39	14K
	qc_lang1__t27_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t28_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t29_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t30_qc_lang1	2013-09-04 12:39	15K
	qc_lang1__t31_qc_lang1	2013-09-04 12:39	20K