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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__e1_59_1_12017-01-05 21:11 102K 
[   ]nat_4__e2_522017-01-05 21:11 98K 
[   ]nat_4__e2_692017-01-05 21:11 105K 
[   ]nat_4__e3_32017-01-05 21:11 83K 
[   ]nat_4__e3_182017-01-05 21:11 95K 
[   ]nat_4__e3_492017-01-05 21:11 106K 
[   ]nat_4__e3_552017-01-05 21:11 118K 
[   ]nat_4__e3_652017-01-05 21:11 102K 
[   ]nat_4__e3_692017-01-05 21:11 101K 
[   ]nat_4__e3_70_12017-01-05 21:11 90K 
[   ]nat_4__e3_712017-01-05 21:11 85K 
[   ]nat_4__e4_42017-01-05 21:11 88K 
[   ]nat_4__e4_202017-01-05 21:11 87K 
[   ]nat_4__e4_52_1_1_3_1_1_12017-01-05 21:11 89K 
[   ]nat_4__e4_642017-01-05 21:11 107K 
[   ]nat_4__e4_67_12017-01-05 21:11 95K 
[   ]nat_4__e5_502017-01-05 21:11 98K 
[   ]nat_4__e5_542017-01-05 21:11 91K 
[   ]nat_4__e5_632017-01-05 21:11 103K 
[   ]nat_4__e6_512017-01-05 21:11 111K 
[   ]nat_4__e9_212017-01-05 21:11 101K 
[   ]nat_4__e9_692017-01-05 21:11 100K 
[   ]nat_4__e11_68_12017-01-05 21:11 95K 
[   ]nat_4__e11_692017-01-05 21:11 105K 
[   ]nat_4__e13_692017-01-05 21:11 100K 
[   ]nat_4__e14_692017-01-05 21:11 101K 
[   ]nat_4__e17_692017-01-05 21:11 105K 
[   ]nat_4__e19_692017-01-05 21:11 100K 
[   ]nat_4__e21_692017-01-05 21:11 101K 
[   ]nat_4__e26_68_12017-01-05 21:11 96K 
[   ]nat_4__e28_68_12017-01-05 21:11 95K 
[   ]nat_4__e42_68_12017-01-05 21:11 96K 
[   ]nat_4__e44_68_12017-01-05 21:11 95K 

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