Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/rusub_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_1__l20_rusub_12021-07-18 15:05 14K 
[ ]rusub_1__t3_rusub_12021-07-18 15:06 21K 
[ ]rusub_1__t13_rusub_12021-07-18 15:02 22K 
[ ]rusub_1__t28_rusub_12021-07-18 15:02 27K 
[ ]rusub_1__t9_rusub_12021-07-18 15:08 38K 
[ ]rusub_1__t57_rusub_12021-07-18 15:25 38K 
[ ]rusub_1__t4_rusub_12021-07-18 15:02 38K 
[ ]rusub_1__t16_rusub_12021-07-18 15:11 38K 
[ ]rusub_1__t5_rusub_12021-07-18 15:07 38K 
[ ]rusub_1__t11_rusub_12021-07-18 15:09 38K 
[ ]rusub_1__t2_rusub_12021-07-18 15:06 38K 
[ ]rusub_1__t42_rusub_12021-07-18 15:05 38K 
[ ]rusub_1__t1_rusub_12021-07-18 15:06 38K 
[ ]rusub_1__t55_rusub_12021-07-18 15:24 39K 
[ ]rusub_1__t35_rusub_12021-07-18 15:03 39K 
[ ]rusub_1__t31_rusub_12021-07-18 15:17 39K 
[ ]rusub_1__t26_rusub_12021-07-18 15:15 39K 
[ ]rusub_1__t34_rusub_12021-07-18 15:18 39K 
[ ]rusub_1__t12_rusub_12021-07-18 15:10 39K 
[ ]rusub_1__t23_rusub_12021-07-18 15:14 39K 
[ ]rusub_1__t22_rusub_12021-07-18 15:14 39K 
[ ]rusub_1__t17_rusub_12021-07-18 15:11 39K 
[ ]rusub_1__t27_rusub_12021-07-18 15:16 39K 
[ ]rusub_1__t38_rusub_12021-07-18 15:03 39K 
[ ]rusub_1__t10_rusub_12021-07-18 15:09 39K 
[ ]rusub_1__t32_rusub_12021-07-18 15:03 39K 
[ ]rusub_1__t24_rusub_12021-07-18 15:14 39K 
[ ]rusub_1__t21_rusub_12021-07-18 15:13 40K 
[ ]rusub_1__t51_rusub_12021-07-18 15:05 40K 
[ ]rusub_1__t37_rusub_12021-07-18 15:19 40K 
[ ]rusub_1__t19_rusub_12021-07-18 15:12 40K 
[ ]rusub_1__l42_rusub_12021-07-18 15:34 40K 
[ ]rusub_1__t76_rusub_12021-07-18 15:33 40K 
[ ]rusub_1__t41_rusub_12021-07-18 15:04 40K 
[ ]rusub_1__t58_rusub_12021-07-18 15:26 40K 
[ ]rusub_1__t73_rusub_12021-07-18 15:32 41K 
[ ]rusub_1__t72_rusub_12021-07-18 15:32 41K 
[ ]rusub_1__l15_rusub_12021-07-18 15:34 41K 
[ ]rusub_1__t56_rusub_12021-07-18 15:25 41K 
[ ]rusub_1__t47_rusub_12021-07-18 15:21 41K 
[ ]rusub_1__t68_rusub_12021-07-18 15:30 41K 
[ ]rusub_1__t71_rusub_12021-07-18 15:31 41K 
[ ]rusub_1__t36_rusub_12021-07-18 15:18 42K 
[ ]rusub_1__t75_rusub_12021-07-18 15:33 42K 
[ ]rusub_1__t74_rusub_12021-07-18 15:32 42K 
[ ]rusub_1__t7_rusub_12021-07-18 15:08 42K 
[ ]rusub_1__t64_rusub_12021-07-18 15:28 43K 
[ ]rusub_1__t60_rusub_12021-07-18 15:26 43K 
[ ]rusub_1__t50_rusub_12021-07-18 15:23 44K 
[ ]rusub_1__t25_rusub_12021-07-18 15:15 44K 
[ ]rusub_1__t48_rusub_12021-07-18 15:22 44K 
[ ]rusub_1__t61_rusub_12021-07-18 15:27 44K 
[ ]rusub_1__t54_rusub_12021-07-18 15:24 44K 
[ ]rusub_1__t20_rusub_12021-07-18 15:13 44K 
[ ]rusub_1__t6_rusub_12021-07-18 15:07 44K 
[ ]rusub_1__t45_rusub_12021-07-18 15:20 44K 
[ ]rusub_1__t8_rusub_12021-07-18 15:08 45K 
[ ]rusub_1__l48_rusub_12021-07-18 15:34 45K 
[ ]rusub_1__t59_rusub_12021-07-18 15:26 45K 
[ ]rusub_1__t46_rusub_12021-07-18 15:21 46K 
[ ]rusub_1__t15_rusub_12021-07-18 15:10 46K 
[ ]rusub_1__t14_rusub_12021-07-18 15:10 46K 
[ ]rusub_1__t40_rusub_12021-07-18 15:04 46K 
[ ]rusub_1__t33_rusub_12021-07-18 15:17 46K 
[ ]rusub_1__t65_rusub_12021-07-18 15:29 47K 
[ ]rusub_1__t30_rusub_12021-07-18 15:17 47K 
[ ]rusub_1__t70_rusub_12021-07-18 15:31 47K 
[ ]rusub_1__t69_rusub_12021-07-18 15:30 47K 
[ ]rusub_1__t66_rusub_12021-07-18 15:29 48K 
[ ]rusub_1__t67_rusub_12021-07-18 15:29 49K 
[ ]rusub_1__t39_rusub_12021-07-18 15:19 49K 
[ ]rusub_1__t53_rusub_12021-07-18 15:23 50K 
[ ]rusub_1__t43_rusub_12021-07-18 15:19 50K 
[ ]rusub_1__t62_rusub_12021-07-18 15:27 51K 
[ ]rusub_1__t44_rusub_12021-07-18 15:20 54K 
[ ]rusub_1__t63_rusub_12021-07-18 15:28 54K 
[ ]rusub_1__t49_rusub_12021-07-18 15:22 58K 
[ ]rusub_1__t29_rusub_12021-07-18 15:16 64K 
[ ]rusub_1__t52_rusub_12021-07-18 15:23 65K 
[ ]rusub_1__t18_rusub_12021-07-18 15:12 98K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80