Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/knaster

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]knaster__l38_knaster2017-01-12 22:09 16K 
[ ]knaster__s1_knaster2017-01-12 22:09 26K 
[ ]knaster__t1_knaster2017-01-12 22:09 22K 
[ ]knaster__t2_knaster2017-01-12 22:09 27K 
[ ]knaster__t3_knaster2017-01-12 22:09 21K 
[ ]knaster__t4_knaster2017-01-12 22:09 23K 
[ ]knaster__t5_knaster2017-01-12 22:09 23K 
[ ]knaster__t6_knaster2017-01-12 22:09 21K 
[ ]knaster__t7_knaster2017-01-12 22:09 21K 
[ ]knaster__t8_knaster2017-01-12 22:09 24K 
[ ]knaster__t9_knaster2017-01-12 22:09 32K 
[ ]knaster__t10_knaster2017-01-12 22:09 31K 
[ ]knaster__t11_knaster2017-01-12 22:09 25K 
[ ]knaster__t12_knaster2017-01-12 22:09 18K 
[ ]knaster__t13_knaster2017-01-12 22:09 32K 
[ ]knaster__t14_knaster2017-01-12 22:09 33K 
[ ]knaster__t15_knaster2017-01-12 22:09 32K 
[ ]knaster__t16_knaster2017-01-12 22:09 33K 
[ ]knaster__t17_knaster2017-01-12 22:09 33K 
[ ]knaster__t18_knaster2017-01-12 22:09 34K 
[ ]knaster__t19_knaster2017-01-12 22:09 41K 
[ ]knaster__t20_knaster2017-01-12 22:09 41K 
[ ]knaster__t21_knaster2017-01-12 22:09 34K 
[ ]knaster__t22_knaster2017-01-12 22:09 38K 
[ ]knaster__t23_knaster2017-01-12 22:09 38K 
[ ]knaster__t24_knaster2017-01-12 22:09 43K 
[ ]knaster__t25_knaster2017-01-12 22:09 43K 
[ ]knaster__t26_knaster2017-01-12 22:09 37K 
[ ]knaster__t27_knaster2017-01-12 22:09 37K 
[ ]knaster__t28_knaster2017-01-12 22:09 40K 
[ ]knaster__t29_knaster2017-01-12 22:09 40K 
[ ]knaster__t30_knaster2017-01-12 22:09 38K 
[ ]knaster__t31_knaster2017-01-12 22:09 38K 
[ ]knaster__t32_knaster2017-01-12 22:09 39K 
[ ]knaster__t33_knaster2017-01-12 22:09 39K 
[ ]knaster__t34_knaster2017-01-12 22:09 38K 
[ ]knaster__t35_knaster2017-01-12 22:09 38K 
[ ]knaster__t36_knaster2017-01-12 22:09 35K 
[ ]knaster__t37_knaster2017-01-12 22:09 32K 
[ ]knaster__t38_knaster2017-01-12 22:09 32K 
[ ]knaster__t39_knaster2017-01-12 22:09 35K 
[ ]knaster__t40_knaster2017-01-12 22:09 48K 
[ ]knaster__t41_knaster2017-01-12 22:09 36K 
[ ]knaster__t42_knaster2017-01-12 22:09 36K 
[ ]knaster__t43_knaster2017-01-12 22:09 46K 
[ ]knaster__t44_knaster2017-01-12 22:09 39K 
[ ]knaster__t45_knaster2017-01-12 22:09 39K 
[ ]knaster__t46_knaster2017-01-12 22:09 37K 
[ ]knaster__t47_knaster2017-01-12 22:09 54K 
[ ]knaster__t48_knaster2017-01-12 22:09 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80