Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/sublemma

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sublemma__s1_sublemma2021-07-18 13:55 38K 
[ ]sublemma__t1_sublemma2021-07-18 13:55 25K 
[ ]sublemma__t2_sublemma2021-07-18 13:55 45K 
[ ]sublemma__t3_sublemma2021-07-18 13:55 35K 
[ ]sublemma__t4_sublemma2021-07-18 13:56 43K 
[ ]sublemma__t5_sublemma2021-07-18 13:56 30K 
[ ]sublemma__t6_sublemma2021-07-18 13:57 36K 
[ ]sublemma__t7_sublemma2021-07-18 13:57 37K 
[ ]sublemma__t8_sublemma2021-07-18 13:57 39K 
[ ]sublemma__t9_sublemma2021-07-18 13:58 31K 
[ ]sublemma__t10_sublemma2021-07-18 13:58 31K 
[ ]sublemma__t11_sublemma2021-07-18 13:58 41K 
[ ]sublemma__t12_sublemma2021-07-18 13:59 43K 
[ ]sublemma__t13_sublemma2021-07-18 13:59 59K 
[ ]sublemma__t14_sublemma2021-07-18 13:59 33K 
[ ]sublemma__t15_sublemma2021-07-18 14:00 58K 
[ ]sublemma__t16_sublemma2021-07-18 14:00 28K 
[ ]sublemma__t17_sublemma2021-07-18 14:01 42K 
[ ]sublemma__t18_sublemma2021-07-18 14:01 37K 
[ ]sublemma__t19_sublemma2021-07-18 14:01 45K 
[ ]sublemma__t20_sublemma2021-07-18 14:02 30K 
[ ]sublemma__t21_sublemma2021-07-18 14:02 30K 
[ ]sublemma__t22_sublemma2021-07-18 13:54 33K 
[ ]sublemma__t23_sublemma2021-07-18 14:02 24K 
[ ]sublemma__t24_sublemma2021-07-18 14:03 43K 
[ ]sublemma__t25_sublemma2021-07-18 14:03 44K 
[ ]sublemma__t26_sublemma2021-07-18 14:03 29K 
[ ]sublemma__t27_sublemma2021-07-18 14:04 26K 
[ ]sublemma__t28_sublemma2021-07-18 14:04 23K 
[ ]sublemma__t29_sublemma2021-07-18 14:04 29K 
[ ]sublemma__t30_sublemma2021-07-18 14:04 30K 
[ ]sublemma__t31_sublemma2021-07-18 14:05 34K 
[ ]sublemma__t32_sublemma2021-07-18 14:05 41K 
[ ]sublemma__t33_sublemma2021-07-18 14:05 30K 
[ ]sublemma__t34_sublemma2021-07-18 14:06 30K 
[ ]sublemma__t35_sublemma2021-07-18 14:06 33K 
[ ]sublemma__t36_sublemma2021-07-18 14:06 27K 
[ ]sublemma__t37_sublemma2021-07-18 14:07 30K 
[ ]sublemma__t38_sublemma2021-07-18 14:07 50K 
[ ]sublemma__t39_sublemma2021-07-18 14:08 41K 
[ ]sublemma__t40_sublemma2021-07-18 14:08 34K 
[ ]sublemma__t41_sublemma2021-07-18 14:08 41K 
[ ]sublemma__t42_sublemma2021-07-18 13:54 21K 
[ ]sublemma__t43_sublemma2021-07-18 14:09 38K 
[ ]sublemma__t44_sublemma2021-07-18 14:09 22K 
[ ]sublemma__t45_sublemma2021-07-18 14:09 26K 
[ ]sublemma__t46_sublemma2021-07-18 14:10 28K 
[ ]sublemma__t47_sublemma2021-07-18 14:10 35K 
[ ]sublemma__t48_sublemma2021-07-18 14:10 41K 
[ ]sublemma__t49_sublemma2021-07-18 14:10 42K 
[ ]sublemma__t50_sublemma2021-07-18 14:11 51K 
[ ]sublemma__t51_sublemma2021-07-18 14:11 42K 
[ ]sublemma__t52_sublemma2021-07-18 14:12 41K 
[ ]sublemma__t53_sublemma2021-07-18 14:12 84K 
[ ]sublemma__t54_sublemma2021-07-18 14:13 62K 
[ ]sublemma__t55_sublemma2021-07-18 14:13 62K 
[ ]sublemma__t56_sublemma2021-07-18 14:14 56K 
[ ]sublemma__t57_sublemma2021-07-18 14:14 33K 
[ ]sublemma__t58_sublemma2021-07-18 14:14 36K 
[ ]sublemma__t59_sublemma2021-07-18 14:15 59K 
[ ]sublemma__t60_sublemma2021-07-18 14:15 50K 
[ ]sublemma__t61_sublemma2021-07-18 14:15 35K 
[ ]sublemma__t62_sublemma2021-07-18 14:16 40K 
[ ]sublemma__t63_sublemma2021-07-18 14:16 48K 
[ ]sublemma__t64_sublemma2021-07-18 14:16 52K 
[ ]sublemma__t65_sublemma2021-07-18 14:17 25K 
[ ]sublemma__t66_sublemma2021-07-18 14:17 54K 
[ ]sublemma__t67_sublemma2021-07-18 14:17 51K 
[ ]sublemma__t68_sublemma2021-07-18 14:18 48K 
[ ]sublemma__t69_sublemma2021-07-18 14:18 77K 
[ ]sublemma__t70_sublemma2021-07-18 14:19 63K 
[ ]sublemma__t71_sublemma2021-07-18 14:19 49K 
[ ]sublemma__t72_sublemma2021-07-18 14:20 54K 
[ ]sublemma__t73_sublemma2021-07-18 13:54 51K 
[ ]sublemma__t74_sublemma2021-07-18 14:20 53K 
[ ]sublemma__t75_sublemma2021-07-18 14:21 55K 
[ ]sublemma__t76_sublemma2021-07-18 14:21 42K 
[ ]sublemma__t77_sublemma2021-07-18 14:21 47K 
[ ]sublemma__t78_sublemma2021-07-18 14:22 33K 
[ ]sublemma__t79_sublemma2021-07-18 14:22 45K 
[ ]sublemma__t80_sublemma2021-07-18 14:22 66K 
[ ]sublemma__t81_sublemma2021-07-18 14:23 61K 
[ ]sublemma__t82_sublemma2021-07-18 14:23 38K 
[ ]sublemma__t83_sublemma2021-07-18 14:23 57K 
[ ]sublemma__t84_sublemma2021-07-18 14:24 43K 
[ ]sublemma__t85_sublemma2021-07-18 14:24 61K 
[ ]sublemma__t86_sublemma2021-07-18 14:25 78K 
[ ]sublemma__t87_sublemma2021-07-18 14:25 62K 
[ ]sublemma__t88_sublemma2021-07-18 14:26 69K 
[ ]sublemma__t89_sublemma2021-07-18 14:26 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80