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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hfdiff_1__l32_hfdiff_12025-09-12 02:14 70K 
[ ]hfdiff_1__l46_hfdiff_12025-09-12 02:16 45K 
[ ]hfdiff_1__l66_hfdiff_12025-09-12 02:17 60K 
[ ]hfdiff_1__l70_hfdiff_12025-09-12 02:19 72K 
[ ]hfdiff_1__l71_hfdiff_12025-09-12 02:20 52K 
[ ]hfdiff_1__t1_hfdiff_12025-09-12 00:41 50K 
[ ]hfdiff_1__t2_hfdiff_12025-09-12 00:42 60K 
[ ]hfdiff_1__t3_hfdiff_12025-09-12 00:44 66K 
[ ]hfdiff_1__t4_hfdiff_12025-09-12 00:45 47K 
[ ]hfdiff_1__t5_hfdiff_12025-09-12 00:47 65K 
[ ]hfdiff_1__t6_hfdiff_12025-09-12 00:48 43K 
[ ]hfdiff_1__t7_hfdiff_12025-09-12 00:49 66K 
[ ]hfdiff_1__t8_hfdiff_12025-09-12 00:51 52K 
[ ]hfdiff_1__t9_hfdiff_12025-09-12 00:53 79K 
[ ]hfdiff_1__t10_hfdiff_12025-09-12 00:54 76K 
[ ]hfdiff_1__t11_hfdiff_12025-09-12 00:56 820K 
[ ]hfdiff_1__t12_hfdiff_12025-09-12 00:58 80K 
[ ]hfdiff_1__t13_hfdiff_12025-09-12 00:59 72K 
[ ]hfdiff_1__t14_hfdiff_12025-09-12 01:01 531K 
[ ]hfdiff_1__t15_hfdiff_12025-09-12 01:03 71K 
[ ]hfdiff_1__t16_hfdiff_12025-09-12 01:05 72K 
[ ]hfdiff_1__t17_hfdiff_12025-09-12 01:06 53K 
[ ]hfdiff_1__t18_hfdiff_12025-09-12 01:07 55K 
[ ]hfdiff_1__t19_hfdiff_12025-09-12 01:09 71K 
[ ]hfdiff_1__t20_hfdiff_12025-09-12 01:11 69K 
[ ]hfdiff_1__t21_hfdiff_12025-09-12 01:12 69K 
[ ]hfdiff_1__t22_hfdiff_12025-09-12 01:14 53K 
[ ]hfdiff_1__t23_hfdiff_12025-09-12 01:15 59K 
[ ]hfdiff_1__t24_hfdiff_12025-09-12 01:17 66K 
[ ]hfdiff_1__t25_hfdiff_12025-09-12 01:18 101K 
[ ]hfdiff_1__t26_hfdiff_12025-09-12 01:20 101K 
[ ]hfdiff_1__t27_hfdiff_12025-09-12 01:22 84K 
[ ]hfdiff_1__t28_hfdiff_12025-09-12 01:23 62K 
[ ]hfdiff_1__t29_hfdiff_12025-09-12 01:24 66K 
[ ]hfdiff_1__t30_hfdiff_12025-09-12 01:26 277K 
[ ]hfdiff_1__t31_hfdiff_12025-09-12 01:28 142K 
[ ]hfdiff_1__t32_hfdiff_12025-09-12 01:29 104K 
[ ]hfdiff_1__t33_hfdiff_12025-09-12 00:39 54K 
[ ]hfdiff_1__t34_hfdiff_12025-09-12 01:31 69K 
[ ]hfdiff_1__t35_hfdiff_12025-09-12 01:32 91K 
[ ]hfdiff_1__t36_hfdiff_12025-09-12 01:34 69K 
[ ]hfdiff_1__t37_hfdiff_12025-09-12 01:36 105K 
[ ]hfdiff_1__t38_hfdiff_12025-09-12 01:37 106K 
[ ]hfdiff_1__t39_hfdiff_12025-09-12 01:39 79K 
[ ]hfdiff_1__t40_hfdiff_12025-09-12 01:41 86K 
[ ]hfdiff_1__t41_hfdiff_12025-09-12 01:42 60K 
[ ]hfdiff_1__t42_hfdiff_12025-09-12 01:44 91K 
[ ]hfdiff_1__t43_hfdiff_12025-09-12 01:45 52K 
[ ]hfdiff_1__t44_hfdiff_12025-09-12 01:47 168K 
[ ]hfdiff_1__t45_hfdiff_12025-09-12 01:48 81K 
[ ]hfdiff_1__t47_hfdiff_12025-09-12 01:50 76K 
[ ]hfdiff_1__t50_hfdiff_12025-09-12 01:51 87K 
[ ]hfdiff_1__t52_hfdiff_12025-09-12 01:53 107K 
[ ]hfdiff_1__t53_hfdiff_12025-09-12 01:55 87K 
[ ]hfdiff_1__t54_hfdiff_12025-09-12 01:56 88K 
[ ]hfdiff_1__t55_hfdiff_12025-09-12 01:58 105K 
[ ]hfdiff_1__t58_hfdiff_12025-09-12 02:00 74K 
[ ]hfdiff_1__t61_hfdiff_12025-09-12 02:01 83K 
[ ]hfdiff_1__t62_hfdiff_12025-09-12 02:03 108K 
[ ]hfdiff_1__t63_hfdiff_12025-09-12 02:05 111K 
[ ]hfdiff_1__t64_hfdiff_12025-09-12 02:06 97K 
[ ]hfdiff_1__t65_hfdiff_12025-09-12 02:08 112K 
[ ]hfdiff_1__t66_hfdiff_12025-09-12 02:09 71K 
[ ]hfdiff_1__t67_hfdiff_12025-09-12 02:12 139K 
[ ]hfdiff_1__t68_hfdiff_12025-09-12 02:13 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80