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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_6__t1_ndiff_62021-07-18 17:16 43K 
[ ]ndiff_6__t2_ndiff_62021-07-18 17:17 43K 
[ ]ndiff_6__t3_ndiff_62021-07-18 17:17 60K 
[ ]ndiff_6__t4_ndiff_62021-07-18 17:18 39K 
[ ]ndiff_6__t5_ndiff_62021-07-18 17:18 54K 
[ ]ndiff_6__t6_ndiff_62021-07-18 17:19 65K 
[ ]ndiff_6__t7_ndiff_62021-07-18 17:19 36K 
[ ]ndiff_6__t8_ndiff_62021-07-18 17:19 34K 
[ ]ndiff_6__t9_ndiff_62021-07-18 17:20 34K 
[ ]ndiff_6__t10_ndiff_62021-07-18 17:20 32K 
[ ]ndiff_6__t11_ndiff_62021-07-18 17:20 57K 
[ ]ndiff_6__t12_ndiff_62021-07-18 17:21 55K 
[ ]ndiff_6__t13_ndiff_62021-07-18 17:21 58K 
[ ]ndiff_6__t14_ndiff_62021-07-18 17:22 53K 
[ ]ndiff_6__t15_ndiff_62021-07-18 17:22 74K 
[ ]ndiff_6__t16_ndiff_62021-07-18 17:23 76K 
[ ]ndiff_6__t17_ndiff_62021-07-18 17:23 50K 
[ ]ndiff_6__t18_ndiff_62021-07-18 17:23 60K 
[ ]ndiff_6__t19_ndiff_62021-07-18 17:24 102K 
[ ]ndiff_6__t20_ndiff_62021-07-18 17:24 92K 
[ ]ndiff_6__t21_ndiff_62021-07-18 17:25 79K 
[ ]ndiff_6__t22_ndiff_62021-07-18 17:25 89K 
[ ]ndiff_6__t23_ndiff_62021-07-18 17:26 76K 
[ ]ndiff_6__t24_ndiff_62021-07-18 17:26 85K 
[ ]ndiff_6__t25_ndiff_62021-07-18 17:27 74K 
[ ]ndiff_6__t26_ndiff_62021-07-18 17:27 57K 
[ ]ndiff_6__t27_ndiff_62021-07-18 17:28 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80