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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]normsp_2__l3_normsp_22023-06-28 10:54 35K 
[ ]normsp_2__l4_normsp_22023-06-28 10:54 35K 
[ ]normsp_2__l5_normsp_22023-06-28 10:55 34K 
[ ]normsp_2__l6_normsp_22023-06-28 10:55 54K 
[ ]normsp_2__l24_normsp_22023-06-28 10:55 32K 
[ ]normsp_2__t1_normsp_22023-06-28 10:34 182K 
[ ]normsp_2__t2_normsp_22023-06-28 10:35 41K 
[ ]normsp_2__t3_normsp_22023-06-28 10:35 41K 
[ ]normsp_2__t4_normsp_22023-06-28 10:36 45K 
[ ]normsp_2__t5_normsp_22023-06-28 10:36 43K 
[ ]normsp_2__t6_normsp_22023-06-28 10:37 45K 
[ ]normsp_2__t7_normsp_22023-06-28 10:37 46K 
[ ]normsp_2__t8_normsp_22023-06-28 10:38 45K 
[ ]normsp_2__t9_normsp_22023-06-28 10:39 46K 
[ ]normsp_2__t10_normsp_22023-06-28 10:39 13K 
[ ]normsp_2__t11_normsp_22023-06-28 10:33 37K 
[ ]normsp_2__t12_normsp_22023-06-28 10:39 50K 
[ ]normsp_2__t13_normsp_22023-06-28 10:40 42K 
[ ]normsp_2__t14_normsp_22023-06-28 10:40 49K 
[ ]normsp_2__t15_normsp_22023-06-28 10:41 50K 
[ ]normsp_2__t16_normsp_22023-06-28 10:41 43K 
[ ]normsp_2__t17_normsp_22023-06-28 10:42 51K 
[ ]normsp_2__t18_normsp_22023-06-28 10:43 48K 
[ ]normsp_2__t19_normsp_22023-06-28 10:43 48K 
[ ]normsp_2__t20_normsp_22023-06-28 10:33 49K 
[ ]normsp_2__t21_normsp_22023-06-28 10:44 54K 
[ ]normsp_2__t22_normsp_22023-06-28 10:44 57K 
[ ]normsp_2__t23_normsp_22023-06-28 10:45 57K 
[ ]normsp_2__t24_normsp_22023-06-28 10:46 47K 
[ ]normsp_2__t25_normsp_22023-06-28 10:46 54K 
[ ]normsp_2__t26_normsp_22023-06-28 10:47 58K 
[ ]normsp_2__t27_normsp_22023-06-28 10:48 54K 
[ ]normsp_2__t28_normsp_22023-06-28 10:48 63K 
[ ]normsp_2__t29_normsp_22023-06-28 10:49 63K 
[ ]normsp_2__t30_normsp_22023-06-28 10:50 55K 
[ ]normsp_2__t31_normsp_22023-06-28 10:50 60K 
[ ]normsp_2__t32_normsp_22023-06-28 10:51 54K 
[ ]normsp_2__t33_normsp_22023-06-28 10:51 53K 
[ ]normsp_2__t34_normsp_22023-06-28 10:52 54K 
[ ]normsp_2__t35_normsp_22023-06-28 10:53 58K 
[ ]normsp_2__t36_normsp_22023-06-28 10:53 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80