Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/nat_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_3__t1_nat_32021-07-19 04:28 47K 
[   ]nat_3__t2_nat_32021-07-19 04:28 83K 
[   ]nat_3__t3_nat_32021-07-19 04:28 61K 
[   ]nat_3__t4_nat_32021-07-19 04:29 61K 
[   ]nat_3__t5_nat_32021-07-19 04:29 86K 
[   ]nat_3__t6_nat_32021-07-19 04:29 54K 
[   ]nat_3__t7_nat_32021-07-19 04:30 93K 
[   ]nat_3__t8_nat_32021-07-19 04:30 99K 
[   ]nat_3__t9_nat_32021-07-19 04:31 83K 
[   ]nat_3__t10_nat_32021-07-19 04:31 65K 
[   ]nat_3__t11_nat_32021-07-19 04:32 65K 
[   ]nat_3__t12_nat_32021-07-19 04:32 65K 
[   ]nat_3__t13_nat_32021-07-19 04:32 110K 
[   ]nat_3__t14_nat_32021-07-19 04:33 80K 
[   ]nat_3__t15_nat_32021-07-19 04:33 86K 
[   ]nat_3__t16_nat_32021-07-19 04:34 57K 
[   ]nat_3__t17_nat_32021-07-19 04:34 58K 
[   ]nat_3__t18_nat_32021-07-19 04:34 58K 
[   ]nat_3__t19_nat_32021-07-19 04:35 164K 
[   ]nat_3__t20_nat_32021-07-19 04:35 89K 
[   ]nat_3__t21_nat_32021-07-19 04:36 61K 
[   ]nat_3__t22_nat_32021-07-19 04:36 83K 
[   ]nat_3__t23_nat_32021-07-19 04:36 61K 
[   ]nat_3__t24_nat_32021-07-19 04:37 61K 
[   ]nat_3__t25_nat_32021-07-19 04:37 62K 
[   ]nat_3__t26_nat_32021-07-19 04:38 58K 
[   ]nat_3__t27_nat_32021-07-19 04:38 58K 
[   ]nat_3__t28_nat_32021-07-19 04:38 64K 
[   ]nat_3__t29_nat_32021-07-19 04:39 46K 
[   ]nat_3__t30_nat_32021-07-19 04:39 64K 
[   ]nat_3__t31_nat_32021-07-19 04:39 85K 
[   ]nat_3__t32_nat_32021-07-19 04:40 59K 
[   ]nat_3__t33_nat_32021-07-19 04:40 48K 
[   ]nat_3__t34_nat_32021-07-19 04:40 48K 
[   ]nat_3__t35_nat_32021-07-19 04:41 55K 
[   ]nat_3__t36_nat_32021-07-19 04:41 57K 
[   ]nat_3__t37_nat_32021-07-19 04:42 64K 
[   ]nat_3__t38_nat_32021-07-19 04:42 73K 
[   ]nat_3__t39_nat_32021-07-19 04:42 74K 
[   ]nat_3__t40_nat_32021-07-19 04:43 54K 
[   ]nat_3__t41_nat_32021-07-19 04:43 50K 
[   ]nat_3__t42_nat_32021-07-19 04:43 73K 
[   ]nat_3__t43_nat_32021-07-19 04:44 51K 
[   ]nat_3__t44_nat_32021-07-19 04:44 83K 
[   ]nat_3__t45_nat_32021-07-19 04:45 77K 
[   ]nat_3__t46_nat_32021-07-19 04:45 78K 
[   ]nat_3__t47_nat_32021-07-19 04:45 69K 
[   ]nat_3__t48_nat_32021-07-19 04:46 73K 
[   ]nat_3__t49_nat_32021-07-19 04:46 63K 
[   ]nat_3__t50_nat_32021-07-19 04:47 65K 
[   ]nat_3__t51_nat_32021-07-19 04:47 59K 
[   ]nat_3__t52_nat_32021-07-19 04:47 97K 
[   ]nat_3__t53_nat_32021-07-19 04:48 82K 
[   ]nat_3__t54_nat_32021-07-19 04:48 84K 
[   ]nat_3__t55_nat_32021-07-19 04:48 55K 
[   ]nat_3__t56_nat_32021-07-19 04:49 55K 
[   ]nat_3__t57_nat_32021-07-19 04:49 53K 
[   ]nat_3__t58_nat_32021-07-19 04:50 83K 
[   ]nat_3__t59_nat_32021-07-19 04:50 54K 
[   ]nat_3__t60_nat_32021-07-19 04:50 76K 
[   ]nat_3__t61_nat_32021-07-19 04:51 162K 

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