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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msafree__t1_msafree2016-03-08 13:07 48K 
[   ]msafree__t2_msafree2016-03-08 13:07 32K 
[   ]msafree__t3_msafree2016-03-08 13:07 59K 
[   ]msafree__t4_msafree2016-03-08 13:07 54K 
[   ]msafree__t5_msafree2016-03-08 13:07 63K 
[   ]msafree__t6_msafree2017-01-05 20:54 77K 
[   ]msafree__t7_msafree2016-03-08 13:07 61K 
[   ]msafree__t8_msafree2017-01-05 20:54 85K 
[   ]msafree__t9_msafree2017-01-05 20:54 82K 
[   ]msafree__t10_msafree2017-01-05 20:54 96K 
[   ]msafree__t11_msafree2017-01-05 20:54 77K 
[   ]msafree__t12_msafree2017-01-05 20:54 67K 
[   ]msafree__t13_msafree2017-01-05 20:54 62K 
[   ]msafree__t14_msafree2016-03-08 13:07 62K 
[   ]msafree__t15_msafree2017-01-05 20:54 84K 
[   ]msafree__t16_msafree2017-01-05 20:54 146K 
[   ]msafree__t17_msafree2016-03-08 13:07 59K 
[   ]msafree__t18_msafree2017-01-05 20:54 102K 
[   ]msafree__t19_msafree2016-03-08 13:07 57K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80