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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_8__l31_cat_82025-09-12 12:02 44K 
[ ]cat_8__l77_cat_82025-09-12 12:04 59K 
[ ]cat_8__l90_cat_82025-09-12 12:05 52K 
[ ]cat_8__l93_cat_82025-09-12 12:07 38K 
[ ]cat_8__l94_cat_82025-09-12 12:08 42K 
[ ]cat_8__l111_cat_82025-09-12 12:13 98K 
[ ]cat_8__l112_cat_82025-09-12 12:14 49K 
[ ]cat_8__l113_cat_82025-09-12 12:16 49K 
[ ]cat_8__t1_cat_82025-09-12 10:35 3.6K 
[ ]cat_8__t2_cat_82025-09-12 10:35 4.3K 
[ ]cat_8__t3_cat_82025-09-12 10:35 3.2K 
[ ]cat_8__t4_cat_82025-09-12 10:36 25K 
[ ]cat_8__t5_cat_82025-09-12 10:37 21K 
[ ]cat_8__t6_cat_82025-09-12 10:38 19K 
[ ]cat_8__t7_cat_82025-09-12 10:39 20K 
[ ]cat_8__t8_cat_82025-09-12 10:40 39K 
[ ]cat_8__t9_cat_82025-09-12 10:41 20K 
[ ]cat_8__t10_cat_82025-09-12 10:42 42K 
[ ]cat_8__t11_cat_82025-09-12 10:44 34K 
[ ]cat_8__t12_cat_82025-09-12 10:33 7.2K 
[ ]cat_8__t13_cat_82025-09-12 10:44 8.2K 
[ ]cat_8__t14_cat_82025-09-12 10:46 51K 
[ ]cat_8__t15_cat_82025-09-12 10:48 57K 
[ ]cat_8__t16_cat_82025-09-12 10:49 39K 
[ ]cat_8__t17_cat_82025-09-12 10:51 45K 
[ ]cat_8__t18_cat_82025-09-12 10:53 70K 
[ ]cat_8__t19_cat_82025-09-12 10:54 20K 
[ ]cat_8__t20_cat_82025-09-12 10:55 23K 
[ ]cat_8__t21_cat_82025-09-12 10:56 27K 
[ ]cat_8__t22_cat_82025-09-12 10:57 29K 
[ ]cat_8__t23_cat_82025-09-12 10:58 19K 
[ ]cat_8__t24_cat_82025-09-12 10:59 39K 
[ ]cat_8__t25_cat_82025-09-12 11:00 11K 
[ ]cat_8__t26_cat_82025-09-12 11:01 14K 
[ ]cat_8__t27_cat_82025-09-12 11:02 49K 
[ ]cat_8__t28_cat_82025-09-12 11:04 34K 
[ ]cat_8__t29_cat_82025-09-12 11:05 39K 
[ ]cat_8__t30_cat_82025-09-12 11:06 20K 
[ ]cat_8__t31_cat_82025-09-12 11:07 23K 
[ ]cat_8__t32_cat_82025-09-12 11:08 28K 
[ ]cat_8__t33_cat_82025-09-12 11:09 30K 
[ ]cat_8__t34_cat_82025-09-12 11:10 19K 
[ ]cat_8__t35_cat_82025-09-12 11:12 40K 
[ ]cat_8__t36_cat_82025-09-12 11:13 11K 
[ ]cat_8__t37_cat_82025-09-12 11:13 14K 
[ ]cat_8__t38_cat_82025-09-12 10:34 39K 
[ ]cat_8__t39_cat_82025-09-12 11:15 31K 
[ ]cat_8__t40_cat_82025-09-12 11:16 21K 
[ ]cat_8__t41_cat_82025-09-12 11:17 43K 
[ ]cat_8__t42_cat_82025-09-12 11:18 24K 
[ ]cat_8__t43_cat_82025-09-12 11:19 25K 
[ ]cat_8__t44_cat_82025-09-12 11:20 26K 
[ ]cat_8__t45_cat_82025-09-12 11:21 17K 
[ ]cat_8__t46_cat_82025-09-12 11:22 10K 
[ ]cat_8__t47_cat_82025-09-12 11:23 50K 
[ ]cat_8__t48_cat_82025-09-12 11:24 13K 
[ ]cat_8__t49_cat_82025-09-12 11:26 46K 
[ ]cat_8__t50_cat_82025-09-12 11:26 22K 
[ ]cat_8__t51_cat_82025-09-12 11:27 20K 
[ ]cat_8__t52_cat_82025-09-12 11:28 42K 
[ ]cat_8__t53_cat_82025-09-12 11:30 42K 
[ ]cat_8__t54_cat_82025-09-12 11:31 46K 
[ ]cat_8__t55_cat_82025-09-12 11:33 45K 
[ ]cat_8__t56_cat_82025-09-12 11:34 48K 
[ ]cat_8__t57_cat_82025-09-12 11:36 51K 
[ ]cat_8__t58_cat_82025-09-12 11:37 40K 
[ ]cat_8__t59_cat_82025-09-12 11:39 59K 
[ ]cat_8__t60_cat_82025-09-12 11:41 94K 
[ ]cat_8__t61_cat_82025-09-12 11:42 13K 
[ ]cat_8__t62_cat_82025-09-12 11:43 13K 
[ ]cat_8__t63_cat_82025-09-12 11:45 62K 
[ ]cat_8__t64_cat_82025-09-12 11:47 66K 
[ ]cat_8__t65_cat_82025-09-12 11:48 48K 
[ ]cat_8__t66_cat_82025-09-12 11:50 29K 
[ ]cat_8__t67_cat_82025-09-12 11:51 34K 
[ ]cat_8__t68_cat_82025-09-12 11:52 37K 
[ ]cat_8__t69_cat_82025-09-12 11:54 47K 
[ ]cat_8__t70_cat_82025-09-12 11:55 32K 
[ ]cat_8__t71_cat_82025-09-12 11:57 49K 
[ ]cat_8__t72_cat_82025-09-12 11:58 13K 
[ ]cat_8__t73_cat_82025-09-12 11:59 29K 
[ ]cat_8__t74_cat_82025-09-12 12:00 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80