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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ff_siec__t1_ff_siec2025-09-11 16:32 9.7K 
[ ]ff_siec__t2_ff_siec2025-09-11 16:33 10K 
[ ]ff_siec__t3_ff_siec2025-09-11 16:34 10K 
[ ]ff_siec__t4_ff_siec2025-09-11 16:35 10K 
[ ]ff_siec__t5_ff_siec2025-09-11 16:36 10K 
[ ]ff_siec__t6_ff_siec2025-09-11 16:37 10K 
[ ]ff_siec__t7_ff_siec2025-09-11 16:37 10K 
[ ]ff_siec__t8_ff_siec2025-09-11 16:38 6.2K 
[ ]ff_siec__t9_ff_siec2025-09-11 16:39 16K 
[ ]ff_siec__t10_ff_siec2025-09-11 16:40 14K 
[ ]ff_siec__t11_ff_siec2025-09-11 16:41 20K 
[ ]ff_siec__t12_ff_siec2025-09-11 16:42 24K 
[ ]ff_siec__t13_ff_siec2025-09-11 16:43 16K 
[ ]ff_siec__t14_ff_siec2025-09-11 16:44 16K 
[ ]ff_siec__t15_ff_siec2025-09-11 16:45 11K 
[ ]ff_siec__t16_ff_siec2025-09-11 16:46 6.5K 
[ ]ff_siec__t17_ff_siec2025-09-11 16:46 9.4K 
[ ]ff_siec__t18_ff_siec2025-09-11 16:47 17K 
[ ]ff_siec__t19_ff_siec2025-09-11 16:48 20K 
[ ]ff_siec__t20_ff_siec2025-09-11 16:49 22K 
[ ]ff_siec__t21_ff_siec2025-09-11 16:50 26K 
[ ]ff_siec__t22_ff_siec2025-09-11 16:51 13K 
[ ]ff_siec__t23_ff_siec2025-09-11 16:52 9.5K 
[ ]ff_siec__t24_ff_siec2025-09-11 16:53 9.4K 
[ ]ff_siec__t25_ff_siec2025-09-11 16:54 17K 
[ ]ff_siec__t26_ff_siec2025-09-11 16:55 20K 
[ ]ff_siec__t27_ff_siec2025-09-11 16:56 22K 
[ ]ff_siec__t28_ff_siec2025-09-11 16:57 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80