Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/nat_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_5__e1_43_1_12017-01-05 21:18 90K 
[ ]nat_5__e1_58_1_12017-01-05 21:18 89K 
[ ]nat_5__e1_58_1_22017-01-05 21:18 93K 
[ ]nat_5__e2_302017-01-05 21:18 105K 
[ ]nat_5__e2_392017-01-05 21:18 135K 
[ ]nat_5__e2_402017-01-05 21:18 127K 
[ ]nat_5__e2_41_1_12017-01-05 21:18 91K 
[ ]nat_5__e3_282017-01-05 21:18 97K 
[ ]nat_5__e3_462017-01-05 21:18 81K 
[ ]nat_5__e5_32_32017-01-05 21:18 102K 
[ ]nat_5__e5_592017-01-05 21:18 91K 
[ ]nat_5__e7_22017-01-05 21:18 78K 
[ ]nat_5__e10_59_32017-01-05 21:18 91K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80