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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_1__l15_rusub_12025-09-12 23:08 46K 
[ ]rusub_1__l20_rusub_12025-09-12 21:20 19K 
[ ]rusub_1__l42_rusub_12025-09-12 23:09 46K 
[ ]rusub_1__l48_rusub_12025-09-12 23:11 51K 
[ ]rusub_1__t1_rusub_12025-09-12 21:22 45K 
[ ]rusub_1__t2_rusub_12025-09-12 21:23 45K 
[ ]rusub_1__t3_rusub_12025-09-12 21:24 27K 
[ ]rusub_1__t4_rusub_12025-09-12 21:06 44K 
[ ]rusub_1__t5_rusub_12025-09-12 21:26 44K 
[ ]rusub_1__t6_rusub_12025-09-12 21:27 50K 
[ ]rusub_1__t7_rusub_12025-09-12 21:29 48K 
[ ]rusub_1__t8_rusub_12025-09-12 21:30 51K 
[ ]rusub_1__t9_rusub_12025-09-12 21:32 43K 
[ ]rusub_1__t10_rusub_12025-09-12 21:33 45K 
[ ]rusub_1__t11_rusub_12025-09-12 21:35 45K 
[ ]rusub_1__t12_rusub_12025-09-12 21:36 45K 
[ ]rusub_1__t13_rusub_12025-09-12 21:08 28K 
[ ]rusub_1__t14_rusub_12025-09-12 21:38 52K 
[ ]rusub_1__t15_rusub_12025-09-12 21:40 52K 
[ ]rusub_1__t16_rusub_12025-09-12 21:41 43K 
[ ]rusub_1__t17_rusub_12025-09-12 21:43 45K 
[ ]rusub_1__t18_rusub_12025-09-12 21:46 104K 
[ ]rusub_1__t19_rusub_12025-09-12 21:47 46K 
[ ]rusub_1__t20_rusub_12025-09-12 21:49 50K 
[ ]rusub_1__t21_rusub_12025-09-12 21:51 46K 
[ ]rusub_1__t22_rusub_12025-09-12 21:52 45K 
[ ]rusub_1__t23_rusub_12025-09-12 21:54 45K 
[ ]rusub_1__t24_rusub_12025-09-12 21:55 45K 
[ ]rusub_1__t25_rusub_12025-09-12 21:57 50K 
[ ]rusub_1__t26_rusub_12025-09-12 21:58 44K 
[ ]rusub_1__t27_rusub_12025-09-12 22:00 44K 
[ ]rusub_1__t28_rusub_12025-09-12 21:09 33K 
[ ]rusub_1__t29_rusub_12025-09-12 22:02 70K 
[ ]rusub_1__t30_rusub_12025-09-12 22:03 53K 
[ ]rusub_1__t31_rusub_12025-09-12 22:05 44K 
[ ]rusub_1__t32_rusub_12025-09-12 21:10 44K 
[ ]rusub_1__t33_rusub_12025-09-12 22:06 52K 
[ ]rusub_1__t34_rusub_12025-09-12 22:08 44K 
[ ]rusub_1__t35_rusub_12025-09-12 21:12 44K 
[ ]rusub_1__t36_rusub_12025-09-12 22:09 48K 
[ ]rusub_1__t37_rusub_12025-09-12 22:11 46K 
[ ]rusub_1__t38_rusub_12025-09-12 21:13 45K 
[ ]rusub_1__t39_rusub_12025-09-12 22:12 54K 
[ ]rusub_1__t40_rusub_12025-09-12 21:15 51K 
[ ]rusub_1__t41_rusub_12025-09-12 21:16 46K 
[ ]rusub_1__t42_rusub_12025-09-12 21:18 44K 
[ ]rusub_1__t43_rusub_12025-09-12 22:14 56K 
[ ]rusub_1__t44_rusub_12025-09-12 22:16 59K 
[ ]rusub_1__t45_rusub_12025-09-12 22:18 49K 
[ ]rusub_1__t46_rusub_12025-09-12 22:19 51K 
[ ]rusub_1__t47_rusub_12025-09-12 22:21 47K 
[ ]rusub_1__t48_rusub_12025-09-12 22:22 50K 
[ ]rusub_1__t49_rusub_12025-09-12 22:24 63K 
[ ]rusub_1__t50_rusub_12025-09-12 22:26 49K 
[ ]rusub_1__t51_rusub_12025-09-12 21:19 46K 
[ ]rusub_1__t52_rusub_12025-09-12 22:27 70K 
[ ]rusub_1__t53_rusub_12025-09-12 22:29 55K 
[ ]rusub_1__t54_rusub_12025-09-12 22:31 49K 
[ ]rusub_1__t55_rusub_12025-09-12 22:32 44K 
[ ]rusub_1__t56_rusub_12025-09-12 22:34 47K 
[ ]rusub_1__t57_rusub_12025-09-12 22:35 44K 
[ ]rusub_1__t58_rusub_12025-09-12 22:37 46K 
[ ]rusub_1__t59_rusub_12025-09-12 22:38 51K 
[ ]rusub_1__t60_rusub_12025-09-12 22:40 49K 
[ ]rusub_1__t61_rusub_12025-09-12 22:42 50K 
[ ]rusub_1__t62_rusub_12025-09-12 22:43 57K 
[ ]rusub_1__t63_rusub_12025-09-12 22:45 59K 
[ ]rusub_1__t64_rusub_12025-09-12 22:47 49K 
[ ]rusub_1__t65_rusub_12025-09-12 22:48 52K 
[ ]rusub_1__t66_rusub_12025-09-12 22:50 54K 
[ ]rusub_1__t67_rusub_12025-09-12 22:52 54K 
[ ]rusub_1__t68_rusub_12025-09-12 22:53 47K 
[ ]rusub_1__t69_rusub_12025-09-12 22:55 52K 
[ ]rusub_1__t70_rusub_12025-09-12 22:57 52K 
[ ]rusub_1__t71_rusub_12025-09-12 22:58 47K 
[ ]rusub_1__t72_rusub_12025-09-12 23:00 46K 
[ ]rusub_1__t73_rusub_12025-09-12 23:01 46K 
[ ]rusub_1__t74_rusub_12025-09-12 23:03 48K 
[ ]rusub_1__t75_rusub_12025-09-12 23:05 48K 
[ ]rusub_1__t76_rusub_12025-09-12 23:06 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80