Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/dtconstr

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2019-08-25 16:48 63K 
[ ]dtconstr__l12_dtconstr2019-08-25 16:52 77K 
[ ]dtconstr__l13_dtconstr2019-08-25 16:52 68K 
[ ]dtconstr__l14_dtconstr2019-08-25 16:52 78K 
[ ]dtconstr__l15_dtconstr2019-08-25 16:52 78K 
[ ]dtconstr__l16_dtconstr2019-08-25 16:52 78K 
[ ]dtconstr__l17_dtconstr2019-08-25 16:52 78K 
[ ]dtconstr__l18_dtconstr2019-08-25 17:01 66K 
[ ]dtconstr__l19_dtconstr2019-08-25 16:52 94K 
[ ]dtconstr__l20_dtconstr2019-08-25 16:52 66K 
[ ]dtconstr__l21_dtconstr2019-08-25 16:52 97K 
[ ]dtconstr__l22_dtconstr2019-08-25 17:01 66K 
[ ]dtconstr__l23_dtconstr2019-08-25 16:52 78K 
[ ]dtconstr__l24_dtconstr2019-08-25 16:52 67K 
[ ]dtconstr__l25_dtconstr2019-08-25 16:52 88K 
[ ]dtconstr__l26_dtconstr2019-08-25 16:52 67K 
[ ]dtconstr__l27_dtconstr2019-08-25 16:52 77K 
[ ]dtconstr__l31_dtconstr2019-08-25 16:52 228K 
[ ]dtconstr__l35_dtconstr2019-08-25 16:53 67K 
[ ]dtconstr__l36_dtconstr2019-08-25 16:53 66K 
[ ]dtconstr__l42_dtconstr2019-08-25 16:53 124K 
[ ]dtconstr__l43_dtconstr2019-08-25 16:53 221K 
[ ]dtconstr__s1_dtconstr2019-08-25 16:48 118K 
[ ]dtconstr__s2_dtconstr2019-08-25 16:49 200K 
[ ]dtconstr__s3_dtconstr2019-08-25 16:57 701K 
[ ]dtconstr__s4_dtconstr2019-08-25 16:59 763K 
[ ]dtconstr__s5_dtconstr2019-08-25 17:00 648K 
[ ]dtconstr__s6_dtconstr2019-08-25 17:01 559K 
[ ]dtconstr__s7_dtconstr2019-08-25 16:50 587K 
[ ]dtconstr__s8_dtconstr2019-08-25 16:51 680K 
[ ]dtconstr__s9_dtconstr2019-08-25 16:52 252K 
[ ]dtconstr__t1_dtconstr2019-08-25 16:48 65K 
[ ]dtconstr__t2_dtconstr2019-08-25 16:48 84K 
[ ]dtconstr__t3_dtconstr2019-08-25 16:48 55K 
[ ]dtconstr__t4_dtconstr2019-08-25 16:48 107K 
[ ]dtconstr__t5_dtconstr2019-08-25 16:48 123K 
[ ]dtconstr__t6_dtconstr2019-08-25 16:48 154K 
[ ]dtconstr__t7_dtconstr2019-08-25 16:48 86K 
[ ]dtconstr__t8_dtconstr2019-08-25 16:49 84K 
[ ]dtconstr__t9_dtconstr2019-08-25 16:52 168K 
[ ]dtconstr__t10_dtconstr2019-08-25 16:53 215K 
[ ]dtconstr__t11_dtconstr2019-08-25 16:53 285K 
[ ]dtconstr__t12_dtconstr2019-08-25 16:53 95K 
[ ]dtconstr__t13_dtconstr2019-08-25 16:54 277K 
[ ]dtconstr__t14_dtconstr2019-08-25 16:54 234K 
[ ]dtconstr__t15_dtconstr2019-08-25 16:55 460K 
[ ]dtconstr__t16_dtconstr2019-08-25 17:02 526K 
[ ]dtconstr__t17_dtconstr2019-08-25 16:56 462K 
[ ]dtconstr__t18_dtconstr2019-08-25 17:03 526K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80