Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems/nat_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_5__l1_nat_52023-06-28 16:55 57K 
[   ]nat_5__l7_nat_52023-06-28 16:56 59K 
[   ]nat_5__l8_nat_52023-06-28 16:56 55K 
[   ]nat_5__l25_nat_52023-06-28 16:56 53K 
[   ]nat_5__l26_nat_52023-06-28 16:57 116K 
[   ]nat_5__l27_nat_52023-06-28 16:58 324K 
[   ]nat_5__l28_nat_52023-06-28 16:58 127K 
[   ]nat_5__l29_nat_52023-06-28 16:59 106K 
[   ]nat_5__l30_nat_52023-06-28 16:59 188K 
[   ]nat_5__l31_nat_52023-06-28 17:00 147K 
[   ]nat_5__l38_nat_52023-06-28 17:01 184K 
[   ]nat_5__t1_nat_52023-06-28 16:32 102K 
[   ]nat_5__t2_nat_52023-06-28 16:33 78K 
[   ]nat_5__t3_nat_52023-06-28 16:33 73K 
[   ]nat_5__t4_nat_52023-06-28 16:31 49K 
[   ]nat_5__t5_nat_52023-06-28 16:34 49K 
[   ]nat_5__t6_nat_52023-06-28 16:34 77K 
[   ]nat_5__t7_nat_52023-06-28 16:35 101K 
[   ]nat_5__t8_nat_52023-06-28 16:35 100K 
[   ]nat_5__t9_nat_52023-06-28 16:36 74K 
[   ]nat_5__t10_nat_52023-06-28 16:37 134K 
[   ]nat_5__t11_nat_52023-06-28 16:37 135K 
[   ]nat_5__t12_nat_52023-06-28 16:38 80K 
[   ]nat_5__t13_nat_52023-06-28 16:38 61K 
[   ]nat_5__t14_nat_52023-06-28 16:39 60K 
[   ]nat_5__t15_nat_52023-06-28 16:39 74K 
[   ]nat_5__t16_nat_52023-06-28 16:40 104K 
[   ]nat_5__t17_nat_52023-06-28 16:40 67K 
[   ]nat_5__t18_nat_52023-06-28 16:41 58K 
[   ]nat_5__t19_nat_52023-06-28 16:41 58K 
[   ]nat_5__t20_nat_52023-06-28 16:42 78K 
[   ]nat_5__t21_nat_52023-06-28 16:32 43K 
[   ]nat_5__t22_nat_52023-06-28 16:43 312K 
[   ]nat_5__t23_nat_52023-06-28 16:43 167K 
[   ]nat_5__t24_nat_52023-06-28 16:44 115K 
[   ]nat_5__t25_nat_52023-06-28 16:45 99K 
[   ]nat_5__t26_nat_52023-06-28 16:45 90K 
[   ]nat_5__t27_nat_52023-06-28 16:46 105K 
[   ]nat_5__t28_nat_52023-06-28 16:47 145K 
[   ]nat_5__t29_nat_52023-06-28 16:47 114K 
[   ]nat_5__t30_nat_52023-06-28 16:48 153K 
[   ]nat_5__t31_nat_52023-06-28 16:49 141K 
[   ]nat_5__t32_nat_52023-06-28 16:49 143K 
[   ]nat_5__t33_nat_52023-06-28 16:50 65K 
[   ]nat_5__t34_nat_52023-06-28 16:51 136K 
[   ]nat_5__t35_nat_52023-06-28 16:51 70K 
[   ]nat_5__t36_nat_52023-06-28 16:52 79K 
[   ]nat_5__t37_nat_52023-06-28 16:52 67K 
[   ]nat_5__t38_nat_52023-06-28 16:53 467K 
[   ]nat_5__t39_nat_52023-06-28 16:53 284K 
[   ]nat_5__t40_nat_52023-06-28 16:54 163K 

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