Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/pdiff_8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiff_8__l13_pdiff_82016-03-08 13:08 134K 
[ ]pdiff_8__t1_pdiff_82017-01-05 20:54 95K 
[ ]pdiff_8__t2_pdiff_82016-03-08 13:08 91K 
[ ]pdiff_8__t3_pdiff_82017-01-05 20:54 93K 
[ ]pdiff_8__t4_pdiff_82016-03-08 13:08 78K 
[ ]pdiff_8__t5_pdiff_82016-03-08 13:08 79K 
[ ]pdiff_8__t6_pdiff_82017-01-05 20:54 127K 
[ ]pdiff_8__t7_pdiff_82016-03-08 13:08 119K 
[ ]pdiff_8__t8_pdiff_82016-03-08 13:08 59K 
[ ]pdiff_8__t9_pdiff_82016-03-08 13:08 54K 
[ ]pdiff_8__t10_pdiff_82016-03-08 13:08 57K 
[ ]pdiff_8__t11_pdiff_82016-03-08 13:08 84K 
[ ]pdiff_8__t12_pdiff_82016-03-08 13:08 56K 
[ ]pdiff_8__t13_pdiff_82016-03-08 13:08 121K 
[ ]pdiff_8__t14_pdiff_82016-03-08 13:08 106K 
[ ]pdiff_8__t15_pdiff_82017-01-05 20:54 113K 
[ ]pdiff_8__t16_pdiff_82016-03-08 13:08 100K 
[ ]pdiff_8__t17_pdiff_82016-03-08 13:08 83K 
[ ]pdiff_8__t18_pdiff_82017-01-05 20:54 163K 
[ ]pdiff_8__t19_pdiff_82016-03-08 13:08 112K 
[ ]pdiff_8__t20_pdiff_82017-01-05 20:54 153K 
[ ]pdiff_8__t21_pdiff_82017-01-05 20:54 145K 
[ ]pdiff_8__t22_pdiff_82016-03-08 13:08 108K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80