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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]e_siec__t1_e_siec2025-09-13 15:17 12K 
[   ]e_siec__t2_e_siec2025-09-13 15:21 11K 
[   ]e_siec__t3_e_siec2025-09-13 15:22 12K 
[   ]e_siec__t4_e_siec2025-09-13 15:17 5.7K 
[   ]e_siec__t5_e_siec2025-09-13 15:22 13K 
[   ]e_siec__t6_e_siec2025-09-13 15:18 3.8K 
[   ]e_siec__t7_e_siec2025-09-13 15:18 5.7K 
[   ]e_siec__t8_e_siec2025-09-13 15:19 7.2K 
[   ]e_siec__t9_e_siec2025-09-13 15:19 6.0K 
[   ]e_siec__t10_e_siec2025-09-13 15:23 15K 
[   ]e_siec__t11_e_siec2025-09-13 15:23 7.3K 
[   ]e_siec__t12_e_siec2025-09-13 15:24 15K 
[   ]e_siec__t13_e_siec2025-09-13 15:25 14K 
[   ]e_siec__t14_e_siec2025-09-13 15:25 4.3K 
[   ]e_siec__t15_e_siec2025-09-13 15:26 12K 
[   ]e_siec__t16_e_siec2025-09-13 15:26 11K 
[   ]e_siec__t17_e_siec2025-09-13 15:27 16K 
[   ]e_siec__t18_e_siec2025-09-13 15:28 12K 
[   ]e_siec__t19_e_siec2025-09-13 15:28 9.5K 
[   ]e_siec__t20_e_siec2025-09-13 15:20 6.4K 
[   ]e_siec__t21_e_siec2025-09-13 15:29 8.2K 
[   ]e_siec__t22_e_siec2025-09-13 15:30 16K 
[   ]e_siec__t23_e_siec2025-09-13 15:30 13K 
[   ]e_siec__t24_e_siec2025-09-13 15:31 11K 
[   ]e_siec__t25_e_siec2025-09-13 15:32 9.5K 
[   ]e_siec__t26_e_siec2025-09-13 15:32 5.4K 
[   ]e_siec__t27_e_siec2025-09-13 15:33 9.6K 
[   ]e_siec__t28_e_siec2025-09-13 15:33 9.7K 
[   ]e_siec__t29_e_siec2025-09-13 15:34 16K 
[   ]e_siec__t30_e_siec2025-09-13 15:35 17K 
[   ]e_siec__t31_e_siec2025-09-13 15:35 9.4K 
[   ]e_siec__t32_e_siec2025-09-13 15:37 20K 
[   ]e_siec__t33_e_siec2025-09-13 15:37 6.3K 
[   ]e_siec__t34_e_siec2025-09-13 15:20 6.7K 

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