Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/nat_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__e1_59_1_12017-01-12 23:19 62K 
[   ]nat_4__e2_522017-01-12 23:19 59K 
[   ]nat_4__e2_692017-01-12 23:19 64K 
[   ]nat_4__e3_32017-01-12 23:19 50K 
[   ]nat_4__e3_182017-01-12 23:19 58K 
[   ]nat_4__e3_492017-01-12 23:19 65K 
[   ]nat_4__e3_552017-01-12 23:19 72K 
[   ]nat_4__e3_652017-01-12 23:19 62K 
[   ]nat_4__e3_692017-01-12 23:19 61K 
[   ]nat_4__e3_70_12017-01-12 23:19 55K 
[   ]nat_4__e3_712017-01-12 23:19 51K 
[   ]nat_4__e4_42017-01-12 23:19 54K 
[   ]nat_4__e4_202017-01-12 23:19 52K 
[   ]nat_4__e4_52_1_1_3_1_1_12017-01-12 23:19 55K 
[   ]nat_4__e4_642017-01-12 23:19 66K 
[   ]nat_4__e4_67_12017-01-12 23:19 57K 
[   ]nat_4__e5_502017-01-12 23:19 60K 
[   ]nat_4__e5_542017-01-12 23:19 56K 
[   ]nat_4__e5_632017-01-12 23:19 63K 
[   ]nat_4__e6_512017-01-12 23:19 68K 
[   ]nat_4__e9_212017-01-12 23:19 61K 
[   ]nat_4__e9_692017-01-12 23:19 61K 
[   ]nat_4__e11_68_12017-01-12 23:19 57K 
[   ]nat_4__e11_692017-01-12 23:19 64K 
[   ]nat_4__e13_692017-01-12 23:19 61K 
[   ]nat_4__e14_692017-01-12 23:19 62K 
[   ]nat_4__e17_692017-01-12 23:19 64K 
[   ]nat_4__e19_692017-01-12 23:19 61K 
[   ]nat_4__e21_692017-01-12 23:19 62K 
[   ]nat_4__e26_68_12017-01-12 23:19 58K 
[   ]nat_4__e28_68_12017-01-12 23:19 58K 
[   ]nat_4__e42_68_12017-01-12 23:19 58K 
[   ]nat_4__e44_68_12017-01-12 23:19 58K 

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