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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dilworth__s1_dilworth2025-09-12 15:54 50K 
[ ]dilworth__t1_dilworth2025-09-12 15:55 52K 
[ ]dilworth__t2_dilworth2025-09-12 15:57 48K 
[ ]dilworth__t3_dilworth2025-09-12 15:58 54K 
[ ]dilworth__t4_dilworth2025-09-12 15:59 58K 
[ ]dilworth__t5_dilworth2025-09-12 16:01 87K 
[ ]dilworth__t6_dilworth2025-09-12 16:03 50K 
[ ]dilworth__t7_dilworth2025-09-12 16:04 56K 
[ ]dilworth__t8_dilworth2025-09-12 16:05 56K 
[ ]dilworth__t9_dilworth2025-09-12 16:07 49K 
[ ]dilworth__t10_dilworth2025-09-12 16:08 51K 
[ ]dilworth__t11_dilworth2025-09-12 16:10 57K 
[ ]dilworth__t12_dilworth2025-09-12 16:11 57K 
[ ]dilworth__t13_dilworth2025-09-12 16:13 57K 
[ ]dilworth__t14_dilworth2025-09-12 16:14 57K 
[ ]dilworth__t15_dilworth2025-09-12 16:16 51K 
[ ]dilworth__t16_dilworth2025-09-12 16:17 50K 
[ ]dilworth__t17_dilworth2025-09-12 16:18 51K 
[ ]dilworth__t18_dilworth2025-09-12 16:20 64K 
[ ]dilworth__t19_dilworth2025-09-12 16:21 65K 
[ ]dilworth__t20_dilworth2025-09-12 16:23 65K 
[ ]dilworth__t21_dilworth2025-09-12 16:25 66K 
[ ]dilworth__t22_dilworth2025-09-12 16:26 59K 
[ ]dilworth__t23_dilworth2025-09-12 16:28 78K 
[ ]dilworth__t24_dilworth2025-09-12 16:30 58K 
[ ]dilworth__t25_dilworth2025-09-12 16:31 58K 
[ ]dilworth__t26_dilworth2025-09-12 16:33 65K 
[ ]dilworth__t27_dilworth2025-09-12 16:34 65K 
[ ]dilworth__t28_dilworth2025-09-12 16:36 61K 
[ ]dilworth__t29_dilworth2025-09-12 16:38 65K 
[ ]dilworth__t30_dilworth2025-09-12 16:39 61K 
[ ]dilworth__t31_dilworth2025-09-12 16:41 72K 
[ ]dilworth__t32_dilworth2025-09-12 16:43 61K 
[ ]dilworth__t33_dilworth2025-09-12 16:44 61K 
[ ]dilworth__t34_dilworth2025-09-12 16:46 70K 
[ ]dilworth__t35_dilworth2025-09-12 16:48 70K 
[ ]dilworth__t36_dilworth2025-09-12 16:50 75K 
[ ]dilworth__t37_dilworth2025-09-12 16:51 66K 
[ ]dilworth__t38_dilworth2025-09-12 16:53 75K 
[ ]dilworth__t39_dilworth2025-09-12 16:55 66K 
[ ]dilworth__t40_dilworth2025-09-12 16:56 60K 
[ ]dilworth__t41_dilworth2025-09-12 16:58 60K 
[ ]dilworth__t42_dilworth2025-09-12 16:59 65K 
[ ]dilworth__t43_dilworth2025-09-12 17:01 70K 
[ ]dilworth__t44_dilworth2025-09-12 17:02 65K 
[ ]dilworth__t45_dilworth2025-09-12 17:04 70K 
[ ]dilworth__t46_dilworth2025-09-12 17:05 76K 
[ ]dilworth__t47_dilworth2025-09-12 17:07 84K 
[ ]dilworth__t48_dilworth2025-09-12 17:09 83K 
[ ]dilworth__t49_dilworth2025-09-12 17:12 108K 
[ ]dilworth__t50_dilworth2025-09-12 17:14 77K 
[ ]dilworth__t51_dilworth2025-09-12 17:17 139K 
[ ]dilworth__t52_dilworth2025-09-12 17:19 96K 
[ ]dilworth__t53_dilworth2025-09-12 17:22 146K 
[ ]dilworth__t54_dilworth2025-09-12 17:24 136K 
[ ]dilworth__t55_dilworth2025-09-12 17:27 119K 
[ ]dilworth__t56_dilworth2025-09-12 17:29 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80