Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/nat_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_5__l1_nat_52019-08-19 18:52 181K 
[   ]nat_5__l7_nat_52019-08-19 18:52 96K 
[   ]nat_5__l8_nat_52019-08-19 18:52 94K 
[   ]nat_5__l25_nat_52019-08-19 18:52 99K 
[   ]nat_5__l26_nat_52019-08-19 18:52 233K 
[   ]nat_5__l27_nat_52019-08-19 18:52 523K 
[   ]nat_5__l28_nat_52019-08-19 18:52 393K 
[   ]nat_5__l29_nat_52019-08-19 18:52 309K 
[   ]nat_5__l30_nat_52019-08-19 18:52 467K 
[   ]nat_5__l31_nat_52019-08-19 18:52 622K 
[   ]nat_5__l38_nat_52019-08-19 18:52 756K 
[   ]nat_5__t1_nat_52019-08-19 18:52 221K 
[   ]nat_5__t2_nat_52019-08-19 18:52 178K 
[   ]nat_5__t3_nat_52019-08-19 18:52 178K 
[   ]nat_5__t4_nat_52019-08-19 18:52 62K 
[   ]nat_5__t5_nat_52019-08-19 18:52 64K 
[   ]nat_5__t6_nat_52019-08-19 18:52 105K 
[   ]nat_5__t7_nat_52019-08-19 18:52 221K 
[   ]nat_5__t8_nat_52019-08-19 18:52 313K 
[   ]nat_5__t9_nat_52019-08-19 18:52 115K 
[   ]nat_5__t10_nat_52019-08-19 18:52 391K 
[   ]nat_5__t11_nat_52019-08-19 18:52 404K 
[   ]nat_5__t12_nat_52019-08-19 18:52 100K 
[   ]nat_5__t13_nat_52019-08-19 18:52 76K 
[   ]nat_5__t14_nat_52019-08-19 18:52 137K 
[   ]nat_5__t15_nat_52019-08-19 18:52 228K 
[   ]nat_5__t16_nat_52019-08-19 18:52 220K 
[   ]nat_5__t17_nat_52019-08-19 18:52 237K 
[   ]nat_5__t18_nat_52019-08-19 18:52 114K 
[   ]nat_5__t19_nat_52019-08-19 18:52 115K 
[   ]nat_5__t20_nat_52019-08-19 18:52 232K 
[   ]nat_5__t21_nat_52019-08-19 18:52 59K 
[   ]nat_5__t22_nat_52019-08-19 18:52 584K 
[   ]nat_5__t23_nat_52019-08-19 18:52 1.0M 
[   ]nat_5__t24_nat_52019-08-19 18:52 251K 
[   ]nat_5__t25_nat_52019-08-19 18:52 198K 
[   ]nat_5__t26_nat_52019-08-19 18:52 185K 
[   ]nat_5__t27_nat_52019-08-19 18:52 208K 
[   ]nat_5__t28_nat_52019-08-19 18:52 512K 
[   ]nat_5__t29_nat_52019-08-19 18:52 213K 
[   ]nat_5__t30_nat_52019-08-19 18:52 551K 
[   ]nat_5__t31_nat_52019-08-19 18:52 371K 
[   ]nat_5__t32_nat_52019-08-19 18:52 456K 
[   ]nat_5__t33_nat_52019-08-19 18:52 201K 
[   ]nat_5__t34_nat_52019-08-19 18:52 1.2M 
[   ]nat_5__t35_nat_52019-08-19 18:52 110K 
[   ]nat_5__t36_nat_52019-08-19 18:52 101K 
[   ]nat_5__t37_nat_52019-08-19 18:52 104K 
[   ]nat_5__t38_nat_52019-08-19 18:52 948K 
[   ]nat_5__t39_nat_52019-08-19 18:52 546K 
[   ]nat_5__t40_nat_52019-08-19 18:52 1.2M 

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