Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/wellord1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wellord1__l1_wellord12016-03-08 13:10 9.8K 
[ ]wellord1__l2_wellord12016-03-08 13:10 10K 
[ ]wellord1__l3_wellord12016-03-08 13:10 10K 
[ ]wellord1__l4_wellord12016-03-08 13:10 10K 
[ ]wellord1__l22_wellord12016-03-08 13:10 10K 
[ ]wellord1__t1_wellord12016-03-08 13:10 10K 
[ ]wellord1__t2_wellord12016-03-08 13:10 13K 
[ ]wellord1__t3_wellord12016-03-08 13:10 12K 
[ ]wellord1__t4_wellord12016-03-08 13:10 4.0K 
[ ]wellord1__t5_wellord12016-03-08 13:10 12K 
[ ]wellord1__t6_wellord12016-03-08 13:10 15K 
[ ]wellord1__t7_wellord12016-03-08 13:10 12K 
[ ]wellord1__t8_wellord12016-03-08 13:10 13K 
[ ]wellord1__t9_wellord12016-03-08 13:10 13K 
[ ]wellord1__t10_wellord12016-03-08 13:10 11K 
[ ]wellord1__t11_wellord12016-03-08 13:10 2.9K 
[ ]wellord1__t12_wellord12016-03-08 13:10 15K 
[ ]wellord1__t13_wellord12016-03-08 13:10 11K 
[ ]wellord1__t14_wellord12016-03-08 13:10 12K 
[ ]wellord1__t15_wellord12016-03-08 13:10 12K 
[ ]wellord1__t16_wellord12016-03-08 13:10 12K 
[ ]wellord1__t17_wellord12016-03-08 13:10 8.5K 
[ ]wellord1__t18_wellord12016-03-08 13:10 8.2K 
[ ]wellord1__t19_wellord12016-03-08 13:10 2.2K 
[ ]wellord1__t20_wellord12016-03-08 13:10 1.9K 
[ ]wellord1__t21_wellord12016-03-08 13:10 8.2K 
[ ]wellord1__t22_wellord12016-03-08 13:10 9.9K 
[ ]wellord1__t23_wellord12016-03-08 13:10 12K 
[ ]wellord1__t24_wellord12016-03-08 13:10 14K 
[ ]wellord1__t25_wellord12016-03-08 13:10 3.6K 
[ ]wellord1__t26_wellord12016-03-08 13:10 16K 
[ ]wellord1__t27_wellord12016-03-08 13:10 14K 
[ ]wellord1__t28_wellord12016-03-08 13:10 16K 
[ ]wellord1__t29_wellord12016-03-08 13:10 15K 
[ ]wellord1__t30_wellord12016-03-08 13:10 14K 
[ ]wellord1__t31_wellord12016-03-08 13:10 14K 
[ ]wellord1__t32_wellord12016-03-08 13:10 6.3K 
[ ]wellord1__t33_wellord12016-03-08 13:10 15K 
[ ]wellord1__t34_wellord12016-03-08 13:10 15K 
[ ]wellord1__t35_wellord12016-03-08 13:10 17K 
[ ]wellord1__t36_wellord12016-03-08 13:10 11K 
[ ]wellord1__t37_wellord12016-03-08 13:10 13K 
[ ]wellord1__t38_wellord12016-03-08 13:10 3.7K 
[ ]wellord1__t39_wellord12016-03-08 13:10 14K 
[ ]wellord1__t40_wellord12016-03-08 13:10 1.5K 
[ ]wellord1__t41_wellord12016-03-08 13:10 15K 
[ ]wellord1__t42_wellord12016-03-08 13:10 1.9K 
[ ]wellord1__t43_wellord12016-03-08 13:10 21K 
[ ]wellord1__t44_wellord12016-03-08 13:10 2.3K 
[ ]wellord1__t45_wellord12016-03-08 13:10 19K 
[ ]wellord1__t46_wellord12016-03-08 13:10 20K 
[ ]wellord1__t47_wellord12016-03-08 13:10 18K 
[ ]wellord1__t48_wellord12016-03-08 13:10 20K 
[ ]wellord1__t49_wellord12016-03-08 13:10 19K 
[ ]wellord1__t50_wellord12016-03-08 13:10 17K 
[ ]wellord1__t51_wellord12016-03-08 13:10 23K 
[ ]wellord1__t52_wellord12016-03-08 13:10 27K 
[ ]wellord1__t53_wellord12016-03-08 13:10 21K 
[ ]wellord1__t54_wellord12016-03-08 13:10 2.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80