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

[ICO]NameLast modifiedSizeDescription

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

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