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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rltopsp1__l2_rltopsp12025-09-11 16:39 10K 
[ ]rltopsp1__l5_rltopsp12025-09-11 18:41 28K 
[ ]rltopsp1__l6_rltopsp12025-09-11 18:42 21K 
[ ]rltopsp1__l14_rltopsp12025-09-11 18:43 29K 
[ ]rltopsp1__l22_rltopsp12025-09-11 18:44 28K 
[ ]rltopsp1__l39_rltopsp12025-09-11 18:45 40K 
[ ]rltopsp1__l41_rltopsp12025-09-11 18:47 38K 
[ ]rltopsp1__l42_rltopsp12025-09-11 18:48 39K 
[ ]rltopsp1__l53_rltopsp12025-09-11 18:50 43K 
[ ]rltopsp1__l55_rltopsp12025-09-11 18:52 55K 
[ ]rltopsp1__l56_rltopsp12025-09-11 18:54 49K 
[ ]rltopsp1__l57_rltopsp12025-09-11 18:55 37K 
[ ]rltopsp1__l58_rltopsp12025-09-11 18:57 49K 
[ ]rltopsp1__l74_rltopsp12025-09-11 18:58 43K 
[ ]rltopsp1__l76_rltopsp12025-09-11 19:00 64K 
[ ]rltopsp1__l84_rltopsp12025-09-11 19:02 60K 
[ ]rltopsp1__l92_rltopsp12025-09-11 19:04 62K 
[ ]rltopsp1__l93_rltopsp12025-09-11 19:06 62K 
[ ]rltopsp1__l94_rltopsp12025-09-11 19:07 52K 
[ ]rltopsp1__l96_rltopsp12025-09-11 19:09 52K 
[ ]rltopsp1__l97_rltopsp12025-09-11 19:11 63K 
[ ]rltopsp1__t1_rltopsp12025-09-11 16:33 28K 
[ ]rltopsp1__t2_rltopsp12025-09-11 16:40 28K 
[ ]rltopsp1__t3_rltopsp12025-09-11 16:42 29K 
[ ]rltopsp1__t4_rltopsp12025-09-11 16:43 31K 
[ ]rltopsp1__t5_rltopsp12025-09-11 16:44 31K 
[ ]rltopsp1__t6_rltopsp12025-09-11 16:46 29K 
[ ]rltopsp1__t7_rltopsp12025-09-11 16:47 30K 
[ ]rltopsp1__t8_rltopsp12025-09-11 16:48 29K 
[ ]rltopsp1__t9_rltopsp12025-09-11 16:50 32K 
[ ]rltopsp1__t10_rltopsp12025-09-11 16:51 29K 
[ ]rltopsp1__t11_rltopsp12025-09-11 16:52 29K 
[ ]rltopsp1__t12_rltopsp12025-09-11 16:53 30K 
[ ]rltopsp1__t13_rltopsp12025-09-11 16:55 33K 
[ ]rltopsp1__t14_rltopsp12025-09-11 16:56 32K 
[ ]rltopsp1__t15_rltopsp12025-09-11 16:58 33K 
[ ]rltopsp1__t16_rltopsp12025-09-11 16:59 29K 
[ ]rltopsp1__t17_rltopsp12025-09-11 16:34 26K 
[ ]rltopsp1__t18_rltopsp12025-09-11 17:01 59K 
[ ]rltopsp1__t19_rltopsp12025-09-11 17:02 29K 
[ ]rltopsp1__t20_rltopsp12025-09-11 17:03 26K 
[ ]rltopsp1__t21_rltopsp12025-09-11 17:05 50K 
[ ]rltopsp1__t22_rltopsp12025-09-11 17:06 49K 
[ ]rltopsp1__t23_rltopsp12025-09-11 17:07 24K 
[ ]rltopsp1__t24_rltopsp12025-09-11 17:09 49K 
[ ]rltopsp1__t25_rltopsp12025-09-11 17:11 37K 
[ ]rltopsp1__t26_rltopsp12025-09-11 16:36 33K 
[ ]rltopsp1__t27_rltopsp12025-09-11 17:12 38K 
[ ]rltopsp1__t28_rltopsp12025-09-11 17:14 57K 
[ ]rltopsp1__t29_rltopsp12025-09-11 17:15 33K 
[ ]rltopsp1__t30_rltopsp12025-09-11 17:16 33K 
[ ]rltopsp1__t31_rltopsp12025-09-11 17:18 47K 
[ ]rltopsp1__t32_rltopsp12025-09-11 17:20 54K 
[ ]rltopsp1__t33_rltopsp12025-09-11 17:21 36K 
[ ]rltopsp1__t34_rltopsp12025-09-11 17:23 50K 
[ ]rltopsp1__t35_rltopsp12025-09-11 17:25 58K 
[ ]rltopsp1__t36_rltopsp12025-09-11 17:27 37K 
[ ]rltopsp1__t37_rltopsp12025-09-11 17:28 50K 
[ ]rltopsp1__t38_rltopsp12025-09-11 17:30 51K 
[ ]rltopsp1__t39_rltopsp12025-09-11 17:32 45K 
[ ]rltopsp1__t40_rltopsp12025-09-11 17:33 49K 
[ ]rltopsp1__t41_rltopsp12025-09-11 17:35 51K 
[ ]rltopsp1__t42_rltopsp12025-09-11 17:37 47K 
[ ]rltopsp1__t43_rltopsp12025-09-11 17:39 39K 
[ ]rltopsp1__t44_rltopsp12025-09-11 17:40 36K 
[ ]rltopsp1__t45_rltopsp12025-09-11 17:42 55K 
[ ]rltopsp1__t46_rltopsp12025-09-11 17:43 35K 
[ ]rltopsp1__t47_rltopsp12025-09-11 17:45 57K 
[ ]rltopsp1__t48_rltopsp12025-09-11 17:47 66K 
[ ]rltopsp1__t49_rltopsp12025-09-11 17:49 52K 
[ ]rltopsp1__t50_rltopsp12025-09-11 17:51 52K 
[ ]rltopsp1__t51_rltopsp12025-09-11 17:52 57K 
[ ]rltopsp1__t52_rltopsp12025-09-11 17:54 59K 
[ ]rltopsp1__t53_rltopsp12025-09-11 17:56 47K 
[ ]rltopsp1__t54_rltopsp12025-09-11 17:57 44K 
[ ]rltopsp1__t55_rltopsp12025-09-11 17:59 44K 
[ ]rltopsp1__t56_rltopsp12025-09-11 18:01 67K 
[ ]rltopsp1__t57_rltopsp12025-09-11 18:05 92K 
[ ]rltopsp1__t58_rltopsp12025-09-11 18:07 51K 
[ ]rltopsp1__t59_rltopsp12025-09-11 18:08 38K 
[ ]rltopsp1__t60_rltopsp12025-09-11 18:10 73K 
[ ]rltopsp1__t61_rltopsp12025-09-11 18:12 38K 
[ ]rltopsp1__t62_rltopsp12025-09-11 18:14 55K 
[ ]rltopsp1__t63_rltopsp12025-09-11 18:15 51K 
[ ]rltopsp1__t64_rltopsp12025-09-11 18:17 61K 
[ ]rltopsp1__t65_rltopsp12025-09-11 18:19 74K 
[ ]rltopsp1__t66_rltopsp12025-09-11 18:20 38K 
[ ]rltopsp1__t67_rltopsp12025-09-11 16:37 35K 
[ ]rltopsp1__t68_rltopsp12025-09-11 18:22 53K 
[ ]rltopsp1__t69_rltopsp12025-09-11 18:23 81K 
[ ]rltopsp1__t70_rltopsp12025-09-11 18:25 52K 
[ ]rltopsp1__t71_rltopsp12025-09-11 18:26 86K 
[ ]rltopsp1__t72_rltopsp12025-09-11 18:28 48K 
[ ]rltopsp1__t73_rltopsp12025-09-11 18:29 49K 
[ ]rltopsp1__t74_rltopsp12025-09-11 18:31 51K 
[ ]rltopsp1__t75_rltopsp12025-09-11 18:32 213K 
[ ]rltopsp1__t76_rltopsp12025-09-11 18:34 50K 
[ ]rltopsp1__t77_rltopsp12025-09-11 18:35 47K 
[ ]rltopsp1__t78_rltopsp12025-09-11 18:37 46K 
[ ]rltopsp1__t79_rltopsp12025-09-11 16:38 26K 
[ ]rltopsp1__t80_rltopsp12025-09-11 18:38 46K 
[ ]rltopsp1__t81_rltopsp12025-09-11 18:40 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80