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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_4__l10_cat_42025-09-12 16:50 54K 
[ ]cat_4__l72_cat_42025-09-12 16:51 54K 
[ ]cat_4__t1_cat_42025-09-12 15:03 94K 
[ ]cat_4__t2_cat_42025-09-12 14:49 50K 
[ ]cat_4__t3_cat_42025-09-12 15:05 47K 
[ ]cat_4__t4_cat_42025-09-12 15:06 47K 
[ ]cat_4__t5_cat_42025-09-12 15:07 53K 
[ ]cat_4__t6_cat_42025-09-12 15:09 54K 
[ ]cat_4__t7_cat_42025-09-12 14:50 53K 
[ ]cat_4__t8_cat_42025-09-12 15:11 54K 
[ ]cat_4__t9_cat_42025-09-12 15:12 55K 
[ ]cat_4__t10_cat_42025-09-12 14:52 55K 
[ ]cat_4__t11_cat_42025-09-12 14:53 48K 
[ ]cat_4__t12_cat_42025-09-12 15:14 49K 
[ ]cat_4__t13_cat_42025-09-12 15:15 48K 
[ ]cat_4__t14_cat_42025-09-12 15:17 50K 
[ ]cat_4__t15_cat_42025-09-12 15:18 51K 
[ ]cat_4__t16_cat_42025-09-12 15:20 45K 
[ ]cat_4__t17_cat_42025-09-12 15:21 49K 
[ ]cat_4__t18_cat_42025-09-12 15:23 49K 
[ ]cat_4__t19_cat_42025-09-12 15:24 49K 
[ ]cat_4__t20_cat_42025-09-12 14:55 53K 
[ ]cat_4__t21_cat_42025-09-12 15:26 56K 
[ ]cat_4__t22_cat_42025-09-12 15:27 55K 
[ ]cat_4__t23_cat_42025-09-12 15:29 56K 
[ ]cat_4__t24_cat_42025-09-12 15:30 56K 
[ ]cat_4__t25_cat_42025-09-12 15:32 57K 
[ ]cat_4__t26_cat_42025-09-12 15:34 53K 
[ ]cat_4__t27_cat_42025-09-12 15:35 50K 
[ ]cat_4__t28_cat_42025-09-12 15:37 45K 
[ ]cat_4__t29_cat_42025-09-12 15:38 65K 
[ ]cat_4__t30_cat_42025-09-12 15:40 63K 
[ ]cat_4__t31_cat_42025-09-12 15:41 45K 
[ ]cat_4__t32_cat_42025-09-12 15:43 59K 
[ ]cat_4__t33_cat_42025-09-12 15:44 58K 
[ ]cat_4__t34_cat_42025-09-12 15:46 44K 
[ ]cat_4__t35_cat_42025-09-12 15:47 51K 
[ ]cat_4__t36_cat_42025-09-12 15:49 46K 
[ ]cat_4__t37_cat_42025-09-12 15:50 66K 
[ ]cat_4__t38_cat_42025-09-12 15:52 62K 
[ ]cat_4__t39_cat_42025-09-12 15:53 46K 
[ ]cat_4__t40_cat_42025-09-12 15:55 57K 
[ ]cat_4__t41_cat_42025-09-12 15:57 60K 
[ ]cat_4__t42_cat_42025-09-12 15:58 59K 
[ ]cat_4__t43_cat_42025-09-12 16:00 59K 
[ ]cat_4__t44_cat_42025-09-12 16:02 94K 
[ ]cat_4__t46_cat_42025-09-12 16:04 47K 
[ ]cat_4__t47_cat_42025-09-12 16:05 47K 
[ ]cat_4__t48_cat_42025-09-12 16:07 53K 
[ ]cat_4__t49_cat_42025-09-12 16:09 54K 
[ ]cat_4__t50_cat_42025-09-12 14:56 53K 
[ ]cat_4__t51_cat_42025-09-12 16:10 54K 
[ ]cat_4__t52_cat_42025-09-12 16:12 55K 
[ ]cat_4__t53_cat_42025-09-12 14:58 55K 
[ ]cat_4__t54_cat_42025-09-12 14:59 48K 
[ ]cat_4__t55_cat_42025-09-12 16:13 49K 
[ ]cat_4__t56_cat_42025-09-12 16:15 48K 
[ ]cat_4__t57_cat_42025-09-12 16:16 50K 
[ ]cat_4__t58_cat_42025-09-12 16:18 51K 
[ ]cat_4__t59_cat_42025-09-12 16:19 45K 
[ ]cat_4__t60_cat_42025-09-12 16:21 50K 
[ ]cat_4__t61_cat_42025-09-12 16:22 50K 
[ ]cat_4__t62_cat_42025-09-12 16:24 49K 
[ ]cat_4__t63_cat_42025-09-12 15:01 50K 
[ ]cat_4__t64_cat_42025-09-12 16:25 53K 
[ ]cat_4__t65_cat_42025-09-12 16:27 55K 
[ ]cat_4__t66_cat_42025-09-12 16:28 56K 
[ ]cat_4__t67_cat_42025-09-12 16:30 56K 
[ ]cat_4__t68_cat_42025-09-12 16:32 57K 
[ ]cat_4__t69_cat_42025-09-12 16:33 53K 
[ ]cat_4__t70_cat_42025-09-12 16:35 50K 
[ ]cat_4__t71_cat_42025-09-12 16:37 63K 
[ ]cat_4__t72_cat_42025-09-12 16:38 60K 
[ ]cat_4__t73_cat_42025-09-12 16:40 63K 
[ ]cat_4__t74_cat_42025-09-12 16:41 46K 
[ ]cat_4__t75_cat_42025-09-12 16:43 57K 
[ ]cat_4__t76_cat_42025-09-12 16:45 60K 
[ ]cat_4__t77_cat_42025-09-12 16:46 59K 
[ ]cat_4__t78_cat_42025-09-12 16:48 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80