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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2021-07-18 17:43 46K 
[ ]dtconstr__l12_dtconstr2021-07-18 17:21 60K 
[ ]dtconstr__l13_dtconstr2021-07-18 17:22 52K 
[ ]dtconstr__l14_dtconstr2021-07-18 17:22 60K 
[ ]dtconstr__l15_dtconstr2021-07-18 17:22 60K 
[ ]dtconstr__l16_dtconstr2021-07-18 17:23 60K 
[ ]dtconstr__l17_dtconstr2021-07-18 17:23 60K 
[ ]dtconstr__l18_dtconstr2021-07-18 17:24 50K 
[ ]dtconstr__l19_dtconstr2021-07-18 17:43 61K 
[ ]dtconstr__l20_dtconstr2021-07-18 17:24 51K 
[ ]dtconstr__l21_dtconstr2021-07-18 17:44 61K 
[ ]dtconstr__l22_dtconstr2021-07-18 17:24 50K 
[ ]dtconstr__l23_dtconstr2021-07-18 17:25 58K 
[ ]dtconstr__l24_dtconstr2021-07-18 17:25 52K 
[ ]dtconstr__l25_dtconstr2021-07-18 17:44 55K 
[ ]dtconstr__l26_dtconstr2021-07-18 17:26 52K 
[ ]dtconstr__l27_dtconstr2021-07-18 17:26 67K 
[ ]dtconstr__l31_dtconstr2021-07-18 17:45 90K 
[ ]dtconstr__l35_dtconstr2021-07-18 17:27 52K 
[ ]dtconstr__l36_dtconstr2021-07-18 17:27 52K 
[ ]dtconstr__l42_dtconstr2021-07-18 17:45 90K 
[ ]dtconstr__l43_dtconstr2021-07-18 17:46 110K 
[ ]dtconstr__s1_dtconstr2021-07-18 17:27 55K 
[ ]dtconstr__s2_dtconstr2021-07-18 17:28 55K 
[ ]dtconstr__s3_dtconstr2021-07-18 17:29 104K 
[ ]dtconstr__s4_dtconstr2021-07-18 17:29 118K 
[ ]dtconstr__s5_dtconstr2021-07-18 17:30 105K 
[ ]dtconstr__s6_dtconstr2021-07-18 17:31 99K 
[ ]dtconstr__s7_dtconstr2021-07-18 17:32 122K 
[ ]dtconstr__s8_dtconstr2021-07-18 17:32 130K 
[ ]dtconstr__s9_dtconstr2021-07-18 17:33 87K 
[ ]dtconstr__t1_dtconstr2021-07-18 17:33 47K 
[ ]dtconstr__t2_dtconstr2021-07-18 17:34 56K 
[ ]dtconstr__t3_dtconstr2021-07-18 17:21 43K 
[ ]dtconstr__t4_dtconstr2021-07-18 17:34 56K 
[ ]dtconstr__t5_dtconstr2021-07-18 17:35 67K 
[ ]dtconstr__t6_dtconstr2021-07-18 17:35 69K 
[ ]dtconstr__t7_dtconstr2021-07-18 17:35 51K 
[ ]dtconstr__t8_dtconstr2021-07-18 17:36 40K 
[ ]dtconstr__t9_dtconstr2021-07-18 17:36 85K 
[ ]dtconstr__t10_dtconstr2021-07-18 17:37 86K 
[ ]dtconstr__t11_dtconstr2021-07-18 17:38 123K 
[ ]dtconstr__t12_dtconstr2021-07-18 17:38 63K 
[ ]dtconstr__t13_dtconstr2021-07-18 17:39 108K 
[ ]dtconstr__t14_dtconstr2021-07-18 17:39 102K 
[ ]dtconstr__t15_dtconstr2021-07-18 17:40 148K 
[ ]dtconstr__t16_dtconstr2021-07-18 17:41 139K 
[ ]dtconstr__t17_dtconstr2021-07-18 17:42 148K 
[ ]dtconstr__t18_dtconstr2021-07-18 17:42 139K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80