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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_1__t1_cat_12025-09-12 06:18 26K 
[ ]cat_1__t2_cat_12025-09-12 05:58 26K 
[ ]cat_1__t4_cat_12025-09-12 06:19 27K 
[ ]cat_1__t5_cat_12025-09-12 06:20 28K 
[ ]cat_1__t6_cat_12025-09-12 06:21 27K 
[ ]cat_1__t7_cat_12025-09-12 06:22 28K 
[ ]cat_1__t8_cat_12025-09-12 06:23 28K 
[ ]cat_1__t9_cat_12025-09-12 06:24 32K 
[ ]cat_1__t11_cat_12025-09-12 06:25 34K 
[ ]cat_1__t12_cat_12025-09-12 06:26 36K 
[ ]cat_1__t13_cat_12025-09-12 05:59 34K 
[ ]cat_1__t14_cat_12025-09-12 06:27 30K 
[ ]cat_1__t15_cat_12025-09-12 06:00 28K 
[ ]cat_1__t16_cat_12025-09-12 06:29 29K 
[ ]cat_1__t17_cat_12025-09-12 06:01 27K 
[ ]cat_1__t18_cat_12025-09-12 06:02 27K 
[ ]cat_1__t21_cat_12025-09-12 06:30 30K 
[ ]cat_1__t22_cat_12025-09-12 06:31 30K 
[ ]cat_1__t23_cat_12025-09-12 06:32 30K 
[ ]cat_1__t24_cat_12025-09-12 06:03 29K 
[ ]cat_1__t25_cat_12025-09-12 06:33 33K 
[ ]cat_1__t27_cat_12025-09-12 06:04 28K 
[ ]cat_1__t28_cat_12025-09-12 06:34 31K 
[ ]cat_1__t29_cat_12025-09-12 06:35 31K 
[ ]cat_1__t30_cat_12025-09-12 06:05 16K 
[ ]cat_1__t31_cat_12025-09-12 06:06 29K 
[ ]cat_1__t32_cat_12025-09-12 06:36 31K 
[ ]cat_1__t33_cat_12025-09-12 06:38 30K 
[ ]cat_1__t34_cat_12025-09-12 06:39 32K 
[ ]cat_1__t35_cat_12025-09-12 06:40 30K 
[ ]cat_1__t36_cat_12025-09-12 06:07 29K 
[ ]cat_1__t37_cat_12025-09-12 06:41 31K 
[ ]cat_1__t38_cat_12025-09-12 06:42 30K 
[ ]cat_1__t39_cat_12025-09-12 06:43 32K 
[ ]cat_1__t40_cat_12025-09-12 06:45 30K 
[ ]cat_1__t41_cat_12025-09-12 06:08 30K 
[ ]cat_1__t42_cat_12025-09-12 06:46 32K 
[ ]cat_1__t43_cat_12025-09-12 06:47 32K 
[ ]cat_1__t44_cat_12025-09-12 06:48 30K 
[ ]cat_1__t45_cat_12025-09-12 06:49 33K 
[ ]cat_1__t46_cat_12025-09-12 06:50 31K 
[ ]cat_1__t47_cat_12025-09-12 06:52 36K 
[ ]cat_1__t48_cat_12025-09-12 06:53 32K 
[ ]cat_1__t49_cat_12025-09-12 06:54 30K 
[ ]cat_1__t50_cat_12025-09-12 06:55 14K 
[ ]cat_1__t51_cat_12025-09-12 06:56 32K 
[ ]cat_1__t52_cat_12025-09-12 06:57 35K 
[ ]cat_1__t53_cat_12025-09-12 06:58 30K 
[ ]cat_1__t54_cat_12025-09-12 06:59 14K 
[ ]cat_1__t55_cat_12025-09-12 07:00 32K 
[ ]cat_1__t56_cat_12025-09-12 07:01 35K 
[ ]cat_1__t57_cat_12025-09-12 07:02 28K 
[ ]cat_1__t58_cat_12025-09-12 06:09 27K 
[ ]cat_1__t59_cat_12025-09-12 07:04 28K 
[ ]cat_1__t60_cat_12025-09-12 07:04 17K 
[ ]cat_1__t61_cat_12025-09-12 07:06 35K 
[ ]cat_1__t62_cat_12025-09-12 06:10 33K 
[ ]cat_1__t63_cat_12025-09-12 06:11 34K 
[ ]cat_1__t64_cat_12025-09-12 07:07 36K 
[ ]cat_1__t65_cat_12025-09-12 07:08 33K 
[ ]cat_1__t66_cat_12025-09-12 06:12 27K 
[ ]cat_1__t67_cat_12025-09-12 07:09 36K 
[ ]cat_1__t68_cat_12025-09-12 07:10 35K 
[ ]cat_1__t69_cat_12025-09-12 07:11 36K 
[ ]cat_1__t70_cat_12025-09-12 06:13 29K 
[ ]cat_1__t71_cat_12025-09-12 06:14 28K 
[ ]cat_1__t72_cat_12025-09-12 06:15 31K 
[ ]cat_1__t73_cat_12025-09-12 07:12 43K 
[ ]cat_1__t74_cat_12025-09-12 07:14 33K 
[ ]cat_1__t75_cat_12025-09-12 07:15 41K 
[ ]cat_1__t76_cat_12025-09-12 06:16 33K 
[ ]cat_1__t77_cat_12025-09-12 07:16 29K 
[ ]cat_1__t78_cat_12025-09-12 07:17 31K 
[ ]cat_1__t79_cat_12025-09-12 06:17 29K 
[ ]cat_1__t80_cat_12025-09-12 07:18 29K 
[ ]cat_1__t81_cat_12025-09-12 07:19 34K 
[ ]cat_1__t82_cat_12025-09-12 07:20 33K 
[ ]cat_1__t83_cat_12025-09-12 07:21 33K 
[ ]cat_1__t84_cat_12025-09-12 07:22 32K 
[ ]cat_1__t85_cat_12025-09-12 07:24 40K 
[ ]cat_1__t86_cat_12025-09-12 07:25 41K 
[ ]cat_1__t87_cat_12025-09-12 07:26 34K 
[ ]cat_1__t88_cat_12025-09-12 07:27 38K 
[ ]cat_1__t89_cat_12025-09-12 07:29 45K 
[ ]cat_1__t90_cat_12025-09-12 07:30 41K 
[ ]cat_1__t91_cat_12025-09-12 07:31 28K 
[ ]cat_1__t92_cat_12025-09-12 07:32 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80