Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/msafree

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msafree__t1_msafree2017-01-13 00:27 78K 
[ ]msafree__t2_msafree2017-01-13 00:27 52K 
[ ]msafree__t3_msafree2017-01-13 00:27 95K 
[ ]msafree__t4_msafree2017-01-13 00:27 86K 
[ ]msafree__t5_msafree2017-01-13 00:27 98K 
[ ]msafree__t6_msafree2017-01-13 00:27 117K 
[ ]msafree__t7_msafree2017-01-13 00:27 96K 
[ ]msafree__t8_msafree2017-01-13 00:27 135K 
[ ]msafree__t9_msafree2017-01-13 00:27 129K 
[ ]msafree__t10_msafree2017-01-13 00:27 149K 
[ ]msafree__t11_msafree2017-01-13 00:27 121K 
[ ]msafree__t12_msafree2017-01-13 00:27 106K 
[ ]msafree__t13_msafree2017-01-13 00:27 98K 
[ ]msafree__t14_msafree2017-01-13 00:27 101K 
[ ]msafree__t15_msafree2017-01-13 00:27 133K 
[ ]msafree__t16_msafree2017-01-13 00:27 224K 
[ ]msafree__t17_msafree2017-01-13 00:27 96K 
[ ]msafree__t18_msafree2017-01-13 00:27 160K 
[ ]msafree__t19_msafree2017-01-13 00:27 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80