Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/jordan12

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan12__l1_jordan122025-09-14 02:04 26K 
[   ]jordan12__l2_jordan122025-09-14 02:05 22K 
[   ]jordan12__l22_jordan122025-09-14 02:07 56K 
[   ]jordan12__l24_jordan122025-09-14 02:08 55K 
[   ]jordan12__l30_jordan122025-09-14 02:10 61K 
[   ]jordan12__t1_jordan122025-09-14 01:02 25K 
[   ]jordan12__t2_jordan122025-09-14 01:03 22K 
[   ]jordan12__t3_jordan122025-09-14 01:05 47K 
[   ]jordan12__t4_jordan122025-09-14 01:07 98K 
[   ]jordan12__t5_jordan122025-09-14 01:09 47K 
[   ]jordan12__t6_jordan122025-09-14 01:10 67K 
[   ]jordan12__t7_jordan122025-09-14 01:12 54K 
[   ]jordan12__t8_jordan122025-09-14 01:14 58K 
[   ]jordan12__t9_jordan122025-09-14 01:16 63K 
[   ]jordan12__t10_jordan122025-09-14 01:18 49K 
[   ]jordan12__t11_jordan122025-09-14 01:19 51K 
[   ]jordan12__t12_jordan122025-09-14 01:21 50K 
[   ]jordan12__t13_jordan122025-09-14 01:23 62K 
[   ]jordan12__t14_jordan122025-09-14 01:01 54K 
[   ]jordan12__t15_jordan122025-09-14 01:25 63K 
[   ]jordan12__t16_jordan122025-09-14 01:27 59K 
[   ]jordan12__t17_jordan122025-09-14 01:29 59K 
[   ]jordan12__t18_jordan122025-09-14 01:30 46K 
[   ]jordan12__t19_jordan122025-09-14 01:32 46K 
[   ]jordan12__t20_jordan122025-09-14 01:34 49K 
[   ]jordan12__t21_jordan122025-09-14 01:36 55K 
[   ]jordan12__t22_jordan122025-09-14 01:38 88K 
[   ]jordan12__t23_jordan122025-09-14 01:40 63K 
[   ]jordan12__t24_jordan122025-09-14 01:41 42K 
[   ]jordan12__t25_jordan122025-09-14 01:43 38K 
[   ]jordan12__t26_jordan122025-09-14 01:44 38K 
[   ]jordan12__t27_jordan122025-09-14 01:46 41K 
[   ]jordan12__t28_jordan122025-09-14 01:47 44K 
[   ]jordan12__t29_jordan122025-09-14 01:49 53K 
[   ]jordan12__t30_jordan122025-09-14 01:51 71K 
[   ]jordan12__t31_jordan122025-09-14 01:53 75K 
[   ]jordan12__t32_jordan122025-09-14 01:56 196K 
[   ]jordan12__t33_jordan122025-09-14 01:58 92K 
[   ]jordan12__t34_jordan122025-09-14 02:01 216K 
[   ]jordan12__t35_jordan122025-09-14 02:03 78K 

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