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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_6__l36_cat_62025-09-12 01:25 35K 
[ ]cat_6__l44_cat_62025-09-12 01:26 27K 
[ ]cat_6__l45_cat_62025-09-12 01:27 27K 
[ ]cat_6__l67_cat_62025-09-12 01:28 28K 
[ ]cat_6__l68_cat_62025-09-12 01:29 27K 
[ ]cat_6__l77_cat_62025-09-12 01:30 56K 
[ ]cat_6__l79_cat_62025-09-12 01:32 53K 
[ ]cat_6__t1_cat_62025-09-12 00:18 30K 
[ ]cat_6__t2_cat_62025-09-12 00:19 29K 
[ ]cat_6__t3_cat_62025-09-12 00:25 30K 
[ ]cat_6__t4_cat_62025-09-12 00:26 29K 
[ ]cat_6__t5_cat_62025-09-12 00:27 29K 
[ ]cat_6__t6_cat_62025-09-12 00:29 29K 
[ ]cat_6__t7_cat_62025-09-12 00:30 29K 
[ ]cat_6__t8_cat_62025-09-12 00:31 29K 
[ ]cat_6__t9_cat_62025-09-12 00:32 33K 
[ ]cat_6__t10_cat_62025-09-12 00:33 31K 
[ ]cat_6__t11_cat_62025-09-12 00:34 28K 
[ ]cat_6__t12_cat_62025-09-12 00:35 28K 
[ ]cat_6__t13_cat_62025-09-12 00:36 28K 
[ ]cat_6__t14_cat_62025-09-12 00:20 25K 
[ ]cat_6__t15_cat_62025-09-12 00:38 28K 
[ ]cat_6__t16_cat_62025-09-12 00:39 28K 
[ ]cat_6__t17_cat_62025-09-12 00:40 27K 
[ ]cat_6__t18_cat_62025-09-12 00:41 28K 
[ ]cat_6__t19_cat_62025-09-12 00:42 27K 
[ ]cat_6__t20_cat_62025-09-12 00:20 25K 
[ ]cat_6__t21_cat_62025-09-12 00:43 27K 
[ ]cat_6__t22_cat_62025-09-12 00:43 22K 
[ ]cat_6__t23_cat_62025-09-12 00:45 34K 
[ ]cat_6__t24_cat_62025-09-12 00:46 33K 
[ ]cat_6__t25_cat_62025-09-12 00:47 29K 
[ ]cat_6__t26_cat_62025-09-12 00:48 34K 
[ ]cat_6__t27_cat_62025-09-12 00:49 34K 
[ ]cat_6__t28_cat_62025-09-12 00:51 46K 
[ ]cat_6__t29_cat_62025-09-12 00:52 34K 
[ ]cat_6__t30_cat_62025-09-12 00:53 33K 
[ ]cat_6__t31_cat_62025-09-12 00:21 31K 
[ ]cat_6__t32_cat_62025-09-12 00:55 40K 
[ ]cat_6__t33_cat_62025-09-12 00:23 34K 
[ ]cat_6__t34_cat_62025-09-12 00:56 46K 
[ ]cat_6__t35_cat_62025-09-12 00:57 40K 
[ ]cat_6__t36_cat_62025-09-12 00:59 40K 
[ ]cat_6__t37_cat_62025-09-12 01:00 43K 
[ ]cat_6__t38_cat_62025-09-12 01:01 38K 
[ ]cat_6__t39_cat_62025-09-12 01:03 43K 
[ ]cat_6__t40_cat_62025-09-12 01:04 44K 
[ ]cat_6__t41_cat_62025-09-12 01:06 54K 
[ ]cat_6__t42_cat_62025-09-12 01:08 59K 
[ ]cat_6__t43_cat_62025-09-12 01:10 44K 
[ ]cat_6__t44_cat_62025-09-12 01:11 46K 
[ ]cat_6__t45_cat_62025-09-12 01:13 54K 
[ ]cat_6__t46_cat_62025-09-12 01:15 45K 
[ ]cat_6__t47_cat_62025-09-12 01:17 63K 
[ ]cat_6__t48_cat_62025-09-12 01:18 59K 
[ ]cat_6__t49_cat_62025-09-12 01:20 66K 
[ ]cat_6__t50_cat_62025-09-12 01:21 44K 
[ ]cat_6__t51_cat_62025-09-12 00:24 45K 
[ ]cat_6__t52_cat_62025-09-12 01:24 70K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80