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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]group_10__l26_group_102021-07-18 18:15 57K 
[ ]group_10__l29_group_102021-07-18 18:16 51K 
[ ]group_10__l30_group_102021-07-18 18:16 52K 
[ ]group_10__l31_group_102021-07-18 18:17 90K 
[ ]group_10__l32_group_102021-07-18 18:18 105K 
[ ]group_10__l33_group_102021-07-18 18:18 49K 
[ ]group_10__l34_group_102021-07-18 18:19 68K 
[ ]group_10__l36_group_102021-07-18 18:19 38K 
[ ]group_10__l42_group_102021-07-18 18:19 42K 
[ ]group_10__s1_group_102021-07-18 18:07 73K 
[ ]group_10__t1_group_102021-07-18 18:07 46K 
[ ]group_10__t2_group_102021-07-18 18:08 66K 
[ ]group_10__t3_group_102021-07-18 18:08 67K 
[ ]group_10__t4_group_102021-07-18 18:09 72K 
[ ]group_10__t5_group_102021-07-18 18:09 70K 
[ ]group_10__t6_group_102021-07-18 18:10 62K 
[ ]group_10__t7_group_102021-07-18 18:10 57K 
[ ]group_10__t8_group_102021-07-18 18:11 107K 
[ ]group_10__t9_group_102021-07-18 18:12 166K 
[ ]group_10__t10_group_102021-07-18 18:13 149K 
[ ]group_10__t11_group_102021-07-18 18:13 116K 
[ ]group_10__t12_group_102021-07-18 18:14 137K 
[ ]group_10__t13_group_102021-07-18 18:15 136K 
[ ]group_10__t14_group_102021-07-18 18:05 41K 
[ ]group_10__t15_group_102021-07-18 18:05 41K 
[ ]group_10__t16_group_102021-07-18 18:06 56K 
[ ]group_10__t17_group_102021-07-18 18:06 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80