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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_1__l8_rvsum_12025-09-12 14:59 58K 
[ ]rvsum_1__l15_rvsum_12025-09-12 15:01 51K 
[ ]rvsum_1__l96_rvsum_12025-09-12 15:02 49K 
[ ]rvsum_1__l112_rvsum_12025-09-12 15:03 52K 
[ ]rvsum_1__l122_rvsum_12025-09-12 15:05 80K 
[ ]rvsum_1__l133_rvsum_12025-09-12 15:06 51K 
[ ]rvsum_1__t1_rvsum_12025-09-12 11:05 48K 
[ ]rvsum_1__t2_rvsum_12025-09-12 11:06 47K 
[ ]rvsum_1__t3_rvsum_12025-09-12 12:02 59K 
[ ]rvsum_1__t4_rvsum_12025-09-12 12:04 64K 
[ ]rvsum_1__t5_rvsum_12025-09-12 11:07 54K 
[ ]rvsum_1__t6_rvsum_12025-09-12 12:05 61K 
[ ]rvsum_1__t7_rvsum_12025-09-12 12:07 61K 
[ ]rvsum_1__t8_rvsum_12025-09-12 11:09 52K 
[ ]rvsum_1__t9_rvsum_12025-09-12 11:10 55K 
[ ]rvsum_1__t10_rvsum_12025-09-12 11:11 55K 
[ ]rvsum_1__t11_rvsum_12025-09-12 12:08 72K 
[ ]rvsum_1__t12_rvsum_12025-09-12 12:10 57K 
[ ]rvsum_1__t13_rvsum_12025-09-12 12:11 67K 
[ ]rvsum_1__t14_rvsum_12025-09-12 12:13 81K 
[ ]rvsum_1__t15_rvsum_12025-09-12 11:13 56K 
[ ]rvsum_1__t16_rvsum_12025-09-12 11:14 74K 
[ ]rvsum_1__t17_rvsum_12025-09-12 11:16 47K 
[ ]rvsum_1__t18_rvsum_12025-09-12 11:17 72K 
[ ]rvsum_1__t19_rvsum_12025-09-12 11:18 72K 
[ ]rvsum_1__t20_rvsum_12025-09-12 12:15 77K 
[ ]rvsum_1__t21_rvsum_12025-09-12 12:16 90K 
[ ]rvsum_1__t22_rvsum_12025-09-12 11:20 97K 
[ ]rvsum_1__t23_rvsum_12025-09-12 11:22 99K 
[ ]rvsum_1__t24_rvsum_12025-09-12 12:17 42K 
[ ]rvsum_1__t25_rvsum_12025-09-12 12:19 102K 
[ ]rvsum_1__t26_rvsum_12025-09-12 12:21 87K 
[ ]rvsum_1__t27_rvsum_12025-09-12 12:23 83K 
[ ]rvsum_1__t28_rvsum_12025-09-12 12:24 73K 
[ ]rvsum_1__t29_rvsum_12025-09-12 12:26 82K 
[ ]rvsum_1__t30_rvsum_12025-09-12 12:28 96K 
[ ]rvsum_1__t31_rvsum_12025-09-12 11:24 84K 
[ ]rvsum_1__t32_rvsum_12025-09-12 12:30 105K 
[ ]rvsum_1__t33_rvsum_12025-09-12 11:25 92K 
[ ]rvsum_1__t34_rvsum_12025-09-12 11:27 84K 
[ ]rvsum_1__t35_rvsum_12025-09-12 12:31 85K 
[ ]rvsum_1__t36_rvsum_12025-09-12 12:33 85K 
[ ]rvsum_1__t37_rvsum_12025-09-12 11:29 100K 
[ ]rvsum_1__t38_rvsum_12025-09-12 12:34 102K 
[ ]rvsum_1__t39_rvsum_12025-09-12 11:30 74K 
[ ]rvsum_1__t40_rvsum_12025-09-12 11:32 74K 
[ ]rvsum_1__t41_rvsum_12025-09-12 11:33 74K 
[ ]rvsum_1__t42_rvsum_12025-09-12 12:36 104K 
[ ]rvsum_1__t43_rvsum_12025-09-12 12:38 105K 
[ ]rvsum_1__t44_rvsum_12025-09-12 11:35 43K 
[ ]rvsum_1__t45_rvsum_12025-09-12 11:36 72K 
[ ]rvsum_1__t46_rvsum_12025-09-12 11:38 69K 
[ ]rvsum_1__t47_rvsum_12025-09-12 12:40 79K 
[ ]rvsum_1__t48_rvsum_12025-09-12 12:42 92K 
[ ]rvsum_1__t49_rvsum_12025-09-12 11:39 69K 
[ ]rvsum_1__t50_rvsum_12025-09-12 12:43 89K 
[ ]rvsum_1__t51_rvsum_12025-09-12 11:41 74K 
[ ]rvsum_1__t52_rvsum_12025-09-12 11:42 66K 
[ ]rvsum_1__t53_rvsum_12025-09-12 12:45 98K 
[ ]rvsum_1__t54_rvsum_12025-09-12 11:43 72K 
[ ]rvsum_1__t55_rvsum_12025-09-12 12:47 85K 
[ ]rvsum_1__t56_rvsum_12025-09-12 12:48 99K 
[ ]rvsum_1__t57_rvsum_12025-09-12 12:50 94K 
[ ]rvsum_1__t58_rvsum_12025-09-12 12:52 91K 
[ ]rvsum_1__t59_rvsum_12025-09-12 11:45 61K 
[ ]rvsum_1__t60_rvsum_12025-09-12 11:46 61K 
[ ]rvsum_1__t61_rvsum_12025-09-12 12:53 57K 
[ ]rvsum_1__t62_rvsum_12025-09-12 12:54 66K 
[ ]rvsum_1__t63_rvsum_12025-09-12 12:56 93K 
[ ]rvsum_1__t64_rvsum_12025-09-12 12:58 93K 
[ ]rvsum_1__t65_rvsum_12025-09-12 11:48 73K 
[ ]rvsum_1__t66_rvsum_12025-09-12 11:50 74K 
[ ]rvsum_1__t67_rvsum_12025-09-12 11:51 70K 
[ ]rvsum_1__t68_rvsum_12025-09-12 13:00 115K 
[ ]rvsum_1__t69_rvsum_12025-09-12 13:02 103K 
[ ]rvsum_1__t70_rvsum_12025-09-12 13:03 88K 
[ ]rvsum_1__t71_rvsum_12025-09-12 13:05 93K 
[ ]rvsum_1__t72_rvsum_12025-09-12 11:52 52K 
[ ]rvsum_1__t73_rvsum_12025-09-12 13:07 55K 
[ ]rvsum_1__t74_rvsum_12025-09-12 13:09 72K 
[ ]rvsum_1__t75_rvsum_12025-09-12 13:10 68K 
[ ]rvsum_1__t76_rvsum_12025-09-12 13:12 65K 
[ ]rvsum_1__t77_rvsum_12025-09-12 13:13 70K 
[ ]rvsum_1__t78_rvsum_12025-09-12 13:14 55K 
[ ]rvsum_1__t79_rvsum_12025-09-12 11:54 57K 
[ ]rvsum_1__t80_rvsum_12025-09-12 13:16 93K 
[ ]rvsum_1__t81_rvsum_12025-09-12 13:18 59K 
[ ]rvsum_1__t82_rvsum_12025-09-12 13:20 112K 
[ ]rvsum_1__t83_rvsum_12025-09-12 13:22 93K 
[ ]rvsum_1__t84_rvsum_12025-09-12 13:23 74K 
[ ]rvsum_1__t85_rvsum_12025-09-12 13:25 75K 
[ ]rvsum_1__t86_rvsum_12025-09-12 13:27 89K 
[ ]rvsum_1__t87_rvsum_12025-09-12 13:28 80K 
[ ]rvsum_1__t88_rvsum_12025-09-12 13:30 78K 
[ ]rvsum_1__t89_rvsum_12025-09-12 13:31 70K 
[ ]rvsum_1__t90_rvsum_12025-09-12 13:33 94K 
[ ]rvsum_1__t91_rvsum_12025-09-12 13:35 105K 
[ ]rvsum_1__t92_rvsum_12025-09-12 13:37 359K 
[ ]rvsum_1__t93_rvsum_12025-09-12 13:39 97K 
[ ]rvsum_1__t94_rvsum_12025-09-12 11:55 52K 
[ ]rvsum_1__t95_rvsum_12025-09-12 13:41 55K 
[ ]rvsum_1__t96_rvsum_12025-09-12 13:42 83K 
[ ]rvsum_1__t97_rvsum_12025-09-12 13:44 79K 
[ ]rvsum_1__t98_rvsum_12025-09-12 13:45 52K 
[ ]rvsum_1__t99_rvsum_12025-09-12 13:46 54K 
[ ]rvsum_1__t100_rvsum_12025-09-12 13:48 57K 
[ ]rvsum_1__t101_rvsum_12025-09-12 11:57 57K 
[ ]rvsum_1__t102_rvsum_12025-09-12 13:49 67K 
[ ]rvsum_1__t103_rvsum_12025-09-12 13:51 95K 
[ ]rvsum_1__t104_rvsum_12025-09-12 13:53 84K 
[ ]rvsum_1__t105_rvsum_12025-09-12 13:55 70K 
[ ]rvsum_1__t106_rvsum_12025-09-12 13:56 80K 
[ ]rvsum_1__t107_rvsum_12025-09-12 13:58 69K 
[ ]rvsum_1__t108_rvsum_12025-09-12 14:00 82K 
[ ]rvsum_1__t109_rvsum_12025-09-12 11:58 71K 
[ ]rvsum_1__t110_rvsum_12025-09-12 12:00 51K 
[ ]rvsum_1__t111_rvsum_12025-09-12 14:01 84K 
[ ]rvsum_1__t112_rvsum_12025-09-12 14:03 70K 
[ ]rvsum_1__t113_rvsum_12025-09-12 14:05 79K 
[ ]rvsum_1__t114_rvsum_12025-09-12 14:06 76K 
[ ]rvsum_1__t115_rvsum_12025-09-12 14:08 69K 
[ ]rvsum_1__t116_rvsum_12025-09-12 14:10 86K 
[ ]rvsum_1__t117_rvsum_12025-09-12 14:11 73K 
[ ]rvsum_1__t118_rvsum_12025-09-12 14:13 99K 
[ ]rvsum_1__t119_rvsum_12025-09-12 14:15 83K 
[ ]rvsum_1__t120_rvsum_12025-09-12 14:17 78K 
[ ]rvsum_1__t121_rvsum_12025-09-12 14:19 93K 
[ ]rvsum_1__t122_rvsum_12025-09-12 14:20 96K 
[ ]rvsum_1__t123_rvsum_12025-09-12 14:22 103K 
[ ]rvsum_1__t124_rvsum_12025-09-12 14:24 111K 
[ ]rvsum_1__t125_rvsum_12025-09-12 14:25 93K 
[ ]rvsum_1__t126_rvsum_12025-09-12 14:27 84K 
[ ]rvsum_1__t127_rvsum_12025-09-12 14:29 98K 
[ ]rvsum_1__t128_rvsum_12025-09-12 14:30 76K 
[ ]rvsum_1__t129_rvsum_12025-09-12 14:32 97K 
[ ]rvsum_1__t130_rvsum_12025-09-12 14:34 76K 
[ ]rvsum_1__t131_rvsum_12025-09-12 14:36 86K 
[ ]rvsum_1__t132_rvsum_12025-09-12 14:37 86K 
[ ]rvsum_1__t133_rvsum_12025-09-12 14:39 95K 
[ ]rvsum_1__t134_rvsum_12025-09-12 14:41 98K 
[ ]rvsum_1__t135_rvsum_12025-09-12 14:42 83K 
[ ]rvsum_1__t136_rvsum_12025-09-12 14:44 82K 
[ ]rvsum_1__t137_rvsum_12025-09-12 14:46 96K 
[ ]rvsum_1__t138_rvsum_12025-09-12 14:47 79K 
[ ]rvsum_1__t139_rvsum_12025-09-12 14:49 96K 
[ ]rvsum_1__t140_rvsum_12025-09-12 14:51 304K 
[ ]rvsum_1__t141_rvsum_12025-09-12 14:52 76K 
[ ]rvsum_1__t142_rvsum_12025-09-12 14:54 58K 
[ ]rvsum_1__t143_rvsum_12025-09-12 14:55 85K 
[ ]rvsum_1__t144_rvsum_12025-09-12 14:57 130K 
[ ]rvsum_1__t145_rvsum_12025-09-12 14:58 51K 
[ ]rvsum_1__t146_rvsum_12025-09-12 12:01 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80