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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xtuple_0__l2_xtuple_02017-01-12 22:18 2.4K 
[ ]xtuple_0__l3_xtuple_02017-01-12 22:18 2.2K 
[ ]xtuple_0__l4_xtuple_02017-01-12 22:18 2.1K 
[ ]xtuple_0__t1_xtuple_02017-01-12 22:18 3.4K 
[ ]xtuple_0__t2_xtuple_02017-01-12 22:18 3.3K 
[ ]xtuple_0__t3_xtuple_02017-01-12 22:18 3.4K 
[ ]xtuple_0__t4_xtuple_02017-01-12 22:18 5.3K 
[ ]xtuple_0__t5_xtuple_02017-01-12 22:18 4.6K 
[ ]xtuple_0__t6_xtuple_02017-01-12 22:18 3.4K 
[ ]xtuple_0__t7_xtuple_02017-01-12 22:18 3.2K 
[ ]xtuple_0__t8_xtuple_02017-01-12 22:18 3.3K 
[ ]xtuple_0__t9_xtuple_02017-01-12 22:18 3.3K 
[ ]xtuple_0__t10_xtuple_02017-01-12 22:18 1.0K 
[ ]xtuple_0__t11_xtuple_02017-01-12 22:18 1.3K 
[ ]xtuple_0__t12_xtuple_02017-01-12 22:18 4.0K 
[ ]xtuple_0__t13_xtuple_02017-01-12 22:18 3.9K 
[ ]xtuple_0__t14_xtuple_02017-01-12 22:18 4.3K 
[ ]xtuple_0__t15_xtuple_02017-01-12 22:18 4.3K 
[ ]xtuple_0__t16_xtuple_02017-01-12 22:18 1.5K 
[ ]xtuple_0__t17_xtuple_02017-01-12 22:18 1.6K 
[ ]xtuple_0__t18_xtuple_02017-01-12 22:18 5.0K 
[ ]xtuple_0__t19_xtuple_02017-01-12 22:18 5.2K 
[ ]xtuple_0__t20_xtuple_02017-01-12 22:18 5.4K 
[ ]xtuple_0__t21_xtuple_02017-01-12 22:18 5.3K 
[ ]xtuple_0__t22_xtuple_02017-01-12 22:18 6.9K 
[ ]xtuple_0__t23_xtuple_02017-01-12 22:18 5.2K 
[ ]xtuple_0__t24_xtuple_02017-01-12 22:18 1.6K 
[ ]xtuple_0__t25_xtuple_02017-01-12 22:18 4.0K 
[ ]xtuple_0__t26_xtuple_02017-01-12 22:18 2.3K 
[ ]xtuple_0__t27_xtuple_02017-01-12 22:18 5.2K 
[ ]xtuple_0__t28_xtuple_02017-01-12 22:18 4.2K 
[ ]xtuple_0__t29_xtuple_02017-01-12 22:18 4.1K 
[ ]xtuple_0__t30_xtuple_02017-01-12 22:18 2.3K 
[ ]xtuple_0__t31_xtuple_02017-01-12 22:18 1.3K 
[ ]xtuple_0__t32_xtuple_02017-01-12 22:18 1.8K 
[ ]xtuple_0__t33_xtuple_02017-01-12 22:18 5.4K 
[ ]xtuple_0__t34_xtuple_02017-01-12 22:18 2.6K 
[ ]xtuple_0__t35_xtuple_02017-01-12 22:18 1.7K 
[ ]xtuple_0__t36_xtuple_02017-01-12 22:18 1.9K 
[ ]xtuple_0__t37_xtuple_02017-01-12 22:18 5.6K 
[ ]xtuple_0__t38_xtuple_02017-01-12 22:18 2.7K 
[ ]xtuple_0__t39_xtuple_02017-01-12 22:18 1.8K 
[ ]xtuple_0__t40_xtuple_02017-01-12 22:18 2.1K 
[ ]xtuple_0__t41_xtuple_02017-01-12 22:18 6.6K 
[ ]xtuple_0__t42_xtuple_02017-01-12 22:18 2.8K 
[ ]xtuple_0__t43_xtuple_02017-01-12 22:18 1.9K 
[ ]xtuple_0__t44_xtuple_02017-01-12 22:18 2.2K 
[ ]xtuple_0__t45_xtuple_02017-01-12 22:18 6.8K 
[ ]xtuple_0__t46_xtuple_02017-01-12 22:18 2.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80