Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/zf_lang

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]zf_lang__s1_zf_lang2021-07-18 15:34 54K 
[   ]zf_lang__s2_zf_lang2021-07-18 15:34 32K 
[   ]zf_lang__t1_zf_lang2021-07-18 15:35 49K 
[   ]zf_lang__t2_zf_lang2021-07-18 15:35 48K 
[   ]zf_lang__t3_zf_lang2021-07-18 15:35 45K 
[   ]zf_lang__t4_zf_lang2021-07-18 15:36 47K 
[   ]zf_lang__t5_zf_lang2021-07-18 15:29 52K 
[   ]zf_lang__t6_zf_lang2021-07-18 15:29 52K 
[   ]zf_lang__t7_zf_lang2021-07-18 15:29 47K 
[   ]zf_lang__t8_zf_lang2021-07-18 15:30 49K 
[   ]zf_lang__t9_zf_lang2021-07-18 15:36 456K 
[   ]zf_lang__t10_zf_lang2021-07-18 15:30 27K 
[   ]zf_lang__t11_zf_lang2021-07-18 15:37 49K 
[   ]zf_lang__t12_zf_lang2021-07-18 15:37 102K 
[   ]zf_lang__t13_zf_lang2021-07-18 15:37 49K 
[   ]zf_lang__t14_zf_lang2021-07-18 15:38 37K 
[   ]zf_lang__t15_zf_lang2021-07-18 15:38 47K 
[   ]zf_lang__t16_zf_lang2021-07-18 15:38 35K 
[   ]zf_lang__t17_zf_lang2021-07-18 15:39 45K 
[   ]zf_lang__t18_zf_lang2021-07-18 15:39 49K 
[   ]zf_lang__t19_zf_lang2021-07-18 15:39 48K 
[   ]zf_lang__t20_zf_lang2021-07-18 15:30 33K 
[   ]zf_lang__t21_zf_lang2021-07-18 15:40 35K 
[   ]zf_lang__t22_zf_lang2021-07-18 15:40 45K 
[   ]zf_lang__t23_zf_lang2021-07-18 15:40 37K 
[   ]zf_lang__t24_zf_lang2021-07-18 15:31 28K 
[   ]zf_lang__t25_zf_lang2021-07-18 15:31 28K 
[   ]zf_lang__t26_zf_lang2021-07-18 15:31 28K 
[   ]zf_lang__t27_zf_lang2021-07-18 15:32 28K 
[   ]zf_lang__t28_zf_lang2021-07-18 15:32 28K 
[   ]zf_lang__t29_zf_lang2021-07-18 15:41 374K 
[   ]zf_lang__t30_zf_lang2021-07-18 15:41 41K 
[   ]zf_lang__t31_zf_lang2021-07-18 15:41 37K 
[   ]zf_lang__t32_zf_lang2021-07-18 15:42 37K 
[   ]zf_lang__t33_zf_lang2021-07-18 15:42 38K 
[   ]zf_lang__t34_zf_lang2021-07-18 15:42 46K 
[   ]zf_lang__t35_zf_lang2021-07-18 15:32 34K 
[   ]zf_lang__t36_zf_lang2021-07-18 15:43 50K 
[   ]zf_lang__t37_zf_lang2021-07-18 15:43 49K 
[   ]zf_lang__t38_zf_lang2021-07-18 15:33 38K 
[   ]zf_lang__t39_zf_lang2021-07-18 15:44 39K 
[   ]zf_lang__t40_zf_lang2021-07-18 15:44 38K 
[   ]zf_lang__t41_zf_lang2021-07-18 15:44 37K 
[   ]zf_lang__t42_zf_lang2021-07-18 15:33 48K 
[   ]zf_lang__t43_zf_lang2021-07-18 15:45 49K 
[   ]zf_lang__t44_zf_lang2021-07-18 15:45 47K 
[   ]zf_lang__t45_zf_lang2021-07-18 15:45 47K 
[   ]zf_lang__t46_zf_lang2021-07-18 15:33 38K 
[   ]zf_lang__t47_zf_lang2021-07-18 15:46 37K 
[   ]zf_lang__t48_zf_lang2021-07-18 15:34 38K 
[   ]zf_lang__t49_zf_lang2021-07-18 15:46 38K 
[   ]zf_lang__t50_zf_lang2021-07-18 15:46 52K 
[   ]zf_lang__t51_zf_lang2021-07-18 15:47 52K 
[   ]zf_lang__t52_zf_lang2021-07-18 15:47 50K 
[   ]zf_lang__t53_zf_lang2021-07-18 15:47 50K 
[   ]zf_lang__t54_zf_lang2021-07-18 15:48 50K 
[   ]zf_lang__t55_zf_lang2021-07-18 15:48 51K 
[   ]zf_lang__t56_zf_lang2021-07-18 15:49 49K 
[   ]zf_lang__t57_zf_lang2021-07-18 15:49 50K 
[   ]zf_lang__t58_zf_lang2021-07-18 15:49 50K 
[   ]zf_lang__t59_zf_lang2021-07-18 15:50 51K 
[   ]zf_lang__t60_zf_lang2021-07-18 15:50 102K 
[   ]zf_lang__t61_zf_lang2021-07-18 15:50 55K 
[   ]zf_lang__t62_zf_lang2021-07-18 15:51 104K 
[   ]zf_lang__t63_zf_lang2021-07-18 15:51 103K 
[   ]zf_lang__t64_zf_lang2021-07-18 15:52 461K 
[   ]zf_lang__t65_zf_lang2021-07-18 15:52 37K 
[   ]zf_lang__t66_zf_lang2021-07-18 15:52 36K 
[   ]zf_lang__t67_zf_lang2021-07-18 15:53 51K 
[   ]zf_lang__t68_zf_lang2021-07-18 15:53 50K 
[   ]zf_lang__t69_zf_lang2021-07-18 15:54 458K 
[   ]zf_lang__t70_zf_lang2021-07-18 15:54 372K 
[   ]zf_lang__t71_zf_lang2021-07-18 15:55 458K 
[   ]zf_lang__t72_zf_lang2021-07-18 15:55 47K 
[   ]zf_lang__t73_zf_lang2021-07-18 15:55 50K 
[   ]zf_lang__t74_zf_lang2021-07-18 15:56 50K 
[   ]zf_lang__t75_zf_lang2021-07-18 15:56 50K 
[   ]zf_lang__t76_zf_lang2021-07-18 15:57 55K 
[   ]zf_lang__t77_zf_lang2021-07-18 15:57 55K 
[   ]zf_lang__t78_zf_lang2021-07-18 15:57 36K 
[   ]zf_lang__t79_zf_lang2021-07-18 15:58 37K 
[   ]zf_lang__t80_zf_lang2021-07-18 15:58 51K 
[   ]zf_lang__t81_zf_lang2021-07-18 15:58 51K 
[   ]zf_lang__t82_zf_lang2021-07-18 15:59 59K 
[   ]zf_lang__t83_zf_lang2021-07-18 15:59 59K 
[   ]zf_lang__t84_zf_lang2021-07-18 16:00 59K 
[   ]zf_lang__t85_zf_lang2021-07-18 16:00 62K 
[   ]zf_lang__t86_zf_lang2021-07-18 16:00 38K 
[   ]zf_lang__t87_zf_lang2021-07-18 16:01 39K 
[   ]zf_lang__t88_zf_lang2021-07-18 16:01 49K 
[   ]zf_lang__t89_zf_lang2021-07-18 16:01 55K 

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