Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/wellord1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wellord1__l1_wellord12017-01-12 22:15 9.8K 
[ ]wellord1__l2_wellord12017-01-12 22:15 10K 
[ ]wellord1__l3_wellord12017-01-12 22:15 10K 
[ ]wellord1__l4_wellord12017-01-12 22:15 10K 
[ ]wellord1__l22_wellord12017-01-12 22:15 10K 
[ ]wellord1__t1_wellord12017-01-12 22:15 10K 
[ ]wellord1__t2_wellord12017-01-12 22:15 13K 
[ ]wellord1__t3_wellord12017-01-12 22:15 12K 
[ ]wellord1__t4_wellord12017-01-12 22:15 3.9K 
[ ]wellord1__t5_wellord12017-01-12 22:15 12K 
[ ]wellord1__t6_wellord12017-01-12 22:15 15K 
[ ]wellord1__t7_wellord12017-01-12 22:15 12K 
[ ]wellord1__t8_wellord12017-01-12 22:15 13K 
[ ]wellord1__t9_wellord12017-01-12 22:15 13K 
[ ]wellord1__t10_wellord12017-01-12 22:15 11K 
[ ]wellord1__t11_wellord12017-01-12 22:15 2.8K 
[ ]wellord1__t12_wellord12017-01-12 22:15 15K 
[ ]wellord1__t13_wellord12017-01-12 22:15 11K 
[ ]wellord1__t14_wellord12017-01-12 22:15 12K 
[ ]wellord1__t15_wellord12017-01-12 22:15 12K 
[ ]wellord1__t16_wellord12017-01-12 22:15 12K 
[ ]wellord1__t17_wellord12017-01-12 22:15 8.5K 
[ ]wellord1__t18_wellord12017-01-12 22:15 8.2K 
[ ]wellord1__t19_wellord12017-01-12 22:15 2.1K 
[ ]wellord1__t20_wellord12017-01-12 22:15 1.9K 
[ ]wellord1__t21_wellord12017-01-12 22:15 8.2K 
[ ]wellord1__t22_wellord12017-01-12 22:15 9.9K 
[ ]wellord1__t23_wellord12017-01-12 22:15 12K 
[ ]wellord1__t24_wellord12017-01-12 22:15 14K 
[ ]wellord1__t25_wellord12017-01-12 22:15 3.5K 
[ ]wellord1__t26_wellord12017-01-12 22:15 16K 
[ ]wellord1__t27_wellord12017-01-12 22:15 14K 
[ ]wellord1__t28_wellord12017-01-12 22:15 16K 
[ ]wellord1__t29_wellord12017-01-12 22:15 15K 
[ ]wellord1__t30_wellord12017-01-12 22:15 14K 
[ ]wellord1__t31_wellord12017-01-12 22:15 14K 
[ ]wellord1__t32_wellord12017-01-12 22:15 6.3K 
[ ]wellord1__t33_wellord12017-01-12 22:15 15K 
[ ]wellord1__t34_wellord12017-01-12 22:15 15K 
[ ]wellord1__t35_wellord12017-01-12 22:15 17K 
[ ]wellord1__t36_wellord12017-01-12 22:15 11K 
[ ]wellord1__t37_wellord12017-01-12 22:15 13K 
[ ]wellord1__t38_wellord12017-01-12 22:15 3.7K 
[ ]wellord1__t39_wellord12017-01-12 22:15 14K 
[ ]wellord1__t40_wellord12017-01-12 22:15 1.5K 
[ ]wellord1__t41_wellord12017-01-12 22:15 15K 
[ ]wellord1__t42_wellord12017-01-12 22:15 1.9K 
[ ]wellord1__t43_wellord12017-01-12 22:15 21K 
[ ]wellord1__t44_wellord12017-01-12 22:15 2.2K 
[ ]wellord1__t45_wellord12017-01-12 22:15 19K 
[ ]wellord1__t46_wellord12017-01-12 22:15 20K 
[ ]wellord1__t47_wellord12017-01-12 22:15 18K 
[ ]wellord1__t48_wellord12017-01-12 22:15 20K 
[ ]wellord1__t49_wellord12017-01-12 22:15 19K 
[ ]wellord1__t50_wellord12017-01-12 22:15 17K 
[ ]wellord1__t51_wellord12017-01-12 22:15 23K 
[ ]wellord1__t52_wellord12017-01-12 22:15 27K 
[ ]wellord1__t53_wellord12017-01-12 22:15 21K 
[ ]wellord1__t54_wellord12017-01-12 22:15 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80