Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_sch_np/nat_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_1__s1_nat_12016-03-08 17:45 20K 
[   ]nat_1__s2_nat_12016-03-08 17:45 20K 
[   ]nat_1__s3_nat_12016-03-08 17:45 40K 
[   ]nat_1__s4_nat_12016-03-08 17:45 23K 
[   ]nat_1__s5_nat_12016-03-08 17:45 3.6K 
[   ]nat_1__s6_nat_12016-03-08 17:45 37K 
[   ]nat_1__s7_nat_12016-03-08 17:45 17K 
[   ]nat_1__s8_nat_12016-03-08 17:45 51K 
[   ]nat_1__s9_nat_12016-03-08 17:45 23K 
[   ]nat_1__s10_nat_12016-03-08 17:45 21K 
[   ]nat_1__s11_nat_12016-03-08 17:45 30K 
[   ]nat_1__s12_nat_12016-03-08 17:45 35K 
[   ]nat_1__s13_nat_12016-03-08 17:45 23K 
[   ]nat_1__s14_nat_12016-03-08 17:45 62K 
[   ]nat_1__s15_nat_12016-03-08 17:45 23K 
[   ]nat_1__s16_nat_12016-03-08 17:45 31K 
[   ]nat_1__s17_nat_12016-03-08 17:45 24K 
[   ]nat_1__s18_nat_12016-03-08 17:45 36K 

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