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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]modcat_1__l32_modcat_12016-03-08 13:07 50K 
[ ]modcat_1__l33_modcat_12016-03-08 13:07 51K 
[ ]modcat_1__t1_modcat_12016-03-08 13:07 25K 
[ ]modcat_1__t2_modcat_12016-03-08 13:07 32K 
[ ]modcat_1__t3_modcat_12016-03-08 13:07 31K 
[ ]modcat_1__t4_modcat_12016-03-08 13:07 22K 
[ ]modcat_1__t5_modcat_12017-01-05 20:54 30K 
[ ]modcat_1__t6_modcat_12017-01-05 20:54 26K 
[ ]modcat_1__t7_modcat_12017-01-05 20:54 27K 
[ ]modcat_1__t8_modcat_12016-03-08 13:07 42K 
[ ]modcat_1__t9_modcat_12016-03-08 13:07 45K 
[ ]modcat_1__t10_modcat_12016-03-08 13:07 33K 
[ ]modcat_1__t11_modcat_12016-03-08 13:07 35K 
[ ]modcat_1__t12_modcat_12016-03-08 13:07 52K 
[ ]modcat_1__t15_modcat_12016-03-08 13:07 49K 
[ ]modcat_1__t16_modcat_12016-03-08 13:07 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80