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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_3__t1_nat_32019-08-23 12:34 90K 
[   ]nat_3__t2_nat_32019-08-23 12:34 187K 
[   ]nat_3__t3_nat_32019-08-23 12:34 94K 
[   ]nat_3__t4_nat_32019-08-23 12:34 97K 
[   ]nat_3__t5_nat_32019-08-23 12:35 205K 
[   ]nat_3__t6_nat_32019-08-23 12:35 72K 
[   ]nat_3__t7_nat_32019-08-23 12:35 187K 
[   ]nat_3__t8_nat_32019-08-23 12:35 220K 
[   ]nat_3__t9_nat_32019-08-23 12:35 148K 
[   ]nat_3__t10_nat_32019-08-23 12:35 107K 
[   ]nat_3__t11_nat_32019-08-23 12:35 95K 
[   ]nat_3__t12_nat_32019-08-23 12:35 139K 
[   ]nat_3__t13_nat_32019-08-23 12:36 296K 
[   ]nat_3__t14_nat_32019-08-23 12:36 209K 
[   ]nat_3__t15_nat_32019-08-23 12:36 151K 
[   ]nat_3__t16_nat_32019-08-23 12:36 121K 
[   ]nat_3__t17_nat_32019-08-23 12:36 102K 
[   ]nat_3__t18_nat_32019-08-23 12:37 102K 
[   ]nat_3__t19_nat_32019-08-23 12:38 793K 
[   ]nat_3__t20_nat_32019-08-23 12:38 114K 
[   ]nat_3__t21_nat_32019-08-23 12:38 95K 
[   ]nat_3__t22_nat_32019-08-23 12:38 91K 
[   ]nat_3__t23_nat_32019-08-23 12:38 89K 
[   ]nat_3__t24_nat_32019-08-23 12:38 89K 
[   ]nat_3__t25_nat_32019-08-23 12:39 123K 
[   ]nat_3__t26_nat_32019-08-23 12:39 72K 
[   ]nat_3__t27_nat_32019-08-23 12:39 92K 
[   ]nat_3__t28_nat_32019-08-23 12:39 216K 
[   ]nat_3__t29_nat_32019-08-23 12:39 78K 
[   ]nat_3__t30_nat_32019-08-23 12:39 111K 
[   ]nat_3__t31_nat_32019-08-23 12:39 150K 
[   ]nat_3__t32_nat_32019-08-23 12:39 124K 
[   ]nat_3__t33_nat_32019-08-23 12:39 69K 
[   ]nat_3__t34_nat_32019-08-23 12:39 69K 
[   ]nat_3__t35_nat_32019-08-23 12:40 112K 
[   ]nat_3__t36_nat_32019-08-23 12:40 90K 
[   ]nat_3__t37_nat_32019-08-23 12:40 87K 
[   ]nat_3__t38_nat_32019-08-23 12:40 88K 
[   ]nat_3__t39_nat_32019-08-23 12:40 119K 
[   ]nat_3__t40_nat_32019-08-23 12:40 78K 
[   ]nat_3__t41_nat_32019-08-23 12:40 71K 
[   ]nat_3__t42_nat_32019-08-23 12:40 138K 
[   ]nat_3__t43_nat_32019-08-23 12:40 71K 
[   ]nat_3__t44_nat_32019-08-23 12:40 148K 
[   ]nat_3__t45_nat_32019-08-23 12:41 142K 
[   ]nat_3__t46_nat_32019-08-23 12:41 176K 
[   ]nat_3__t47_nat_32019-08-23 12:41 90K 
[   ]nat_3__t48_nat_32019-08-23 12:41 131K 
[   ]nat_3__t49_nat_32019-08-23 12:41 117K 
[   ]nat_3__t50_nat_32019-08-23 12:41 109K 
[   ]nat_3__t51_nat_32019-08-23 12:41 106K 
[   ]nat_3__t52_nat_32019-08-23 12:41 115K 
[   ]nat_3__t53_nat_32019-08-23 12:42 230K 
[   ]nat_3__t54_nat_32019-08-23 12:43 631K 
[   ]nat_3__t55_nat_32019-08-23 12:43 87K 
[   ]nat_3__t56_nat_32019-08-23 12:43 84K 
[   ]nat_3__t57_nat_32019-08-23 12:43 74K 
[   ]nat_3__t58_nat_32019-08-23 12:46 360K 
[   ]nat_3__t59_nat_32019-08-23 12:46 81K 
[   ]nat_3__t60_nat_32019-08-23 12:46 156K 
[   ]nat_3__t61_nat_32019-08-23 12:48 696K 

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