Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/fomodel3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fomodel3__e1_8_1_12017-01-05 21:13 92K 
[   ]fomodel3__e1_43_1_12017-01-05 21:13 82K 
[   ]fomodel3__e1_50_1_12017-01-05 21:13 90K 
[   ]fomodel3__e1_72_1_12017-01-05 21:13 171K 
[   ]fomodel3__e1_75_1_12017-01-05 21:14 166K 
[   ]fomodel3__e1_138_1_12017-01-05 21:14 124K 
[   ]fomodel3__e2_13_1_12017-01-05 21:13 174K 
[   ]fomodel3__e2_802017-01-05 21:14 108K 
[   ]fomodel3__e2_137_1_12017-01-05 21:14 118K 
[   ]fomodel3__e2_139_1_12017-01-05 21:14 109K 
[   ]fomodel3__e3_962017-01-05 21:14 201K 
[   ]fomodel3__e3_1062017-01-05 21:14 117K 
[   ]fomodel3__e3_1562017-01-05 21:14 176K 
[   ]fomodel3__e4_52017-01-05 21:13 102K 
[   ]fomodel3__e4_922017-01-05 21:14 226K 
[   ]fomodel3__e4_992017-01-05 21:14 181K 
[   ]fomodel3__e4_1302017-01-05 21:14 197K 
[   ]fomodel3__e4_1472017-01-05 21:14 133K 
[   ]fomodel3__e5_20_1_1_12017-01-05 21:13 96K 
[   ]fomodel3__e5_82_12017-01-05 21:14 95K 
[   ]fomodel3__e5_138_1_22017-01-05 21:14 128K 
[   ]fomodel3__e5_1552017-01-05 21:14 177K 
[   ]fomodel3__e6_1502017-01-05 21:14 229K 
[   ]fomodel3__e8_1282017-01-05 21:14 210K 
[   ]fomodel3__e8_1522017-01-05 21:14 196K 
[   ]fomodel3__e9_1162017-01-05 21:14 228K 

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