Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/nat_d

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_d__l1_nat_d2021-07-18 21:34 19K 
[   ]nat_d__l2_nat_d2021-07-18 21:34 19K 
[   ]nat_d__s1_nat_d2021-07-18 21:20 65K 
[   ]nat_d__s2_nat_d2021-07-18 21:20 60K 
[   ]nat_d__t1_nat_d2021-07-18 21:18 19K 
[   ]nat_d__t2_nat_d2021-07-18 21:18 25K 
[   ]nat_d__t3_nat_d2021-07-18 21:20 60K 
[   ]nat_d__t4_nat_d2021-07-18 21:18 26K 
[   ]nat_d__t5_nat_d2021-07-18 21:20 28K 
[   ]nat_d__t6_nat_d2021-07-18 21:18 20K 
[   ]nat_d__t7_nat_d2021-07-18 21:19 30K 
[   ]nat_d__t8_nat_d2021-07-18 21:21 32K 
[   ]nat_d__t9_nat_d2021-07-18 21:19 22K 
[   ]nat_d__t10_nat_d2021-07-18 21:21 60K 
[   ]nat_d__t11_nat_d2021-07-18 21:21 59K 
[   ]nat_d__t12_nat_d2021-07-18 21:21 29K 
[   ]nat_d__t13_nat_d2021-07-18 21:21 25K 
[   ]nat_d__t14_nat_d2021-07-18 21:22 27K 
[   ]nat_d__t15_nat_d2021-07-18 21:22 42K 
[   ]nat_d__t16_nat_d2021-07-18 21:22 34K 
[   ]nat_d__t17_nat_d2021-07-18 21:22 58K 
[   ]nat_d__t18_nat_d2021-07-18 21:23 25K 
[   ]nat_d__t19_nat_d2021-07-18 21:23 37K 
[   ]nat_d__t21_nat_d2021-07-18 21:23 57K 
[   ]nat_d__t22_nat_d2021-07-18 21:23 26K 
[   ]nat_d__t23_nat_d2021-07-18 21:19 19K 
[   ]nat_d__t24_nat_d2021-07-18 21:24 25K 
[   ]nat_d__t25_nat_d2021-07-18 21:24 27K 
[   ]nat_d__t26_nat_d2021-07-18 21:24 25K 
[   ]nat_d__t27_nat_d2021-07-18 21:24 34K 
[   ]nat_d__t28_nat_d2021-07-18 21:25 38K 
[   ]nat_d__t29_nat_d2021-07-18 21:25 29K 
[   ]nat_d__t30_nat_d2021-07-18 21:25 25K 
[   ]nat_d__t31_nat_d2021-07-18 21:25 19K 
[   ]nat_d__t32_nat_d2021-07-18 21:25 19K 
[   ]nat_d__t33_nat_d2021-07-18 21:26 21K 
[   ]nat_d__t34_nat_d2021-07-18 21:26 29K 
[   ]nat_d__t35_nat_d2021-07-18 21:26 25K 
[   ]nat_d__t36_nat_d2021-07-18 21:26 31K 
[   ]nat_d__t37_nat_d2021-07-18 21:19 26K 
[   ]nat_d__t38_nat_d2021-07-18 21:27 26K 
[   ]nat_d__t39_nat_d2021-07-18 21:27 25K 
[   ]nat_d__t40_nat_d2021-07-18 21:27 24K 
[   ]nat_d__t41_nat_d2021-07-18 21:27 41K 
[   ]nat_d__t42_nat_d2021-07-18 21:27 40K 
[   ]nat_d__t43_nat_d2021-07-18 21:28 29K 
[   ]nat_d__t44_nat_d2021-07-18 21:28 37K 
[   ]nat_d__t45_nat_d2021-07-18 21:28 68K 
[   ]nat_d__t46_nat_d2021-07-18 21:28 24K 
[   ]nat_d__t47_nat_d2021-07-18 21:29 28K 
[   ]nat_d__t48_nat_d2021-07-18 21:29 26K 
[   ]nat_d__t49_nat_d2021-07-18 21:29 30K 
[   ]nat_d__t50_nat_d2021-07-18 21:29 18K 
[   ]nat_d__t51_nat_d2021-07-18 21:29 49K 
[   ]nat_d__t52_nat_d2021-07-18 21:30 22K 
[   ]nat_d__t53_nat_d2021-07-18 21:30 21K 
[   ]nat_d__t54_nat_d2021-07-18 21:30 22K 
[   ]nat_d__t55_nat_d2021-07-18 21:30 31K 
[   ]nat_d__t56_nat_d2021-07-18 21:30 31K 
[   ]nat_d__t57_nat_d2021-07-18 21:31 35K 
[   ]nat_d__t58_nat_d2021-07-18 21:31 29K 
[   ]nat_d__t59_nat_d2021-07-18 21:31 49K 
[   ]nat_d__t60_nat_d2021-07-18 21:31 22K 
[   ]nat_d__t64_nat_d2021-07-18 21:32 48K 
[   ]nat_d__t65_nat_d2021-07-18 21:32 33K 
[   ]nat_d__t66_nat_d2021-07-18 21:32 48K 
[   ]nat_d__t67_nat_d2021-07-18 21:32 48K 
[   ]nat_d__t68_nat_d2021-07-18 21:33 64K 
[   ]nat_d__t69_nat_d2021-07-18 21:33 51K 
[   ]nat_d__t70_nat_d2021-07-18 21:33 27K 
[   ]nat_d__t71_nat_d2021-07-18 21:33 19K 
[   ]nat_d__t72_nat_d2021-07-18 21:34 36K 

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