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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__l14_nat_42021-07-19 00:16 53K 
[   ]nat_4__l27_nat_42021-07-19 00:16 59K 
[   ]nat_4__l28_nat_42021-07-19 00:16 57K 
[   ]nat_4__l32_nat_42021-07-19 00:17 137K 
[   ]nat_4__l35_nat_42021-07-19 00:17 199K 
[   ]nat_4__l36_nat_42021-07-19 00:18 76K 
[   ]nat_4__l47_nat_42021-07-19 00:18 110K 
[   ]nat_4__l57_nat_42021-07-19 00:19 314K 
[   ]nat_4__l58_nat_42021-07-19 00:19 368K 
[   ]nat_4__l66_nat_42021-07-19 00:20 292K 
[   ]nat_4__l67_nat_42021-07-19 00:21 316K 
[   ]nat_4__s1_nat_42021-07-18 23:45 85K 
[   ]nat_4__s2_nat_42021-07-18 23:46 97K 
[   ]nat_4__s3_nat_42021-07-18 23:46 108K 
[   ]nat_4__s4_nat_42021-07-18 23:47 98K 
[   ]nat_4__t1_nat_42021-07-18 23:47 48K 
[   ]nat_4__t2_nat_42021-07-18 23:48 48K 
[   ]nat_4__t3_nat_42021-07-18 23:48 75K 
[   ]nat_4__t4_nat_42021-07-18 23:49 399K 
[   ]nat_4__t5_nat_42021-07-18 23:49 217K 
[   ]nat_4__t6_nat_42021-07-18 23:50 90K 
[   ]nat_4__t7_nat_42021-07-18 23:50 46K 
[   ]nat_4__t8_nat_42021-07-18 23:51 60K 
[   ]nat_4__t9_nat_42021-07-18 23:51 86K 
[   ]nat_4__t10_nat_42021-07-18 23:51 62K 
[   ]nat_4__t11_nat_42021-07-18 23:52 70K 
[   ]nat_4__t12_nat_42021-07-18 23:52 47K 
[   ]nat_4__t13_nat_42021-07-18 23:53 57K 
[   ]nat_4__t14_nat_42021-07-18 23:53 49K 
[   ]nat_4__t15_nat_42021-07-18 23:53 79K 
[   ]nat_4__t16_nat_42021-07-18 23:54 70K 
[   ]nat_4__t17_nat_42021-07-18 23:54 98K 
[   ]nat_4__t18_nat_42021-07-18 23:55 79K 
[   ]nat_4__t19_nat_42021-07-18 23:55 74K 
[   ]nat_4__t20_nat_42021-07-18 23:56 126K 
[   ]nat_4__t21_nat_42021-07-18 23:56 60K 
[   ]nat_4__t22_nat_42021-07-18 23:57 67K 
[   ]nat_4__t23_nat_42021-07-18 23:57 116K 
[   ]nat_4__t24_nat_42021-07-18 23:58 126K 
[   ]nat_4__t25_nat_42021-07-18 23:58 100K 
[   ]nat_4__t26_nat_42021-07-18 23:59 67K 
[   ]nat_4__t27_nat_42021-07-18 23:59 73K 
[   ]nat_4__t28_nat_42021-07-19 00:00 74K 
[   ]nat_4__t29_nat_42021-07-19 00:00 73K 
[   ]nat_4__t30_nat_42021-07-19 00:00 75K 
[   ]nat_4__t31_nat_42021-07-19 00:01 124K 
[   ]nat_4__t32_nat_42021-07-19 00:01 156K 
[   ]nat_4__t33_nat_42021-07-19 00:02 141K 
[   ]nat_4__t34_nat_42021-07-19 00:02 147K 
[   ]nat_4__t35_nat_42021-07-19 00:03 136K 
[   ]nat_4__t36_nat_42021-07-19 00:03 127K 
[   ]nat_4__t37_nat_42021-07-19 00:04 123K 
[   ]nat_4__t38_nat_42021-07-19 00:05 362K 
[   ]nat_4__t39_nat_42021-07-19 00:05 394K 
[   ]nat_4__t40_nat_42021-07-19 00:06 387K 
[   ]nat_4__t42_nat_42021-07-19 00:07 117K 
[   ]nat_4__t43_nat_42021-07-19 00:07 132K 
[   ]nat_4__t44_nat_42021-07-19 00:08 150K 
[   ]nat_4__t45_nat_42021-07-19 00:09 967K 
[   ]nat_4__t46_nat_42021-07-19 00:09 132K 
[   ]nat_4__t47_nat_42021-07-19 00:10 139K 
[   ]nat_4__t48_nat_42021-07-19 00:11 171K 
[   ]nat_4__t49_nat_42021-07-19 00:11 345K 
[   ]nat_4__t50_nat_42021-07-19 00:12 63K 
[   ]nat_4__t51_nat_42021-07-19 00:12 95K 
[   ]nat_4__t52_nat_42021-07-19 00:13 76K 
[   ]nat_4__t53_nat_42021-07-19 00:13 122K 
[   ]nat_4__t54_nat_42021-07-19 00:14 125K 
[   ]nat_4__t55_nat_42021-07-19 00:14 88K 
[   ]nat_4__t56_nat_42021-07-19 00:15 675K 

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