Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/xtuple_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xtuple_0__l2_xtuple_02016-03-08 13:10 2.5K 
[ ]xtuple_0__l3_xtuple_02016-03-08 13:10 2.2K 
[ ]xtuple_0__l4_xtuple_02016-03-08 13:10 2.1K 
[ ]xtuple_0__t1_xtuple_02016-03-08 13:10 3.5K 
[ ]xtuple_0__t2_xtuple_02016-03-08 13:10 3.4K 
[ ]xtuple_0__t3_xtuple_02016-03-08 13:10 3.5K 
[ ]xtuple_0__t4_xtuple_02016-03-08 13:10 5.3K 
[ ]xtuple_0__t5_xtuple_02016-03-08 13:10 4.6K 
[ ]xtuple_0__t6_xtuple_02016-03-08 13:10 3.4K 
[ ]xtuple_0__t7_xtuple_02016-03-08 13:10 3.2K 
[ ]xtuple_0__t8_xtuple_02016-03-08 13:10 3.3K 
[ ]xtuple_0__t9_xtuple_02016-03-08 13:10 3.3K 
[ ]xtuple_0__t10_xtuple_02016-03-08 13:10 1.1K 
[ ]xtuple_0__t11_xtuple_02016-03-08 13:10 1.4K 
[ ]xtuple_0__t12_xtuple_02016-03-08 13:10 4.0K 
[ ]xtuple_0__t13_xtuple_02016-03-08 13:10 4.0K 
[ ]xtuple_0__t14_xtuple_02016-03-08 13:10 4.4K 
[ ]xtuple_0__t15_xtuple_02016-03-08 13:10 4.4K 
[ ]xtuple_0__t16_xtuple_02016-03-08 13:10 1.5K 
[ ]xtuple_0__t17_xtuple_02016-03-08 13:10 1.6K 
[ ]xtuple_0__t18_xtuple_02016-03-08 13:10 5.1K 
[ ]xtuple_0__t19_xtuple_02016-03-08 13:10 5.3K 
[ ]xtuple_0__t20_xtuple_02016-03-08 13:10 5.4K 
[ ]xtuple_0__t21_xtuple_02016-03-08 13:10 5.4K 
[ ]xtuple_0__t22_xtuple_02016-03-08 13:10 7.0K 
[ ]xtuple_0__t23_xtuple_02016-03-08 13:10 5.3K 
[ ]xtuple_0__t24_xtuple_02016-03-08 13:10 1.6K 
[ ]xtuple_0__t25_xtuple_02016-03-08 13:10 4.1K 
[ ]xtuple_0__t26_xtuple_02016-03-08 13:10 2.4K 
[ ]xtuple_0__t27_xtuple_02016-03-08 13:10 5.3K 
[ ]xtuple_0__t28_xtuple_02016-03-08 13:10 4.3K 
[ ]xtuple_0__t29_xtuple_02016-03-08 13:10 4.1K 
[ ]xtuple_0__t30_xtuple_02016-03-08 13:10 2.4K 
[ ]xtuple_0__t31_xtuple_02016-03-08 13:10 1.4K 
[ ]xtuple_0__t32_xtuple_02016-03-08 13:10 1.9K 
[ ]xtuple_0__t33_xtuple_02016-03-08 13:10 5.4K 
[ ]xtuple_0__t34_xtuple_02016-03-08 13:10 2.6K 
[ ]xtuple_0__t35_xtuple_02016-03-08 13:10 1.7K 
[ ]xtuple_0__t36_xtuple_02016-03-08 13:10 2.0K 
[ ]xtuple_0__t37_xtuple_02016-03-08 13:10 5.7K 
[ ]xtuple_0__t38_xtuple_02016-03-08 13:10 2.7K 
[ ]xtuple_0__t39_xtuple_02016-03-08 13:10 1.9K 
[ ]xtuple_0__t40_xtuple_02016-03-08 13:10 2.1K 
[ ]xtuple_0__t41_xtuple_02016-03-08 13:10 6.7K 
[ ]xtuple_0__t42_xtuple_02016-03-08 13:10 2.9K 
[ ]xtuple_0__t43_xtuple_02016-03-08 13:10 2.0K 
[ ]xtuple_0__t44_xtuple_02016-03-08 13:10 2.3K 
[ ]xtuple_0__t45_xtuple_02016-03-08 13:10 6.9K 
[ ]xtuple_0__t46_xtuple_02016-03-08 13:10 3.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80