Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/fomodel3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fomodel3__e1_8_1_12017-01-12 23:26 58K 
[   ]fomodel3__e1_43_1_12017-01-12 23:26 51K 
[   ]fomodel3__e1_50_1_12017-01-12 23:26 56K 
[   ]fomodel3__e1_72_1_12017-01-12 23:26 108K 
[   ]fomodel3__e1_75_1_12017-01-12 23:26 104K 
[   ]fomodel3__e1_138_1_12017-01-12 23:26 78K 
[   ]fomodel3__e2_13_1_12017-01-12 23:26 111K 
[   ]fomodel3__e2_802017-01-12 23:26 67K 
[   ]fomodel3__e2_137_1_12017-01-12 23:26 75K 
[   ]fomodel3__e2_139_1_12017-01-12 23:26 69K 
[   ]fomodel3__e3_962017-01-12 23:26 129K 
[   ]fomodel3__e3_1062017-01-12 23:26 74K 
[   ]fomodel3__e3_1562017-01-12 23:26 113K 
[   ]fomodel3__e4_52017-01-12 23:26 65K 
[   ]fomodel3__e4_922017-01-12 23:26 143K 
[   ]fomodel3__e4_992017-01-12 23:26 117K 
[   ]fomodel3__e4_1302017-01-12 23:26 125K 
[   ]fomodel3__e4_1472017-01-12 23:26 86K 
[   ]fomodel3__e5_20_1_1_12017-01-12 23:26 61K 
[   ]fomodel3__e5_82_12017-01-12 23:26 60K 
[   ]fomodel3__e5_138_1_22017-01-12 23:26 82K 
[   ]fomodel3__e5_1552017-01-12 23:26 113K 
[   ]fomodel3__e6_1502017-01-12 23:26 146K 
[   ]fomodel3__e8_1282017-01-12 23:26 134K 
[   ]fomodel3__e8_1522017-01-12 23:26 127K 
[   ]fomodel3__e9_1162017-01-12 23:26 146K 

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