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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]weddwitt__l20_weddwitt2025-09-12 05:15 78K 
[   ]weddwitt__l21_weddwitt2025-09-12 05:17 82K 
[   ]weddwitt__l22_weddwitt2025-09-12 05:19 78K 
[   ]weddwitt__t1_weddwitt2025-09-12 03:52 32K 
[   ]weddwitt__t2_weddwitt2025-09-12 03:53 39K 
[   ]weddwitt__t3_weddwitt2025-09-12 03:55 73K 
[   ]weddwitt__t4_weddwitt2025-09-12 03:58 148K 
[   ]weddwitt__t5_weddwitt2025-09-12 04:00 92K 
[   ]weddwitt__t6_weddwitt2025-09-12 04:02 124K 
[   ]weddwitt__t7_weddwitt2025-09-12 04:04 60K 
[   ]weddwitt__t8_weddwitt2025-09-12 04:05 60K 
[   ]weddwitt__t9_weddwitt2025-09-12 04:08 87K 
[   ]weddwitt__t10_weddwitt2025-09-12 04:10 75K 
[   ]weddwitt__t11_weddwitt2025-09-12 04:12 80K 
[   ]weddwitt__t12_weddwitt2025-09-12 04:14 92K 
[   ]weddwitt__t13_weddwitt2025-09-12 04:16 88K 
[   ]weddwitt__t14_weddwitt2025-09-12 03:42 85K 
[   ]weddwitt__t15_weddwitt2025-09-12 04:20 153K 
[   ]weddwitt__t16_weddwitt2025-09-12 04:22 81K 
[   ]weddwitt__t17_weddwitt2025-09-12 04:24 82K 
[   ]weddwitt__t18_weddwitt2025-09-12 04:26 69K 
[   ]weddwitt__t19_weddwitt2025-09-12 04:27 69K 
[   ]weddwitt__t20_weddwitt2025-09-12 04:29 81K 
[   ]weddwitt__t21_weddwitt2025-09-12 04:32 86K 
[   ]weddwitt__t22_weddwitt2025-09-12 04:34 106K 
[   ]weddwitt__t23_weddwitt2025-09-12 04:36 79K 
[   ]weddwitt__t24_weddwitt2025-09-12 04:38 79K 
[   ]weddwitt__t25_weddwitt2025-09-12 04:40 72K 
[   ]weddwitt__t26_weddwitt2025-09-12 04:43 88K 
[   ]weddwitt__t27_weddwitt2025-09-12 04:45 80K 
[   ]weddwitt__t28_weddwitt2025-09-12 04:47 70K 
[   ]weddwitt__t29_weddwitt2025-09-12 04:49 102K 
[   ]weddwitt__t30_weddwitt2025-09-12 04:52 110K 
[   ]weddwitt__t31_weddwitt2025-09-12 04:54 92K 
[   ]weddwitt__t32_weddwitt2025-09-12 04:57 117K 
[   ]weddwitt__t33_weddwitt2025-09-12 04:59 95K 
[   ]weddwitt__t34_weddwitt2025-09-12 05:01 81K 
[   ]weddwitt__t35_weddwitt2025-09-12 05:04 125K 
[   ]weddwitt__t36_weddwitt2025-09-12 05:06 121K 
[   ]weddwitt__t37_weddwitt2025-09-12 05:09 113K 
[   ]weddwitt__t38_weddwitt2025-09-12 05:13 233K 
[   ]weddwitt__t39_weddwitt2025-09-12 03:44 84K 
[   ]weddwitt__t40_weddwitt2025-09-12 03:46 80K 
[   ]weddwitt__t41_weddwitt2025-09-12 03:48 62K 
[   ]weddwitt__t42_weddwitt2025-09-12 03:50 70K 
[   ]weddwitt__t43_weddwitt2025-09-12 03:51 67K 

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