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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]matrix15__e2_67_12017-01-05 21:13 117K 
[   ]matrix15__e4_42017-01-05 21:13 89K 
[   ]matrix15__e4_82017-01-05 21:13 90K 
[   ]matrix15__e4_66_1_1_1_22017-01-05 21:13 121K 
[   ]matrix15__e5_85_1_22017-01-05 21:13 153K 
[   ]matrix15__e7_682017-01-05 21:13 130K 
[   ]matrix15__e8_83_22017-01-05 21:13 106K 
[   ]matrix15__e10_67_12017-01-05 21:13 122K 
[   ]matrix15__e10_872017-01-05 21:13 169K 
[   ]matrix15__e18_112017-01-05 21:13 94K 
[   ]matrix15__e24_66_1_1_1_2_1_1_22017-01-05 21:13 117K 

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