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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_3__l18_ndiff_32021-07-18 23:26 17K 
[ ]ndiff_3__l32_ndiff_32021-07-18 23:26 23K 
[ ]ndiff_3__l35_ndiff_32021-07-18 23:26 27K 
[ ]ndiff_3__t1_ndiff_32021-07-18 23:27 64K 
[ ]ndiff_3__t3_ndiff_32021-07-18 23:27 58K 
[ ]ndiff_3__t4_ndiff_32021-07-18 23:28 53K 
[ ]ndiff_3__t5_ndiff_32021-07-18 23:28 72K 
[ ]ndiff_3__t6_ndiff_32021-07-18 23:29 68K 
[ ]ndiff_3__t7_ndiff_32021-07-18 23:29 74K 
[ ]ndiff_3__t8_ndiff_32021-07-18 23:30 68K 
[ ]ndiff_3__t9_ndiff_32021-07-18 23:25 48K 
[ ]ndiff_3__t10_ndiff_32021-07-18 23:30 75K 
[ ]ndiff_3__t11_ndiff_32021-07-18 23:31 64K 
[ ]ndiff_3__t12_ndiff_32021-07-18 23:31 103K 
[ ]ndiff_3__t14_ndiff_32021-07-18 23:32 89K 
[ ]ndiff_3__t15_ndiff_32021-07-18 23:33 88K 
[ ]ndiff_3__t16_ndiff_32021-07-18 23:33 78K 
[ ]ndiff_3__t17_ndiff_32021-07-18 23:34 71K 
[ ]ndiff_3__t18_ndiff_32021-07-18 23:34 69K 
[ ]ndiff_3__t19_ndiff_32021-07-18 23:35 69K 
[ ]ndiff_3__t20_ndiff_32021-07-18 23:36 108K 
[ ]ndiff_3__t21_ndiff_32021-07-18 23:36 105K 
[ ]ndiff_3__t23_ndiff_32021-07-18 23:37 65K 
[ ]ndiff_3__t24_ndiff_32021-07-18 23:37 74K 
[ ]ndiff_3__t25_ndiff_32021-07-18 23:38 151K 
[ ]ndiff_3__t26_ndiff_32021-07-18 23:25 50K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80