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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topalg_2__l3_topalg_22021-07-18 23:12 33K 
[ ]topalg_2__l4_topalg_22021-07-18 23:12 50K 
[ ]topalg_2__l5_topalg_22021-07-18 23:12 33K 
[ ]topalg_2__l6_topalg_22021-07-18 23:13 34K 
[ ]topalg_2__l8_topalg_22021-07-18 23:21 89K 
[ ]topalg_2__l9_topalg_22021-07-18 23:22 79K 
[ ]topalg_2__l17_topalg_22021-07-18 23:13 26K 
[ ]topalg_2__l23_topalg_22021-07-18 23:22 81K 
[ ]topalg_2__l24_topalg_22021-07-18 23:23 55K 
[ ]topalg_2__t1_topalg_22021-07-18 23:13 38K 
[ ]topalg_2__t2_topalg_22021-07-18 23:14 59K 
[ ]topalg_2__t3_topalg_22021-07-18 23:14 76K 
[ ]topalg_2__t4_topalg_22021-07-18 23:15 41K 
[ ]topalg_2__t5_topalg_22021-07-18 23:15 68K 
[ ]topalg_2__t6_topalg_22021-07-18 23:16 92K 
[ ]topalg_2__t7_topalg_22021-07-18 23:17 88K 
[ ]topalg_2__t8_topalg_22021-07-18 23:17 29K 
[ ]topalg_2__t9_topalg_22021-07-18 23:17 29K 
[ ]topalg_2__t10_topalg_22021-07-18 23:10 29K 
[ ]topalg_2__t11_topalg_22021-07-18 23:18 28K 
[ ]topalg_2__t12_topalg_22021-07-18 23:18 45K 
[ ]topalg_2__t13_topalg_22021-07-18 23:19 61K 
[ ]topalg_2__t14_topalg_22021-07-18 23:19 44K 
[ ]topalg_2__t15_topalg_22021-07-18 23:19 47K 
[ ]topalg_2__t16_topalg_22021-07-18 23:11 37K 
[ ]topalg_2__t17_topalg_22021-07-18 23:11 45K 
[ ]topalg_2__t18_topalg_22021-07-18 23:20 65K 
[ ]topalg_2__t19_topalg_22021-07-18 23:20 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80