Index of /~mptp/mml5.63.1382/MPTP2/problems/nat_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__l14_nat_42023-06-28 11:58 53K 
[   ]nat_4__l27_nat_42023-06-28 11:58 59K 
[   ]nat_4__l28_nat_42023-06-28 11:59 58K 
[   ]nat_4__l32_nat_42023-06-28 11:59 142K 
[   ]nat_4__l35_nat_42023-06-28 12:00 206K 
[   ]nat_4__l36_nat_42023-06-28 12:00 77K 
[   ]nat_4__l47_nat_42023-06-28 12:01 113K 
[   ]nat_4__l57_nat_42023-06-28 12:02 324K 
[   ]nat_4__l58_nat_42023-06-28 12:02 381K 
[   ]nat_4__l66_nat_42023-06-28 12:03 302K 
[   ]nat_4__l67_nat_42023-06-28 12:04 327K 
[   ]nat_4__s1_nat_42023-06-28 11:22 84K 
[   ]nat_4__s2_nat_42023-06-28 11:22 96K 
[   ]nat_4__s3_nat_42023-06-28 11:23 107K 
[   ]nat_4__s4_nat_42023-06-28 11:24 99K 
[   ]nat_4__t1_nat_42023-06-28 11:24 48K 
[   ]nat_4__t2_nat_42023-06-28 11:25 48K 
[   ]nat_4__t3_nat_42023-06-28 11:25 75K 
[   ]nat_4__t4_nat_42023-06-28 11:26 415K 
[   ]nat_4__t5_nat_42023-06-28 11:27 222K 
[   ]nat_4__t6_nat_42023-06-28 11:27 91K 
[   ]nat_4__t7_nat_42023-06-28 11:28 46K 
[   ]nat_4__t8_nat_42023-06-28 11:28 60K 
[   ]nat_4__t9_nat_42023-06-28 11:28 87K 
[   ]nat_4__t10_nat_42023-06-28 11:29 62K 
[   ]nat_4__t11_nat_42023-06-28 11:29 70K 
[   ]nat_4__t12_nat_42023-06-28 11:30 47K 
[   ]nat_4__t13_nat_42023-06-28 11:30 57K 
[   ]nat_4__t14_nat_42023-06-28 11:31 49K 
[   ]nat_4__t15_nat_42023-06-28 11:31 79K 
[   ]nat_4__t16_nat_42023-06-28 11:32 70K 
[   ]nat_4__t17_nat_42023-06-28 11:33 99K 
[   ]nat_4__t18_nat_42023-06-28 11:33 79K 
[   ]nat_4__t19_nat_42023-06-28 11:34 74K 
[   ]nat_4__t20_nat_42023-06-28 11:34 127K 
[   ]nat_4__t21_nat_42023-06-28 11:35 60K 
[   ]nat_4__t22_nat_42023-06-28 11:35 67K 
[   ]nat_4__t23_nat_42023-06-28 11:36 117K 
[   ]nat_4__t24_nat_42023-06-28 11:37 126K 
[   ]nat_4__t25_nat_42023-06-28 11:37 101K 
[   ]nat_4__t26_nat_42023-06-28 11:38 68K 
[   ]nat_4__t27_nat_42023-06-28 11:38 74K 
[   ]nat_4__t28_nat_42023-06-28 11:39 75K 
[   ]nat_4__t29_nat_42023-06-28 11:39 74K 
[   ]nat_4__t30_nat_42023-06-28 11:40 76K 
[   ]nat_4__t31_nat_42023-06-28 11:40 127K 
[   ]nat_4__t32_nat_42023-06-28 11:41 161K 
[   ]nat_4__t33_nat_42023-06-28 11:41 145K 
[   ]nat_4__t34_nat_42023-06-28 11:42 151K 
[   ]nat_4__t35_nat_42023-06-28 11:42 140K 
[   ]nat_4__t36_nat_42023-06-28 11:43 131K 
[   ]nat_4__t37_nat_42023-06-28 11:44 127K 
[   ]nat_4__t38_nat_42023-06-28 11:45 372K 
[   ]nat_4__t39_nat_42023-06-28 11:46 405K 
[   ]nat_4__t40_nat_42023-06-28 11:47 398K 
[   ]nat_4__t42_nat_42023-06-28 11:47 118K 
[   ]nat_4__t43_nat_42023-06-28 11:48 132K 
[   ]nat_4__t44_nat_42023-06-28 11:49 151K 
[   ]nat_4__t45_nat_42023-06-28 11:50 1.0M 
[   ]nat_4__t46_nat_42023-06-28 11:51 134K 
[   ]nat_4__t47_nat_42023-06-28 11:51 140K 
[   ]nat_4__t48_nat_42023-06-28 11:52 171K 
[   ]nat_4__t49_nat_42023-06-28 11:53 354K 
[   ]nat_4__t50_nat_42023-06-28 11:54 63K 
[   ]nat_4__t51_nat_42023-06-28 11:54 95K 
[   ]nat_4__t52_nat_42023-06-28 11:55 76K 
[   ]nat_4__t53_nat_42023-06-28 11:55 122K 
[   ]nat_4__t54_nat_42023-06-28 11:56 126K 
[   ]nat_4__t55_nat_42023-06-28 11:57 88K 
[   ]nat_4__t56_nat_42023-06-28 11:57 703K 

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