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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_1__l47_seq_12021-07-18 20:08 18K 
[   ]seq_1__s1_seq_12021-07-18 20:08 37K 
[   ]seq_1__s2_seq_12021-07-18 20:08 46K 
[   ]seq_1__s3_seq_12021-07-18 20:09 31K 
[   ]seq_1__s4_seq_12021-07-18 20:09 32K 
[   ]seq_1__t1_seq_12021-07-18 20:09 38K 
[   ]seq_1__t2_seq_12021-07-18 20:10 35K 
[   ]seq_1__t3_seq_12021-07-18 20:04 37K 
[   ]seq_1__t4_seq_12021-07-18 20:10 39K 
[   ]seq_1__t5_seq_12021-07-18 20:10 36K 
[   ]seq_1__t6_seq_12021-07-18 20:11 39K 
[   ]seq_1__t7_seq_12021-07-18 20:11 56K 
[   ]seq_1__t8_seq_12021-07-18 20:11 56K 
[   ]seq_1__t9_seq_12021-07-18 20:12 48K 
[   ]seq_1__t10_seq_12021-07-18 20:12 52K 
[   ]seq_1__t11_seq_12021-07-18 20:05 61K 
[   ]seq_1__t12_seq_12021-07-18 20:12 44K 
[   ]seq_1__t13_seq_12021-07-18 20:13 52K 
[   ]seq_1__t14_seq_12021-07-18 20:13 52K 
[   ]seq_1__t15_seq_12021-07-18 20:13 64K 
[   ]seq_1__t16_seq_12021-07-18 20:05 53K 
[   ]seq_1__t17_seq_12021-07-18 20:05 47K 
[   ]seq_1__t18_seq_12021-07-18 20:14 58K 
[   ]seq_1__t19_seq_12021-07-18 20:14 58K 
[   ]seq_1__t20_seq_12021-07-18 20:15 73K 
[   ]seq_1__t21_seq_12021-07-18 20:06 68K 
[   ]seq_1__t22_seq_12021-07-18 20:15 61K 
[   ]seq_1__t23_seq_12021-07-18 20:15 48K 
[   ]seq_1__t24_seq_12021-07-18 20:16 66K 
[   ]seq_1__t25_seq_12021-07-18 20:16 60K 
[   ]seq_1__t26_seq_12021-07-18 20:16 64K 
[   ]seq_1__t27_seq_12021-07-18 20:17 48K 
[   ]seq_1__t29_seq_12021-07-18 20:06 61K 
[   ]seq_1__t30_seq_12021-07-18 20:17 64K 
[   ]seq_1__t31_seq_12021-07-18 20:17 63K 
[   ]seq_1__t32_seq_12021-07-18 20:06 57K 
[   ]seq_1__t33_seq_12021-07-18 20:18 43K 
[   ]seq_1__t35_seq_12021-07-18 20:18 54K 
[   ]seq_1__t36_seq_12021-07-18 20:18 59K 
[   ]seq_1__t37_seq_12021-07-18 20:19 72K 
[   ]seq_1__t38_seq_12021-07-18 20:19 63K 
[   ]seq_1__t39_seq_12021-07-18 20:20 52K 
[   ]seq_1__t40_seq_12021-07-18 20:20 58K 
[   ]seq_1__t41_seq_12021-07-18 20:20 54K 
[   ]seq_1__t42_seq_12021-07-18 20:21 55K 
[   ]seq_1__t43_seq_12021-07-18 20:21 73K 
[   ]seq_1__t44_seq_12021-07-18 20:21 49K 
[   ]seq_1__t45_seq_12021-07-18 20:07 47K 
[   ]seq_1__t46_seq_12021-07-18 20:22 55K 
[   ]seq_1__t47_seq_12021-07-18 20:07 56K 
[   ]seq_1__t48_seq_12021-07-18 20:22 72K 
[   ]seq_1__t49_seq_12021-07-18 20:23 81K 
[   ]seq_1__t50_seq_12021-07-18 20:23 83K 
[   ]seq_1__t51_seq_12021-07-18 20:23 55K 
[   ]seq_1__t52_seq_12021-07-18 20:24 57K 
[   ]seq_1__t53_seq_12021-07-18 20:24 44K 
[   ]seq_1__t54_seq_12021-07-18 20:24 54K 
[   ]seq_1__t55_seq_12021-07-18 20:25 58K 
[   ]seq_1__t56_seq_12021-07-18 20:25 54K 
[   ]seq_1__t57_seq_12021-07-18 20:07 43K 

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