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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tietze_2__l21_tietze_22021-07-18 19:28 101K 
[ ]tietze_2__l24_tietze_22021-07-18 19:29 128K 
[ ]tietze_2__t1_tietze_22021-07-18 19:07 92K 
[ ]tietze_2__t2_tietze_22021-07-18 19:08 118K 
[ ]tietze_2__t3_tietze_22021-07-18 19:09 138K 
[ ]tietze_2__t4_tietze_22021-07-18 19:09 128K 
[ ]tietze_2__t5_tietze_22021-07-18 19:10 119K 
[ ]tietze_2__t6_tietze_22021-07-18 19:11 124K 
[ ]tietze_2__t7_tietze_22021-07-18 19:11 110K 
[ ]tietze_2__t8_tietze_22021-07-18 19:12 133K 
[ ]tietze_2__t9_tietze_22021-07-18 19:13 133K 
[ ]tietze_2__t10_tietze_22021-07-18 19:14 296K 
[ ]tietze_2__t11_tietze_22021-07-18 19:15 117K 
[ ]tietze_2__t12_tietze_22021-07-18 19:16 173K 
[ ]tietze_2__t13_tietze_22021-07-18 19:16 132K 
[ ]tietze_2__t14_tietze_22021-07-18 19:17 120K 
[ ]tietze_2__t15_tietze_22021-07-18 19:18 125K 
[ ]tietze_2__t16_tietze_22021-07-18 19:19 266K 
[ ]tietze_2__t17_tietze_22021-07-18 19:20 187K 
[ ]tietze_2__t18_tietze_22021-07-18 19:21 184K 
[ ]tietze_2__t19_tietze_22021-07-18 19:22 198K 
[ ]tietze_2__t20_tietze_22021-07-18 19:23 165K 
[ ]tietze_2__t21_tietze_22021-07-18 19:24 158K 
[ ]tietze_2__t22_tietze_22021-07-18 19:25 208K 
[ ]tietze_2__t23_tietze_22021-07-18 19:26 164K 
[ ]tietze_2__t24_tietze_22021-07-18 19:26 149K 
[ ]tietze_2__t25_tietze_22021-07-18 19:27 194K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80