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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_lang__s1_zf_lang2025-09-13 06:02 55K 
[ ]zf_lang__s2_zf_lang2025-09-13 06:03 30K 
[ ]zf_lang__t1_zf_lang2025-09-13 06:04 48K 
[ ]zf_lang__t2_zf_lang2025-09-13 06:05 47K 
[ ]zf_lang__t3_zf_lang2025-09-13 06:07 46K 
[ ]zf_lang__t4_zf_lang2025-09-13 06:08 48K 
[ ]zf_lang__t5_zf_lang2025-09-13 05:44 53K 
[ ]zf_lang__t6_zf_lang2025-09-13 05:45 53K 
[ ]zf_lang__t7_zf_lang2025-09-13 05:46 48K 
[ ]zf_lang__t8_zf_lang2025-09-13 05:48 50K 
[ ]zf_lang__t9_zf_lang2025-09-13 06:10 509K 
[ ]zf_lang__t10_zf_lang2025-09-13 05:49 25K 
[ ]zf_lang__t11_zf_lang2025-09-13 06:11 51K 
[ ]zf_lang__t12_zf_lang2025-09-13 06:13 104K 
[ ]zf_lang__t13_zf_lang2025-09-13 06:14 47K 
[ ]zf_lang__t14_zf_lang2025-09-13 06:15 35K 
[ ]zf_lang__t15_zf_lang2025-09-13 06:16 48K 
[ ]zf_lang__t16_zf_lang2025-09-13 06:17 36K 
[ ]zf_lang__t17_zf_lang2025-09-13 06:18 46K 
[ ]zf_lang__t18_zf_lang2025-09-13 06:19 47K 
[ ]zf_lang__t19_zf_lang2025-09-13 06:21 47K 
[ ]zf_lang__t20_zf_lang2025-09-13 05:50 34K 
[ ]zf_lang__t21_zf_lang2025-09-13 06:22 36K 
[ ]zf_lang__t22_zf_lang2025-09-13 06:23 46K 
[ ]zf_lang__t23_zf_lang2025-09-13 06:24 35K 
[ ]zf_lang__t24_zf_lang2025-09-13 05:51 26K 
[ ]zf_lang__t25_zf_lang2025-09-13 05:52 26K 
[ ]zf_lang__t26_zf_lang2025-09-13 05:53 26K 
[ ]zf_lang__t27_zf_lang2025-09-13 05:54 26K 
[ ]zf_lang__t28_zf_lang2025-09-13 05:55 26K 
[ ]zf_lang__t29_zf_lang2025-09-13 06:26 408K 
[ ]zf_lang__t30_zf_lang2025-09-13 06:27 42K 
[ ]zf_lang__t31_zf_lang2025-09-13 06:28 38K 
[ ]zf_lang__t32_zf_lang2025-09-13 06:29 38K 
[ ]zf_lang__t33_zf_lang2025-09-13 06:30 38K 
[ ]zf_lang__t34_zf_lang2025-09-13 06:32 47K 
[ ]zf_lang__t35_zf_lang2025-09-13 05:56 32K 
[ ]zf_lang__t36_zf_lang2025-09-13 06:33 48K 
[ ]zf_lang__t37_zf_lang2025-09-13 06:34 48K 
[ ]zf_lang__t38_zf_lang2025-09-13 05:57 39K 
[ ]zf_lang__t39_zf_lang2025-09-13 06:36 40K 
[ ]zf_lang__t40_zf_lang2025-09-13 06:37 38K 
[ ]zf_lang__t41_zf_lang2025-09-13 06:38 38K 
[ ]zf_lang__t42_zf_lang2025-09-13 05:58 49K 
[ ]zf_lang__t43_zf_lang2025-09-13 06:39 50K 
[ ]zf_lang__t44_zf_lang2025-09-13 06:40 48K 
[ ]zf_lang__t45_zf_lang2025-09-13 06:42 47K 
[ ]zf_lang__t46_zf_lang2025-09-13 05:59 39K 
[ ]zf_lang__t47_zf_lang2025-09-13 06:43 38K 
[ ]zf_lang__t48_zf_lang2025-09-13 06:00 39K 
[ ]zf_lang__t49_zf_lang2025-09-13 06:44 39K 
[ ]zf_lang__t50_zf_lang2025-09-13 06:45 53K 
[ ]zf_lang__t51_zf_lang2025-09-13 06:47 53K 
[ ]zf_lang__t52_zf_lang2025-09-13 06:48 51K 
[ ]zf_lang__t53_zf_lang2025-09-13 06:49 51K 
[ ]zf_lang__t54_zf_lang2025-09-13 06:51 51K 
[ ]zf_lang__t55_zf_lang2025-09-13 06:52 52K 
[ ]zf_lang__t56_zf_lang2025-09-13 06:53 50K 
[ ]zf_lang__t57_zf_lang2025-09-13 06:54 50K 
[ ]zf_lang__t58_zf_lang2025-09-13 06:56 50K 
[ ]zf_lang__t59_zf_lang2025-09-13 06:57 50K 
[ ]zf_lang__t60_zf_lang2025-09-13 06:59 104K 
[ ]zf_lang__t61_zf_lang2025-09-13 07:00 56K 
[ ]zf_lang__t62_zf_lang2025-09-13 07:01 106K 
[ ]zf_lang__t63_zf_lang2025-09-13 07:03 104K 
[ ]zf_lang__t64_zf_lang2025-09-13 07:05 516K 
[ ]zf_lang__t65_zf_lang2025-09-13 07:06 34K 
[ ]zf_lang__t66_zf_lang2025-09-13 07:07 34K 
[ ]zf_lang__t67_zf_lang2025-09-13 07:08 52K 
[ ]zf_lang__t68_zf_lang2025-09-13 07:10 51K 
[ ]zf_lang__t69_zf_lang2025-09-13 07:11 513K 
[ ]zf_lang__t70_zf_lang2025-09-13 07:13 405K 
[ ]zf_lang__t71_zf_lang2025-09-13 07:15 513K 
[ ]zf_lang__t72_zf_lang2025-09-13 07:16 48K 
[ ]zf_lang__t73_zf_lang2025-09-13 07:18 50K 
[ ]zf_lang__t74_zf_lang2025-09-13 07:19 51K 
[ ]zf_lang__t75_zf_lang2025-09-13 07:20 50K 
[ ]zf_lang__t76_zf_lang2025-09-13 07:22 56K 
[ ]zf_lang__t77_zf_lang2025-09-13 07:23 56K 
[ ]zf_lang__t78_zf_lang2025-09-13 07:24 34K 
[ ]zf_lang__t79_zf_lang2025-09-13 07:25 35K 
[ ]zf_lang__t80_zf_lang2025-09-13 07:26 52K 
[ ]zf_lang__t81_zf_lang2025-09-13 07:27 51K 
[ ]zf_lang__t82_zf_lang2025-09-13 07:29 58K 
[ ]zf_lang__t83_zf_lang2025-09-13 07:30 59K 
[ ]zf_lang__t84_zf_lang2025-09-13 07:32 59K 
[ ]zf_lang__t85_zf_lang2025-09-13 07:33 62K 
[ ]zf_lang__t86_zf_lang2025-09-13 07:34 38K 
[ ]zf_lang__t87_zf_lang2025-09-13 07:36 38K 
[ ]zf_lang__t88_zf_lang2025-09-13 07:37 48K 
[ ]zf_lang__t89_zf_lang2025-09-13 07:38 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80