Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/dtconstr

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2016-03-08 13:05 45K 
[ ]dtconstr__l12_dtconstr2016-03-08 13:05 58K 
[ ]dtconstr__l13_dtconstr2016-03-08 13:05 51K 
[ ]dtconstr__l14_dtconstr2016-03-08 13:05 58K 
[ ]dtconstr__l15_dtconstr2016-03-08 13:05 58K 
[ ]dtconstr__l16_dtconstr2016-03-08 13:05 58K 
[ ]dtconstr__l17_dtconstr2016-03-08 13:05 58K 
[ ]dtconstr__l18_dtconstr2017-01-05 20:54 49K 
[ ]dtconstr__l19_dtconstr2016-03-08 13:05 59K 
[ ]dtconstr__l20_dtconstr2017-01-05 20:54 49K 
[ ]dtconstr__l21_dtconstr2017-01-05 20:54 60K 
[ ]dtconstr__l22_dtconstr2017-01-05 20:54 49K 
[ ]dtconstr__l23_dtconstr2017-01-05 20:54 57K 
[ ]dtconstr__l24_dtconstr2016-03-08 13:05 50K 
[ ]dtconstr__l25_dtconstr2017-01-05 20:54 53K 
[ ]dtconstr__l26_dtconstr2016-03-08 13:05 50K 
[ ]dtconstr__l27_dtconstr2016-03-08 13:05 59K 
[ ]dtconstr__l31_dtconstr2017-01-05 20:54 87K 
[ ]dtconstr__l35_dtconstr2016-03-08 13:05 50K 
[ ]dtconstr__l36_dtconstr2016-03-08 13:05 50K 
[ ]dtconstr__l42_dtconstr2016-03-08 13:05 88K 
[ ]dtconstr__l43_dtconstr2016-03-08 13:05 108K 
[ ]dtconstr__t1_dtconstr2016-03-08 13:05 45K 
[ ]dtconstr__t2_dtconstr2016-03-08 13:05 53K 
[ ]dtconstr__t3_dtconstr2016-03-08 13:05 41K 
[ ]dtconstr__t4_dtconstr2017-01-05 20:54 55K 
[ ]dtconstr__t5_dtconstr2017-01-05 20:54 66K 
[ ]dtconstr__t6_dtconstr2017-01-05 20:54 68K 
[ ]dtconstr__t7_dtconstr2016-03-08 13:05 49K 
[ ]dtconstr__t8_dtconstr2017-01-05 20:54 45K 
[ ]dtconstr__t9_dtconstr2017-01-05 20:54 83K 
[ ]dtconstr__t10_dtconstr2017-01-05 20:54 84K 
[ ]dtconstr__t11_dtconstr2017-01-05 20:54 120K 
[ ]dtconstr__t12_dtconstr2016-03-08 13:05 61K 
[ ]dtconstr__t13_dtconstr2016-03-08 13:05 104K 
[ ]dtconstr__t14_dtconstr2017-01-05 20:54 99K 
[ ]dtconstr__t15_dtconstr2016-03-08 13:05 145K 
[ ]dtconstr__t16_dtconstr2017-01-05 20:54 137K 
[ ]dtconstr__t17_dtconstr2016-03-08 13:05 145K 
[ ]dtconstr__t18_dtconstr2017-01-05 20:54 137K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80