Index of /~mptp/1147/MPTP2/problems_thf_isof_from1/hahnban1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hahnban1__e1_10_1_12017-01-13 18:22 32K 
[ ]hahnban1__e1_11_1_12017-01-13 18:22 32K 
[ ]hahnban1__e1_13_1_12017-01-13 18:22 32K 
[ ]hahnban1__e1_56_1_12017-01-13 18:22 53K 
[ ]hahnban1__e1_66_1_12017-01-13 18:22 53K 
[ ]hahnban1__e1_67_1_12017-01-13 18:22 53K 
[ ]hahnban1__e1_74_1_12017-01-13 18:22 53K 
[ ]hahnban1__e1_75_1_12017-01-13 18:22 65K 
[ ]hahnban1__e5_802017-01-13 18:22 54K 
[ ]hahnban1__e6_37_1_12017-01-13 18:22 43K 
[ ]hahnban1__e9_37_1_12017-01-13 18:22 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80