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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__e26_622017-01-13 18:57 83K 
[ ]aofa_000__e17_147_1_22017-01-13 18:57 78K 
[ ]aofa_000__e17_143_1_1_22017-01-13 18:57 71K 
[ ]aofa_000__e17_142_1_1_22017-01-13 18:57 71K 
[ ]aofa_000__e16_452017-01-13 18:57 67K 
[ ]aofa_000__e15_143_1_1_22017-01-13 18:57 61K 
[ ]aofa_000__e15_142_1_1_22017-01-13 18:57 60K 
[ ]aofa_000__e15_392017-01-13 18:57 94K 
[ ]aofa_000__e15_37_1_22017-01-13 18:57 92K 
[ ]aofa_000__e13_137_1_1_22017-01-13 18:57 66K 
[ ]aofa_000__e12_1852017-01-13 18:57 64K 
[ ]aofa_000__e12_1842017-01-13 18:57 64K 
[ ]aofa_000__e12_151_12017-01-13 18:57 81K 
[ ]aofa_000__e12_1452017-01-13 18:57 82K 
[ ]aofa_000__e11_642017-01-13 18:57 79K 
[ ]aofa_000__e11_462017-01-13 18:57 57K 
[ ]aofa_000__e9_147_12017-01-13 18:57 68K 
[ ]aofa_000__e9_146_12017-01-13 18:57 81K 
[ ]aofa_000__e9_262017-01-13 18:57 51K 
[ ]aofa_000__e9_25_2_1_22017-01-13 18:57 51K 
[ ]aofa_000__e9_24_2_1_22017-01-13 18:57 51K 
[ ]aofa_000__e8_151_1_12017-01-13 18:57 54K 
[ ]aofa_000__e8_652017-01-13 18:57 81K 
[ ]aofa_000__e7_1722017-01-13 18:57 82K 
[ ]aofa_000__e7_154_62017-01-13 18:57 72K 
[ ]aofa_000__e7_145_1_12017-01-13 18:57 82K 
[ ]aofa_000__e7_1442017-01-13 18:57 83K 
[ ]aofa_000__e7_143_1_1_22017-01-13 18:57 60K 
[ ]aofa_000__e7_142_1_1_22017-01-13 18:57 60K 
[ ]aofa_000__e7_622017-01-13 18:57 58K 
[ ]aofa_000__e7_25_2_2_1_1_22017-01-13 18:57 51K 
[ ]aofa_000__e7_24_2_2_1_1_22017-01-13 18:57 51K 
[ ]aofa_000__e6_151_12017-01-13 18:57 55K 
[ ]aofa_000__e6_602017-01-13 18:57 71K 
[ ]aofa_000__e6_252017-01-13 18:57 53K 
[ ]aofa_000__e6_242017-01-13 18:57 53K 
[ ]aofa_000__e5_145_1_12017-01-13 18:57 73K 
[ ]aofa_000__e5_129_12017-01-13 18:57 58K 
[ ]aofa_000__e5_542017-01-13 18:57 57K 
[ ]aofa_000__e5_422017-01-13 18:57 57K 
[ ]aofa_000__e5_412017-01-13 18:57 57K 
[ ]aofa_000__e5_25_2_12017-01-13 18:57 57K 
[ ]aofa_000__e5_24_2_12017-01-13 18:57 57K 
[ ]aofa_000__e4_1532017-01-13 18:57 95K 
[ ]aofa_000__e4_1522017-01-13 18:57 94K 
[ ]aofa_000__e4_432017-01-13 18:57 82K 
[ ]aofa_000__e4_132017-01-13 18:57 57K 
[ ]aofa_000__e3_1122017-01-13 18:57 51K 
[ ]aofa_000__e3_312017-01-13 18:57 68K 
[ ]aofa_000__e3_302017-01-13 18:57 68K 
[ ]aofa_000__e2_151_12017-01-13 18:57 75K 
[ ]aofa_000__e2_143_1_1_22017-01-13 18:57 73K 
[ ]aofa_000__e2_142_1_1_22017-01-13 18:57 73K 
[ ]aofa_000__e2_44_12017-01-13 18:57 60K 
[ ]aofa_000__e2_37_1_12017-01-13 18:57 90K 
[ ]aofa_000__e1_25_2_12017-01-13 18:57 1.6K 
[ ]aofa_000__e1_24_2_12017-01-13 18:57 1.6K 
[ ]aofa_000__e1_12_1_12017-01-13 18:57 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80