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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cardfil2__l2_cardfil22021-07-18 22:39 34K 
[ ]cardfil2__l3_cardfil22021-07-18 22:39 34K 
[ ]cardfil2__l69_cardfil22021-07-18 22:40 44K 
[ ]cardfil2__l70_cardfil22021-07-18 22:40 44K 
[ ]cardfil2__t1_cardfil22021-07-18 21:57 30K 
[ ]cardfil2__t2_cardfil22021-07-18 22:05 34K 
[ ]cardfil2__t3_cardfil22021-07-18 22:05 34K 
[ ]cardfil2__t4_cardfil22021-07-18 22:05 48K 
[ ]cardfil2__t5_cardfil22021-07-18 22:06 33K 
[ ]cardfil2__t6_cardfil22021-07-18 22:06 31K 
[ ]cardfil2__t7_cardfil22021-07-18 22:06 33K 
[ ]cardfil2__t8_cardfil22021-07-18 22:06 31K 
[ ]cardfil2__t9_cardfil22021-07-18 22:07 42K 
[ ]cardfil2__t10_cardfil22021-07-18 22:07 29K 
[ ]cardfil2__t11_cardfil22021-07-18 22:07 35K 
[ ]cardfil2__t12_cardfil22021-07-18 22:08 31K 
[ ]cardfil2__t13_cardfil22021-07-18 22:08 29K 
[ ]cardfil2__t14_cardfil22021-07-18 22:08 29K 
[ ]cardfil2__t15_cardfil22021-07-18 22:09 29K 
[ ]cardfil2__t16_cardfil22021-07-18 22:09 29K 
[ ]cardfil2__t17_cardfil22021-07-18 22:09 77K 
[ ]cardfil2__t18_cardfil22021-07-18 21:57 29K 
[ ]cardfil2__t19_cardfil22021-07-18 22:10 30K 
[ ]cardfil2__t20_cardfil22021-07-18 21:57 30K 
[ ]cardfil2__t21_cardfil22021-07-18 22:10 38K 
[ ]cardfil2__t22_cardfil22021-07-18 22:10 35K 
[ ]cardfil2__t23_cardfil22021-07-18 22:11 33K 
[ ]cardfil2__t24_cardfil22021-07-18 22:11 33K 
[ ]cardfil2__t25_cardfil22021-07-18 22:11 36K 
[ ]cardfil2__t26_cardfil22021-07-18 22:12 33K 
[ ]cardfil2__t27_cardfil22021-07-18 22:12 37K 
[ ]cardfil2__t28_cardfil22021-07-18 22:12 35K 
[ ]cardfil2__t29_cardfil22021-07-18 22:13 38K 
[ ]cardfil2__t30_cardfil22021-07-18 22:13 31K 
[ ]cardfil2__t31_cardfil22021-07-18 22:13 66K 
[ ]cardfil2__t32_cardfil22021-07-18 21:58 65K 
[ ]cardfil2__t33_cardfil22021-07-18 22:14 35K 
[ ]cardfil2__t34_cardfil22021-07-18 22:14 59K 
[ ]cardfil2__t35_cardfil22021-07-18 22:15 46K 
[ ]cardfil2__t36_cardfil22021-07-18 21:58 30K 
[ ]cardfil2__t37_cardfil22021-07-18 22:15 47K 
[ ]cardfil2__t38_cardfil22021-07-18 22:15 43K 
[ ]cardfil2__t39_cardfil22021-07-18 22:16 59K 
[ ]cardfil2__t40_cardfil22021-07-18 21:59 47K 
[ ]cardfil2__t41_cardfil22021-07-18 22:16 55K 
[ ]cardfil2__t42_cardfil22021-07-18 22:17 45K 
[ ]cardfil2__t43_cardfil22021-07-18 22:17 61K 
[ ]cardfil2__t44_cardfil22021-07-18 22:17 63K 
[ ]cardfil2__t45_cardfil22021-07-18 22:18 62K 
[ ]cardfil2__t46_cardfil22021-07-18 22:18 61K 
[ ]cardfil2__t47_cardfil22021-07-18 22:19 63K 
[ ]cardfil2__t48_cardfil22021-07-18 22:19 43K 
[ ]cardfil2__t49_cardfil22021-07-18 22:20 44K 
[ ]cardfil2__t50_cardfil22021-07-18 22:20 49K 
[ ]cardfil2__t51_cardfil22021-07-18 22:20 38K 
[ ]cardfil2__t52_cardfil22021-07-18 22:21 64K 
[ ]cardfil2__t53_cardfil22021-07-18 22:21 70K 
[ ]cardfil2__t54_cardfil22021-07-18 22:22 74K 
[ ]cardfil2__t55_cardfil22021-07-18 22:22 56K 
[ ]cardfil2__t56_cardfil22021-07-18 21:59 60K 
[ ]cardfil2__t57_cardfil22021-07-18 22:23 35K 
[ ]cardfil2__t58_cardfil22021-07-18 22:23 41K 
[ ]cardfil2__t59_cardfil22021-07-18 22:23 30K 
[ ]cardfil2__t60_cardfil22021-07-18 22:24 61K 
[ ]cardfil2__t61_cardfil22021-07-18 22:00 67K 
[ ]cardfil2__t62_cardfil22021-07-18 22:24 68K 
[ ]cardfil2__t63_cardfil22021-07-18 22:00 30K 
[ ]cardfil2__t64_cardfil22021-07-18 22:25 41K 
[ ]cardfil2__t65_cardfil22021-07-18 22:00 63K 
[ ]cardfil2__t66_cardfil22021-07-18 22:01 64K 
[ ]cardfil2__t67_cardfil22021-07-18 22:01 30K 
[ ]cardfil2__t68_cardfil22021-07-18 22:25 68K 
[ ]cardfil2__t69_cardfil22021-07-18 22:26 64K 
[ ]cardfil2__t70_cardfil22021-07-18 22:26 67K 
[ ]cardfil2__t71_cardfil22021-07-18 22:27 57K 
[ ]cardfil2__t72_cardfil22021-07-18 22:27 60K 
[ ]cardfil2__t73_cardfil22021-07-18 22:28 71K 
[ ]cardfil2__t74_cardfil22021-07-18 22:28 79K 
[ ]cardfil2__t75_cardfil22021-07-18 22:29 60K 
[ ]cardfil2__t76_cardfil22021-07-18 22:29 64K 
[ ]cardfil2__t77_cardfil22021-07-18 22:02 67K 
[ ]cardfil2__t78_cardfil22021-07-18 22:30 75K 
[ ]cardfil2__t79_cardfil22021-07-18 22:02 67K 
[ ]cardfil2__t80_cardfil22021-07-18 22:30 71K 
[ ]cardfil2__t81_cardfil22021-07-18 22:31 72K 
[ ]cardfil2__t82_cardfil22021-07-18 22:32 78K 
[ ]cardfil2__t83_cardfil22021-07-18 22:32 77K 
[ ]cardfil2__t84_cardfil22021-07-18 22:33 89K 
[ ]cardfil2__t85_cardfil22021-07-18 22:03 77K 
[ ]cardfil2__t86_cardfil22021-07-18 22:33 69K 
[ ]cardfil2__t87_cardfil22021-07-18 22:03 69K 
[ ]cardfil2__t88_cardfil22021-07-18 22:04 66K 
[ ]cardfil2__t89_cardfil22021-07-18 22:34 94K 
[ ]cardfil2__t90_cardfil22021-07-18 22:35 87K 
[ ]cardfil2__t91_cardfil22021-07-18 22:35 97K 
[ ]cardfil2__t92_cardfil22021-07-18 22:36 89K 
[ ]cardfil2__t93_cardfil22021-07-18 22:04 56K 
[ ]cardfil2__t94_cardfil22021-07-18 22:37 84K 
[ ]cardfil2__t95_cardfil22021-07-18 22:38 97K 
[ ]cardfil2__t96_cardfil22021-07-18 22:38 90K 
[ ]cardfil2__t97_cardfil22021-07-18 22:39 86K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80