Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/jordan20

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan20__l21_jordan202021-07-18 17:53 35K 
[ ]jordan20__t1_jordan202021-07-18 17:54 51K 
[ ]jordan20__t2_jordan202021-07-18 17:54 80K 
[ ]jordan20__t3_jordan202021-07-18 17:55 80K 
[ ]jordan20__t4_jordan202021-07-18 17:55 83K 
[ ]jordan20__t5_jordan202021-07-18 17:56 83K 
[ ]jordan20__t6_jordan202021-07-18 17:56 107K 
[ ]jordan20__t7_jordan202021-07-18 17:57 107K 
[ ]jordan20__t8_jordan202021-07-18 17:57 54K 
[ ]jordan20__t9_jordan202021-07-18 17:58 230K 
[ ]jordan20__t10_jordan202021-07-18 17:59 230K 
[ ]jordan20__t11_jordan202021-07-18 18:00 55K 
[ ]jordan20__t12_jordan202021-07-18 18:00 54K 
[ ]jordan20__t13_jordan202021-07-18 18:01 65K 
[ ]jordan20__t14_jordan202021-07-18 18:01 65K 
[ ]jordan20__t15_jordan202021-07-18 18:02 76K 
[ ]jordan20__t16_jordan202021-07-18 18:03 75K 
[ ]jordan20__t17_jordan202021-07-18 18:03 62K 
[ ]jordan20__t18_jordan202021-07-18 18:04 88K 
[ ]jordan20__t19_jordan202021-07-18 18:04 47K 
[ ]jordan20__t20_jordan202021-07-18 18:05 46K 
[ ]jordan20__t21_jordan202021-07-18 18:05 47K 
[ ]jordan20__t22_jordan202021-07-18 18:06 65K 
[ ]jordan20__t23_jordan202021-07-18 18:06 67K 
[ ]jordan20__t24_jordan202021-07-18 18:07 52K 
[ ]jordan20__t25_jordan202021-07-18 18:08 99K 
[ ]jordan20__t26_jordan202021-07-18 18:08 79K 
[ ]jordan20__t27_jordan202021-07-18 18:09 79K 
[ ]jordan20__t28_jordan202021-07-18 18:09 79K 
[ ]jordan20__t29_jordan202021-07-18 18:10 79K 
[ ]jordan20__t30_jordan202021-07-18 18:11 222K 
[ ]jordan20__t31_jordan202021-07-18 18:12 195K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80