Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from1/scmfsa9a

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa9a__e4_462017-01-13 19:02 85K 
[   ]scmfsa9a__e5_232017-01-13 19:02 82K 
[   ]scmfsa9a__e5_25_1_12017-01-13 19:02 83K 
[   ]scmfsa9a__e5_412017-01-13 19:02 82K 
[   ]scmfsa9a__e5_43_1_12017-01-13 19:02 83K 
[   ]scmfsa9a__e5_552017-01-13 19:02 79K 
[   ]scmfsa9a__e6_172017-01-13 19:02 83K 
[   ]scmfsa9a__e6_242017-01-13 19:02 85K 
[   ]scmfsa9a__e6_352017-01-13 19:02 83K 
[   ]scmfsa9a__e6_422017-01-13 19:02 85K 
[   ]scmfsa9a__e7_17_3_2_1_1_22017-01-13 19:02 96K 
[   ]scmfsa9a__e7_35_3_2_1_1_22017-01-13 19:02 96K 
[   ]scmfsa9a__e8_50_1_1_22017-01-13 19:02 86K 
[   ]scmfsa9a__e8_50_22017-01-13 19:02 85K 
[   ]scmfsa9a__e11_172017-01-13 19:02 100K 
[   ]scmfsa9a__e11_352017-01-13 19:02 100K 
[   ]scmfsa9a__e12_522017-01-13 19:02 84K 
[   ]scmfsa9a__e15_25_1_12017-01-13 19:02 100K 
[   ]scmfsa9a__e15_43_1_12017-01-13 19:02 100K 
[   ]scmfsa9a__e18_202017-01-13 19:02 100K 
[   ]scmfsa9a__e18_382017-01-13 19:02 100K 
[   ]scmfsa9a__e22_552017-01-13 19:02 159K 

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