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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_6__l1_nat_62023-06-28 12:06 252K 
[   ]nat_6__l2_nat_62023-06-28 12:06 252K 
[   ]nat_6__l8_nat_62023-06-28 12:06 24K 
[   ]nat_6__l35_nat_62023-06-28 12:07 155K 
[   ]nat_6__l41_nat_62023-06-28 12:07 31K 
[   ]nat_6__l42_nat_62023-06-28 12:07 38K 
[   ]nat_6__l43_nat_62023-06-28 12:08 46K 
[   ]nat_6__t1_nat_62023-06-28 11:47 36K 
[   ]nat_6__t2_nat_62023-06-28 11:48 54K 
[   ]nat_6__t3_nat_62023-06-28 11:48 73K 
[   ]nat_6__t4_nat_62023-06-28 11:48 44K 
[   ]nat_6__t5_nat_62023-06-28 11:49 219K 
[   ]nat_6__t6_nat_62023-06-28 11:49 34K 
[   ]nat_6__t7_nat_62023-06-28 11:49 27K 
[   ]nat_6__t8_nat_62023-06-28 11:50 73K 
[   ]nat_6__t9_nat_62023-06-28 11:50 55K 
[   ]nat_6__t10_nat_62023-06-28 11:50 58K 
[   ]nat_6__t11_nat_62023-06-28 11:51 57K 
[   ]nat_6__t13_nat_62023-06-28 11:51 36K 
[   ]nat_6__t14_nat_62023-06-28 11:51 55K 
[   ]nat_6__t15_nat_62023-06-28 11:52 836K 
[   ]nat_6__t16_nat_62023-06-28 11:52 52K 
[   ]nat_6__t17_nat_62023-06-28 11:53 70K 
[   ]nat_6__t18_nat_62023-06-28 11:53 121K 
[   ]nat_6__t19_nat_62023-06-28 11:54 461K 
[   ]nat_6__t20_nat_62023-06-28 11:54 462K 
[   ]nat_6__t22_nat_62023-06-28 11:54 78K 
[   ]nat_6__t23_nat_62023-06-28 11:55 554K 
[   ]nat_6__t24_nat_62023-06-28 11:55 42K 
[   ]nat_6__t25_nat_62023-06-28 11:55 122K 
[   ]nat_6__t26_nat_62023-06-28 11:46 36K 
[   ]nat_6__t27_nat_62023-06-28 11:56 260K 
[   ]nat_6__t28_nat_62023-06-28 11:56 151K 
[   ]nat_6__t29_nat_62023-06-28 11:56 37K 
[   ]nat_6__t30_nat_62023-06-28 11:57 477K 
[   ]nat_6__t31_nat_62023-06-28 11:57 444K 
[   ]nat_6__t32_nat_62023-06-28 11:47 27K 
[   ]nat_6__t33_nat_62023-06-28 11:58 41K 
[   ]nat_6__t34_nat_62023-06-28 11:47 26K 
[   ]nat_6__t35_nat_62023-06-28 11:58 46K 
[   ]nat_6__t36_nat_62023-06-28 11:58 49K 
[   ]nat_6__t37_nat_62023-06-28 11:59 705K 
[   ]nat_6__t38_nat_62023-06-28 11:59 1.2M 
[   ]nat_6__t39_nat_62023-06-28 12:00 1.3M 
[   ]nat_6__t40_nat_62023-06-28 12:01 477K 
[   ]nat_6__t41_nat_62023-06-28 12:01 576K 
[   ]nat_6__t42_nat_62023-06-28 12:04 2.8M 
[   ]nat_6__t43_nat_62023-06-28 12:04 560K 
[   ]nat_6__t44_nat_62023-06-28 12:05 2.3M 

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