Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/ami_wstd

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_wstd__l6_ami_wstd2013-09-04 12:04 58K 
[   ]ami_wstd__l9_ami_wstd2013-09-04 12:04 75K 
[   ]ami_wstd__l10_ami_wstd2013-09-04 12:04 78K 
[   ]ami_wstd__l47_ami_wstd2013-09-04 12:04 45K 
[   ]ami_wstd__t1_ami_wstd2013-09-04 12:04 82K 
[   ]ami_wstd__t2_ami_wstd2013-09-04 12:04 40K 
[   ]ami_wstd__t3_ami_wstd2013-09-04 12:04 116K 
[   ]ami_wstd__t4_ami_wstd2013-09-04 12:04 55K 
[   ]ami_wstd__t5_ami_wstd2013-09-04 12:04 38K 
[   ]ami_wstd__t6_ami_wstd2013-09-04 12:04 37K 
[   ]ami_wstd__t7_ami_wstd2013-09-04 12:04 25K 
[   ]ami_wstd__t8_ami_wstd2013-09-04 12:04 36K 
[   ]ami_wstd__t9_ami_wstd2013-09-04 12:04 27K 
[   ]ami_wstd__t10_ami_wstd2013-09-04 12:04 27K 
[   ]ami_wstd__t11_ami_wstd2013-09-04 12:04 29K 
[   ]ami_wstd__t12_ami_wstd2013-09-04 12:04 32K 
[   ]ami_wstd__t13_ami_wstd2013-09-04 12:04 29K 
[   ]ami_wstd__t14_ami_wstd2013-09-04 12:04 30K 
[   ]ami_wstd__t15_ami_wstd2013-09-04 12:04 32K 
[   ]ami_wstd__t16_ami_wstd2013-09-04 12:04 33K 
[   ]ami_wstd__t17_ami_wstd2013-09-04 12:04 69K 
[   ]ami_wstd__t18_ami_wstd2013-09-04 12:04 65K 
[   ]ami_wstd__t19_ami_wstd2013-09-04 12:04 60K 
[   ]ami_wstd__t20_ami_wstd2013-09-04 12:04 59K 
[   ]ami_wstd__t21_ami_wstd2013-09-04 12:04 61K 
[   ]ami_wstd__t22_ami_wstd2013-09-04 12:04 52K 
[   ]ami_wstd__t23_ami_wstd2013-09-04 12:04 43K 
[   ]ami_wstd__t24_ami_wstd2013-09-04 12:04 55K 
[   ]ami_wstd__t25_ami_wstd2013-09-04 12:04 40K 
[   ]ami_wstd__t26_ami_wstd2013-09-04 12:04 40K 
[   ]ami_wstd__t27_ami_wstd2013-09-04 12:04 36K 
[   ]ami_wstd__t28_ami_wstd2013-09-04 12:04 34K 
[   ]ami_wstd__t29_ami_wstd2013-09-04 12:04 35K 
[   ]ami_wstd__t30_ami_wstd2013-09-04 12:04 34K 
[   ]ami_wstd__t31_ami_wstd2013-09-04 12:04 32K 
[   ]ami_wstd__t32_ami_wstd2013-09-04 12:04 42K 
[   ]ami_wstd__t33_ami_wstd2013-09-04 12:04 62K 
[   ]ami_wstd__t34_ami_wstd2013-09-04 12:04 26K 
[   ]ami_wstd__t35_ami_wstd2013-09-04 12:04 29K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80