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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]comseq_1__s1_comseq_12021-07-18 16:05 31K 
[   ]comseq_1__t1_comseq_12021-07-18 16:06 33K 
[   ]comseq_1__t2_comseq_12021-07-18 16:06 30K 
[   ]comseq_1__t3_comseq_12021-07-18 16:06 34K 
[   ]comseq_1__t4_comseq_12021-07-18 16:07 31K 
[   ]comseq_1__t5_comseq_12021-07-18 16:03 35K 
[   ]comseq_1__t6_comseq_12021-07-18 16:07 33K 
[   ]comseq_1__t7_comseq_12021-07-18 16:07 42K 
[   ]comseq_1__t8_comseq_12021-07-18 16:08 44K 
[   ]comseq_1__t9_comseq_12021-07-18 16:08 55K 
[   ]comseq_1__t10_comseq_12021-07-18 16:03 47K 
[   ]comseq_1__t11_comseq_12021-07-18 16:03 42K 
[   ]comseq_1__t12_comseq_12021-07-18 16:08 50K 
[   ]comseq_1__t13_comseq_12021-07-18 16:09 50K 
[   ]comseq_1__t14_comseq_12021-07-18 16:09 68K 
[   ]comseq_1__t15_comseq_12021-07-18 16:04 63K 
[   ]comseq_1__t16_comseq_12021-07-18 16:09 53K 
[   ]comseq_1__t17_comseq_12021-07-18 16:10 41K 
[   ]comseq_1__t18_comseq_12021-07-18 16:10 62K 
[   ]comseq_1__t19_comseq_12021-07-18 16:10 54K 
[   ]comseq_1__t20_comseq_12021-07-18 16:11 60K 
[   ]comseq_1__t21_comseq_12021-07-18 16:11 41K 
[   ]comseq_1__t22_comseq_12021-07-18 16:04 41K 
[   ]comseq_1__t23_comseq_12021-07-18 16:04 56K 
[   ]comseq_1__t24_comseq_12021-07-18 16:11 60K 
[   ]comseq_1__t25_comseq_12021-07-18 16:12 58K 
[   ]comseq_1__t26_comseq_12021-07-18 16:05 52K 
[   ]comseq_1__t27_comseq_12021-07-18 16:12 36K 
[   ]comseq_1__t29_comseq_12021-07-18 16:12 47K 
[   ]comseq_1__t30_comseq_12021-07-18 16:13 50K 
[   ]comseq_1__t31_comseq_12021-07-18 16:13 64K 
[   ]comseq_1__t32_comseq_12021-07-18 16:13 55K 
[   ]comseq_1__t33_comseq_12021-07-18 16:14 47K 
[   ]comseq_1__t34_comseq_12021-07-18 16:14 51K 
[   ]comseq_1__t35_comseq_12021-07-18 16:14 49K 
[   ]comseq_1__t36_comseq_12021-07-18 16:15 52K 
[   ]comseq_1__t37_comseq_12021-07-18 16:15 65K 
[   ]comseq_1__t38_comseq_12021-07-18 16:15 42K 
[   ]comseq_1__t39_comseq_12021-07-18 16:05 42K 
[   ]comseq_1__t40_comseq_12021-07-18 16:16 47K 
[   ]comseq_1__t41_comseq_12021-07-18 16:16 51K 
[   ]comseq_1__t42_comseq_12021-07-18 16:16 63K 
[   ]comseq_1__t43_comseq_12021-07-18 16:17 76K 
[   ]comseq_1__t44_comseq_12021-07-18 16:17 78K 
[   ]comseq_1__t45_comseq_12021-07-18 16:18 50K 
[   ]comseq_1__t46_comseq_12021-07-18 16:18 55K 
[   ]comseq_1__t48_comseq_12021-07-18 16:18 52K 
[   ]comseq_1__t49_comseq_12021-07-18 16:19 58K 
[   ]comseq_1__t50_comseq_12021-07-18 16:19 52K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80