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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_1__t1_cat_12021-07-18 23:30 26K 
[ ]cat_1__t2_cat_12021-07-18 23:25 26K 
[ ]cat_1__t4_cat_12021-07-18 23:30 27K 
[ ]cat_1__t5_cat_12021-07-18 23:31 28K 
[ ]cat_1__t6_cat_12021-07-18 23:31 27K 
[ ]cat_1__t7_cat_12021-07-18 23:31 28K 
[ ]cat_1__t8_cat_12021-07-18 23:31 28K 
[ ]cat_1__t9_cat_12021-07-18 23:32 32K 
[ ]cat_1__t11_cat_12021-07-18 23:32 34K 
[ ]cat_1__t12_cat_12021-07-18 23:32 36K 
[ ]cat_1__t13_cat_12021-07-18 23:25 34K 
[ ]cat_1__t14_cat_12021-07-18 23:33 30K 
[ ]cat_1__t15_cat_12021-07-18 23:25 28K 
[ ]cat_1__t16_cat_12021-07-18 23:33 29K 
[ ]cat_1__t17_cat_12021-07-18 23:25 27K 
[ ]cat_1__t18_cat_12021-07-18 23:26 27K 
[ ]cat_1__t21_cat_12021-07-18 23:33 30K 
[ ]cat_1__t22_cat_12021-07-18 23:34 30K 
[ ]cat_1__t23_cat_12021-07-18 23:34 30K 
[ ]cat_1__t24_cat_12021-07-18 23:26 29K 
[ ]cat_1__t25_cat_12021-07-18 23:34 33K 
[ ]cat_1__t27_cat_12021-07-18 23:26 28K 
[ ]cat_1__t28_cat_12021-07-18 23:35 31K 
[ ]cat_1__t29_cat_12021-07-18 23:35 31K 
[ ]cat_1__t30_cat_12021-07-18 23:26 16K 
[ ]cat_1__t31_cat_12021-07-18 23:27 29K 
[ ]cat_1__t32_cat_12021-07-18 23:35 31K 
[ ]cat_1__t33_cat_12021-07-18 23:36 30K 
[ ]cat_1__t34_cat_12021-07-18 23:36 32K 
[ ]cat_1__t35_cat_12021-07-18 23:36 30K 
[ ]cat_1__t36_cat_12021-07-18 23:27 29K 
[ ]cat_1__t37_cat_12021-07-18 23:36 31K 
[ ]cat_1__t38_cat_12021-07-18 23:37 30K 
[ ]cat_1__t39_cat_12021-07-18 23:37 32K 
[ ]cat_1__t40_cat_12021-07-18 23:37 30K 
[ ]cat_1__t41_cat_12021-07-18 23:27 30K 
[ ]cat_1__t42_cat_12021-07-18 23:38 32K 
[ ]cat_1__t43_cat_12021-07-18 23:38 32K 
[ ]cat_1__t44_cat_12021-07-18 23:38 30K 
[ ]cat_1__t45_cat_12021-07-18 23:39 33K 
[ ]cat_1__t46_cat_12021-07-18 23:39 31K 
[ ]cat_1__t47_cat_12021-07-18 23:39 36K 
[ ]cat_1__t48_cat_12021-07-18 23:40 32K 
[ ]cat_1__t49_cat_12021-07-18 23:40 30K 
[ ]cat_1__t50_cat_12021-07-18 23:40 14K 
[ ]cat_1__t51_cat_12021-07-18 23:41 32K 
[ ]cat_1__t52_cat_12021-07-18 23:41 35K 
[ ]cat_1__t53_cat_12021-07-18 23:41 30K 
[ ]cat_1__t54_cat_12021-07-18 23:41 14K 
[ ]cat_1__t55_cat_12021-07-18 23:42 32K 
[ ]cat_1__t56_cat_12021-07-18 23:42 35K 
[ ]cat_1__t57_cat_12021-07-18 23:42 28K 
[ ]cat_1__t58_cat_12021-07-18 23:28 27K 
[ ]cat_1__t59_cat_12021-07-18 23:43 28K 
[ ]cat_1__t60_cat_12021-07-18 23:43 17K 
[ ]cat_1__t61_cat_12021-07-18 23:43 35K 
[ ]cat_1__t62_cat_12021-07-18 23:28 33K 
[ ]cat_1__t63_cat_12021-07-18 23:28 34K 
[ ]cat_1__t64_cat_12021-07-18 23:44 36K 
[ ]cat_1__t65_cat_12021-07-18 23:44 33K 
[ ]cat_1__t66_cat_12021-07-18 23:28 27K 
[ ]cat_1__t67_cat_12021-07-18 23:44 36K 
[ ]cat_1__t68_cat_12021-07-18 23:44 35K 
[ ]cat_1__t69_cat_12021-07-18 23:45 36K 
[ ]cat_1__t70_cat_12021-07-18 23:29 29K 
[ ]cat_1__t71_cat_12021-07-18 23:29 28K 
[ ]cat_1__t72_cat_12021-07-18 23:29 31K 
[ ]cat_1__t73_cat_12021-07-18 23:45 43K 
[ ]cat_1__t74_cat_12021-07-18 23:45 33K 
[ ]cat_1__t75_cat_12021-07-18 23:46 41K 
[ ]cat_1__t76_cat_12021-07-18 23:29 33K 
[ ]cat_1__t77_cat_12021-07-18 23:46 29K 
[ ]cat_1__t78_cat_12021-07-18 23:46 31K 
[ ]cat_1__t79_cat_12021-07-18 23:30 29K 
[ ]cat_1__t80_cat_12021-07-18 23:46 29K 
[ ]cat_1__t81_cat_12021-07-18 23:47 34K 
[ ]cat_1__t82_cat_12021-07-18 23:47 33K 
[ ]cat_1__t83_cat_12021-07-18 23:47 33K 
[ ]cat_1__t84_cat_12021-07-18 23:48 32K 
[ ]cat_1__t85_cat_12021-07-18 23:48 40K 
[ ]cat_1__t86_cat_12021-07-18 23:48 41K 
[ ]cat_1__t87_cat_12021-07-18 23:49 34K 
[ ]cat_1__t88_cat_12021-07-18 23:49 37K 
[ ]cat_1__t89_cat_12021-07-18 23:49 45K 
[ ]cat_1__t90_cat_12021-07-18 23:50 40K 
[ ]cat_1__t91_cat_12021-07-18 23:50 28K 
[ ]cat_1__t92_cat_12021-07-18 23:50 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80