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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bhsp_1__l2_bhsp_12025-09-12 11:32 32K 
[   ]bhsp_1__l3_bhsp_12025-09-12 11:33 34K 
[   ]bhsp_1__l4_bhsp_12025-09-12 11:34 40K 
[   ]bhsp_1__l5_bhsp_12025-09-12 11:36 40K 
[   ]bhsp_1__l6_bhsp_12025-09-12 12:50 41K 
[   ]bhsp_1__l7_bhsp_12025-09-12 12:51 51K 
[   ]bhsp_1__l8_bhsp_12025-09-12 12:52 46K 
[   ]bhsp_1__l9_bhsp_12025-09-12 12:54 91K 
[   ]bhsp_1__t1_bhsp_12025-09-12 11:18 43K 
[   ]bhsp_1__t2_bhsp_12025-09-12 11:19 44K 
[   ]bhsp_1__t3_bhsp_12025-09-12 11:20 43K 
[   ]bhsp_1__t4_bhsp_12025-09-12 11:37 51K 
[   ]bhsp_1__t5_bhsp_12025-09-12 11:39 52K 
[   ]bhsp_1__t6_bhsp_12025-09-12 11:22 40K 
[   ]bhsp_1__t7_bhsp_12025-09-12 11:40 48K 
[   ]bhsp_1__t8_bhsp_12025-09-12 11:42 59K 
[   ]bhsp_1__t9_bhsp_12025-09-12 11:23 32K 
[   ]bhsp_1__t10_bhsp_12025-09-12 11:43 32K 
[   ]bhsp_1__t11_bhsp_12025-09-12 11:44 60K 
[   ]bhsp_1__t12_bhsp_12025-09-12 11:46 60K 
[   ]bhsp_1__t13_bhsp_12025-09-12 11:47 48K 
[   ]bhsp_1__t14_bhsp_12025-09-12 11:49 50K 
[   ]bhsp_1__t15_bhsp_12025-09-12 11:24 32K 
[   ]bhsp_1__t16_bhsp_12025-09-12 11:50 60K 
[   ]bhsp_1__t17_bhsp_12025-09-12 11:52 62K 
[   ]bhsp_1__t18_bhsp_12025-09-12 11:53 69K 
[   ]bhsp_1__t19_bhsp_12025-09-12 11:55 508K 
[   ]bhsp_1__t20_bhsp_12025-09-12 11:56 53K 
[   ]bhsp_1__t21_bhsp_12025-09-12 11:58 53K 
[   ]bhsp_1__t22_bhsp_12025-09-12 11:25 32K 
[   ]bhsp_1__t23_bhsp_12025-09-12 11:27 33K 
[   ]bhsp_1__t24_bhsp_12025-09-12 11:59 52K 
[   ]bhsp_1__t25_bhsp_12025-09-12 12:00 53K 
[   ]bhsp_1__t26_bhsp_12025-09-12 12:02 46K 
[   ]bhsp_1__t27_bhsp_12025-09-12 12:03 54K 
[   ]bhsp_1__t28_bhsp_12025-09-12 12:05 46K 
[   ]bhsp_1__t29_bhsp_12025-09-12 11:28 36K 
[   ]bhsp_1__t30_bhsp_12025-09-12 12:06 262K 
[   ]bhsp_1__t31_bhsp_12025-09-12 12:08 42K 
[   ]bhsp_1__t32_bhsp_12025-09-12 12:09 48K 
[   ]bhsp_1__t33_bhsp_12025-09-12 12:11 50K 
[   ]bhsp_1__t34_bhsp_12025-09-12 12:12 39K 
[   ]bhsp_1__t35_bhsp_12025-09-12 12:14 46K 
[   ]bhsp_1__t36_bhsp_12025-09-12 12:15 39K 
[   ]bhsp_1__t37_bhsp_12025-09-12 11:29 39K 
[   ]bhsp_1__t38_bhsp_12025-09-12 12:16 41K 
[   ]bhsp_1__t39_bhsp_12025-09-12 11:31 36K 
[   ]bhsp_1__t40_bhsp_12025-09-12 12:18 44K 
[   ]bhsp_1__t41_bhsp_12025-09-12 12:19 44K 
[   ]bhsp_1__t42_bhsp_12025-09-12 12:21 40K 
[   ]bhsp_1__t43_bhsp_12025-09-12 12:22 44K 
[   ]bhsp_1__t44_bhsp_12025-09-12 12:23 30K 
[   ]bhsp_1__t45_bhsp_12025-09-12 12:25 37K 
[   ]bhsp_1__t46_bhsp_12025-09-12 12:26 35K 
[   ]bhsp_1__t47_bhsp_12025-09-12 12:27 32K 
[   ]bhsp_1__t48_bhsp_12025-09-12 12:29 30K 
[   ]bhsp_1__t49_bhsp_12025-09-12 12:30 41K 
[   ]bhsp_1__t50_bhsp_12025-09-12 12:31 34K 
[   ]bhsp_1__t51_bhsp_12025-09-12 12:33 40K 
[   ]bhsp_1__t52_bhsp_12025-09-12 12:34 42K 
[   ]bhsp_1__t53_bhsp_12025-09-12 12:35 34K 
[   ]bhsp_1__t54_bhsp_12025-09-12 12:36 32K 
[   ]bhsp_1__t55_bhsp_12025-09-12 12:38 35K 
[   ]bhsp_1__t56_bhsp_12025-09-12 12:39 35K 
[   ]bhsp_1__t57_bhsp_12025-09-12 12:40 36K 
[   ]bhsp_1__t58_bhsp_12025-09-12 12:42 35K 
[   ]bhsp_1__t59_bhsp_12025-09-12 12:43 30K 
[   ]bhsp_1__t60_bhsp_12025-09-12 12:44 41K 
[   ]bhsp_1__t61_bhsp_12025-09-12 12:45 41K 
[   ]bhsp_1__t62_bhsp_12025-09-12 12:47 41K 
[   ]bhsp_1__t63_bhsp_12025-09-12 12:48 38K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80